mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-26 02:55:19 +03:00
Port update-type-add-new-record to projects
This commit is contained in:
parent
d4a08fdc0a
commit
103569a5cd
@ -1,5 +1,5 @@
|
|||||||
```ucm:hide
|
```ucm:hide
|
||||||
scratch/main lib> builtins.merge
|
scratch/main> builtins.merge lib.builtins
|
||||||
```
|
```
|
||||||
|
|
||||||
```unison
|
```unison
|
||||||
|
@ -28,6 +28,6 @@ scratch/main> update
|
|||||||
|
|
||||||
scratch/main> view Foo
|
scratch/main> view Foo
|
||||||
|
|
||||||
type Foo = { bar : ##Nat }
|
type Foo = { bar : Nat }
|
||||||
|
|
||||||
```
|
```
|
||||||
|
Loading…
Reference in New Issue
Block a user