unison/unison-src/transcripts/fix4528.md

16 lines
168 B
Markdown
Raw Permalink Normal View History

```ucm:hide
2024-04-15 02:57:08 +03:00
foo/main> builtins.merge
```
```unison
structural type Foo = MkFoo Nat
main : () -> Foo
main _ = MkFoo 5
```
```ucm
foo/main> add
foo/main> run main
```