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

27 lines
406 B
Markdown
Raw Permalink Normal View History

Also fixes \#1519 (it's the same issue).
2024-02-27 00:35:24 +03:00
``` ucm
scratch/main> builtins.merge
2024-02-27 00:35:24 +03:00
Done.
```
``` unison
2024-02-27 00:35:24 +03:00
foo.+.doc : Nat
foo.+.doc = 10
```
``` ucm
2024-02-27 00:35:24 +03:00
Loading changes detected in scratch.u.
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.+.doc : Nat
```