unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-09 16:24:08 +03:00
Code Issues Projects Releases Wiki Activity

Improve testing of link/unlink

Browse Source 
Adds a check for links by type, and a check for unlink
This commit is contained in:
Paul Chiusano 2021-08-31 11:15:35 -05:00
parent 9eeb1eef21
commit e32b2b0057
2 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
unison-src/transcripts/link.md
View File

@ -48,6 +48,7 @@ We can look at the links we have:
```ucm
.> links coolFunction
.> links coolFunction License
```
We can link the same metadata simultaneously to multiple definitions:
@ -67,4 +68,6 @@ myLibrary.h x = x + 3
.myLibrary> links g
.myLibrary> links h
.myLibrary> history
.> unlink coolFunction.doc coolFunction
```

14
unison-src/transcripts/link.output.md
View File

@ -108,6 +108,13 @@ We can look at the links we have:
Tip: Try using `display 1` to display the first result or
`view 1` to view its source.
.> links coolFunction License
1. coolFunction.license : License
Tip: Try using `display 1` to display the first result or
`view 1` to view its source.
```
We can link the same metadata simultaneously to multiple definitions:
@ -193,4 +200,11 @@ myLibrary.h x = x + 3
□ #7rksc58cce (start of history)
.> unlink coolFunction.doc coolFunction
Updates:
1. coolFunction : Nat -> Nat
- 2. doc : Doc
```