blob: 75428209d78a8de03bdf4a3c524a524ea7c2878e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
main is not found
------------ desugared source code
id = \(a :: _) -> _rhs a
data X (_ :: Type) (_ :: _a) :: Type where
x :: X \(a :: _) (b :: _) -> HList (a : b : '[])
x = _rhs undefined
------------ trace
id :: forall a . a -> a
'X :: forall a . a -> Type
case'X :: forall a (b :: a) . forall (c :: X a b -> Type) (d :: X a b) -> c d
match'X
:: forall (a :: Type -> Type)
-> (forall b . forall (c :: b) -> a (X b c)) -> forall d -> a d -> a d
x :: X (Type -> Type -> Type) \(a :: Type) (b :: Type) -> (a, b)
------------ tooltips
testdata/traceTest.lc 6:1-6:3
forall a . a -> a
testdata/traceTest.lc 6:8-6:9
_b
testdata/traceTest.lc 8:6-8:7
forall a . a -> Type | forall a . a -> Type | forall a . a -> Type | Type | Type
testdata/traceTest.lc 8:6-8:18
Type
testdata/traceTest.lc 8:17-8:18
Type | Type | Type
testdata/traceTest.lc 10:6-10:7
forall a . a -> Type
testdata/traceTest.lc 10:6-10:25
Type
testdata/traceTest.lc 10:17-10:24
Type
testdata/traceTest.lc 10:19-10:20
_e
testdata/traceTest.lc 10:19-10:23
[Type]
testdata/traceTest.lc 10:22-10:23
_c | [Type]
testdata/traceTest.lc 11:1-11:2
X (Type -> Type -> Type) \(a :: Type) (b :: Type) -> (a, b)
testdata/traceTest.lc 11:5-11:14
forall a . a
|
