2024-07-10 17:46:18 +03:00
|
|
|
``` unison
|
2023-11-18 00:32:40 +03:00
|
|
|
structural type Foo f
|
|
|
|
= Foo (f ())
|
|
|
|
unique type Baz = Baz (Foo Bar)
|
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
unique type Bar
|
2023-11-18 00:32:40 +03:00
|
|
|
= Bar Baz
|
|
|
|
```
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2023-11-18 00:32:40 +03:00
|
|
|
|
2023-12-22 14:55:24 +03:00
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
|
2023-11-18 00:32:40 +03:00
|
|
|
Kind mismatch arising from
|
2023-11-18 00:36:27 +03:00
|
|
|
3 | unique type Baz = Baz (Foo Bar)
|
2023-11-18 00:32:40 +03:00
|
|
|
|
2023-11-18 00:36:27 +03:00
|
|
|
Foo expects an argument of kind: Type -> Type; however, it
|
|
|
|
is applied to Bar which has kind: Type.
|
2023-11-18 00:32:40 +03:00
|
|
|
|
|
|
|
```
|