unison/unison-src/transcripts/fix2970.md

11 lines
127 B
Markdown
Raw Permalink Normal View History

2024-02-27 00:35:24 +03:00
Also fixes #1519 (it's the same issue).
```ucm
scratch/main> builtins.merge
2024-02-27 00:35:24 +03:00
```
```unison
foo.+.doc : Nat
foo.+.doc = 10
```