blob: c22da58b380011fb560ab2be1d111af892fb826d (
plain)
1
2
3
4
5
6
7
|
main is not found
------------ trace
'Empty :: [32mType[39m[K
'EmptyCase :: [32m(b : 'Empty->Type) -> c:'Empty -> b c[39m[K
match'Empty :: [32m(b : Type->Type) -> b 'Empty -> d:Type -> b d -> b d[39m[K
------------ tooltips
testdata/empty.lc 3:6-3:11 Type
|