mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-26 02:55:19 +03:00
Test for partially applied builtins
This commit is contained in:
parent
383a6695d7
commit
da74c38f0e
10
unison-src/transcripts/fix4780.md
Normal file
10
unison-src/transcripts/fix4780.md
Normal file
@ -0,0 +1,10 @@
|
||||
```ucm:hide
|
||||
.> builtins.merge
|
||||
```
|
||||
|
||||
Just a simple test case to see whether partially applied
|
||||
builtins decompile properly.
|
||||
|
||||
```unison
|
||||
> (+) 2
|
||||
```
|
23
unison-src/transcripts/fix4780.output.md
Normal file
23
unison-src/transcripts/fix4780.output.md
Normal file
@ -0,0 +1,23 @@
|
||||
Just a simple test case to see whether partially applied
|
||||
builtins decompile properly.
|
||||
|
||||
```unison
|
||||
> (+) 2
|
||||
```
|
||||
|
||||
```ucm
|
||||
|
||||
Loading changes detected in scratch.u.
|
||||
|
||||
✅
|
||||
|
||||
scratch.u changed.
|
||||
|
||||
Now evaluating any watch expressions (lines starting with
|
||||
`>`)... Ctrl+C cancels.
|
||||
|
||||
1 | > (+) 2
|
||||
⧩
|
||||
(Nat.+) 2
|
||||
|
||||
```
|
Loading…
Reference in New Issue
Block a user