16 lines
214 B
Text
16 lines
214 B
Text
|
|
||
|
|
enum Maybe a.
|
||
|
|
Just a
|
||
|
|
Nothing
|
||
|
|
|
||
|
|
enum App a b.
|
||
|
|
MkApp (a b)
|
||
|
|
|
||
|
|
enum Foo.
|
||
|
|
MkFoo (App Maybe Int)
|
||
|
|
|
||
|
|
let f : Foo = MkFoo (MkApp (Just 1))
|
||
|
|
|
||
|
|
# @expect_diagnostic "TypeMismatch"
|
||
|
|
let g : Foo = MkFoo (MkApp (Just "foo"))
|