unison/unison-src/transcripts/fix3773.output.md

30 lines
453 B
Markdown
Raw Permalink Normal View History

``` unison
2023-09-14 00:40:45 +03:00
foo =
_ = 1
_ = 22
42
> foo + 20
```
``` ucm
2023-09-14 00:40:45 +03:00
Loading changes detected in scratch.u.
2023-09-14 00:40:45 +03:00
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`:
foo : Nat
Now evaluating any watch expressions (lines starting with
`>`)... Ctrl+C cancels.
6 | > foo + 20
62
```