blob: 4cf072200593c5dd0f73feab9898b2d424a7b905 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
main is not found
------------ desugared source code
data Empty :: Type where
------------ trace
'Empty :: Type
case'Empty :: forall (a :: Empty -> Type) (b :: Empty) -> a b
match'Empty :: forall (a :: Type -> Type) -> a Empty -> forall b -> a b -> a b
------------ tooltips
testdata/empty.lc 3:6-3:11
Type | Type | Type | Type
|