blob: df427cab7a806c041abf35d5edea0b6b4bca0333 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
main is not found
------------ desugared source code
data Empty :: Type where
------------ core code
'Empty :: Type
'Empty = <<type constructor with 0 indices; constructors: >>
case'Empty :: forall (a :: Empty -> Type) (b :: Empty) -> a b
case'Empty = \a b -> <<case function of a type with 0 parameters>>
match'Empty :: forall (a :: Type -> Type) -> a Empty -> forall b -> a b -> a b
match'Empty = \a b c d -> <<type case function>>
------------ tooltips
3:6-3:11
Type | Type | Type | Type
|