mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-19 06:17:33 +03:00
add a transcript test to close #873
This commit is contained in:
parent
2994f916fe
commit
4c2a8f23e1
13
unison-src/transcripts/check873.md
Normal file
13
unison-src/transcripts/check873.md
Normal file
@ -0,0 +1,13 @@
|
||||
See [this ticket](https://github.com/unisonweb/unison/issues/873); the point being, this shouldn't crash the runtime. :)
|
||||
|
||||
```unison
|
||||
(-) = builtin.Nat.sub
|
||||
```
|
||||
|
||||
```ucm
|
||||
.> add
|
||||
```
|
||||
|
||||
```unison
|
||||
baz x = x - 1
|
||||
```
|
46
unison-src/transcripts/check873.output.md
Normal file
46
unison-src/transcripts/check873.output.md
Normal file
@ -0,0 +1,46 @@
|
||||
See [this ticket](https://github.com/unisonweb/unison/issues/873); the point being, this shouldn't crash the runtime. :)
|
||||
|
||||
```unison
|
||||
(-) = builtin.Nat.sub
|
||||
```
|
||||
|
||||
```ucm
|
||||
|
||||
I found and typechecked these definitions in scratch.u. If you
|
||||
do an `add` or `update`, here's how your codebase would
|
||||
change:
|
||||
|
||||
⍟ These new definitions are ok to `add`:
|
||||
|
||||
- : builtin.Nat -> builtin.Nat -> builtin.Int
|
||||
|
||||
Now evaluating any watch expressions (lines starting with
|
||||
`>`)... Ctrl+C cancels.
|
||||
|
||||
```
|
||||
```ucm
|
||||
.> add
|
||||
|
||||
⍟ I've added these definitions:
|
||||
|
||||
- : builtin.Nat -> builtin.Nat -> builtin.Int
|
||||
|
||||
```
|
||||
```unison
|
||||
baz x = x - 1
|
||||
```
|
||||
|
||||
```ucm
|
||||
|
||||
I found and typechecked these definitions in scratch.u. If you
|
||||
do an `add` or `update`, here's how your codebase would
|
||||
change:
|
||||
|
||||
⍟ These new definitions are ok to `add`:
|
||||
|
||||
baz : builtin.Nat -> builtin.Int
|
||||
|
||||
Now evaluating any watch expressions (lines starting with
|
||||
`>`)... Ctrl+C cancels.
|
||||
|
||||
```
|
Loading…
Reference in New Issue
Block a user