unison/unison-src/transcripts/update-type-add-new-record.md

13 lines
161 B
Markdown
Raw Permalink Normal View History

2023-11-23 00:31:05 +03:00
```ucm:hide
scratch/main> builtins.merge lib.builtins
2023-11-23 00:31:05 +03:00
```
```unison
unique type Foo = { bar : Nat }
```
```ucm
scratch/main> update
scratch/main> view Foo
2023-11-23 00:31:05 +03:00
```