mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +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.
21 lines
356 B
Markdown
21 lines
356 B
Markdown
``` unison
|
|
structural type Foo f
|
|
= Foo (f ())
|
|
unique type Baz = Baz (Foo Bar)
|
|
|
|
unique type Bar
|
|
= Bar Baz
|
|
```
|
|
|
|
``` ucm
|
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
Kind mismatch arising from
|
|
3 | unique type Baz = Baz (Foo Bar)
|
|
|
|
Foo expects an argument of kind: Type -> Type; however, it
|
|
is applied to Bar which has kind: Type.
|
|
|
|
```
|