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

219 B

scratch/main> builtins.merge lib.builtin
unique type Foo = { bar : Nat }
scratch/main> add

Bug: this no-op update should (of course) succeed.

scratch/main> update