mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-23 16:28:02 +03:00
11 lines
197 B
Plaintext
11 lines
197 B
Plaintext
-- The location of the error is imprecise. It should point to
|
|
-- the pattern `Bar.Bar`.
|
|
|
|
unique type Foo = Foo
|
|
unique type Bar = Bar
|
|
|
|
foo : Foo -> Foo
|
|
foo = cases
|
|
Foo.Foo -> Foo
|
|
Bar.Bar -> Foo
|