unison/unison-src/transcripts/update-type-add-field.md

22 lines
256 B
Markdown
Raw Permalink Normal View History

2023-11-08 17:33:42 +03:00
```ucm:hide
scratch/main> builtins.merge lib.builtin
2023-11-08 17:16:19 +03:00
```
```unison
2023-11-08 17:33:42 +03:00
unique type Foo = Bar Nat
2023-11-08 17:16:19 +03:00
```
```ucm
scratch/main> add
2023-11-08 17:16:19 +03:00
```
```unison
2023-11-08 17:33:42 +03:00
unique type Foo = Bar Nat Nat
2023-11-08 17:16:19 +03:00
```
```ucm
scratch/main> update
scratch/main> view Foo
scratch/main> find.verbose
2023-11-08 17:16:19 +03:00
```