unison/unison-src/transcripts/update-type-add-record-field.md
2024-06-25 11:11:07 -07:00

22 lines
275 B
Markdown

```ucm:hide
scratch/main> builtins.merge lib.builtin
```
```unison
unique type Foo = { bar : Nat }
```
```ucm
scratch/main> add
```
```unison
unique type Foo = { bar : Nat, baz : Int }
```
```ucm
scratch/main> update
scratch/main> view Foo
scratch/main> find.verbose
```