mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 13:30:27 +03:00
This is for consistency with the `cmark` style. Now the blocks we still pretty-print ourselves will match the bulk of them that `cmark` produces.
632 B
632 B
unique type foo.bar.baz.MyRecord = {
value : Nat
}
scratch/main> add
⍟ I've added these definitions:
type foo.bar.baz.MyRecord
foo.bar.baz.MyRecord.value : MyRecord -> Nat
foo.bar.baz.MyRecord.value.modify : (Nat ->{g} Nat)
-> MyRecord
->{g} MyRecord
foo.bar.baz.MyRecord.value.set : Nat
-> MyRecord
-> MyRecord
scratch/main> find : Nat -> MyRecord
1. foo.bar.baz.MyRecord.MyRecord : Nat -> MyRecord