mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 13:30:27 +03:00
Add test case.
This commit is contained in:
parent
3a95d824db
commit
d2ee13bd1e
5
unison-src/transcripts/fix2795.md
Normal file
5
unison-src/transcripts/fix2795.md
Normal file
@ -0,0 +1,5 @@
|
||||
```ucm
|
||||
.> builtins.mergeio
|
||||
.> load unison-src/transcripts/fix2795/docs.u
|
||||
.> display test
|
||||
```
|
27
unison-src/transcripts/fix2795.output.md
Normal file
27
unison-src/transcripts/fix2795.output.md
Normal file
@ -0,0 +1,27 @@
|
||||
```ucm
|
||||
.> builtins.mergeio
|
||||
|
||||
Done.
|
||||
|
||||
.> load unison-src/transcripts/fix2795/docs.u
|
||||
|
||||
I found and typechecked these definitions in
|
||||
unison-src/transcripts/fix2795/docs.u. If you do an `add` or
|
||||
`update`, here's how your codebase would change:
|
||||
|
||||
⍟ These new definitions are ok to `add`:
|
||||
|
||||
t1 : Text
|
||||
test : Doc2
|
||||
|
||||
.> display test
|
||||
|
||||
t : Text
|
||||
t = "hi"
|
||||
t
|
||||
⧨
|
||||
"hi"
|
||||
|
||||
t1 = "hi"
|
||||
|
||||
```
|
12
unison-src/transcripts/fix2795/docs.u
Normal file
12
unison-src/transcripts/fix2795/docs.u
Normal file
@ -0,0 +1,12 @@
|
||||
test = {{
|
||||
```
|
||||
t : Text
|
||||
t = "hi"
|
||||
|
||||
t
|
||||
```
|
||||
@source{t1}
|
||||
|
||||
}}
|
||||
|
||||
t1 = "hi"
|
Loading…
Reference in New Issue
Block a user