blob: a98cab9a3e6840ebbcb4a7571804648092705972 (
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
45
|
main is not found
tooltips:
testdata/data.lc 1:6-1:11 Type
testdata/data.lc 1:6-1:19 Type
testdata/data.lc 1:14-1:19 Data0
testdata/data.lc 3:6-3:11 Type | Type -> Type -> Type->Type
testdata/data.lc 3:6-3:25 Type
testdata/data.lc 3:6-3:31 Type
testdata/data.lc 3:20-3:25 Data1 V6 V5 V4 | Type | {a} -> {b} -> {c} -> a -> b -> c -> Data1 a b c
testdata/data.lc 3:26-3:27 Type
testdata/data.lc 3:28-3:29 Type
testdata/data.lc 3:30-3:31 Type
testdata/data.lc 5:6-5:11 Type
testdata/data.lc 5:6-6:39 Type
testdata/data.lc 5:6-8:20 Type
testdata/data.lc 5:14-5:20 Data2 | Int->Data2 | Type
testdata/data.lc 5:21-5:24 Type
testdata/data.lc 6:14-6:20 Data2 | Int -> Int->Data2 | Type | V1
testdata/data.lc 6:23-6:24 Data2->Int
testdata/data.lc 6:28-6:31 Type
testdata/data.lc 6:33-6:34 Data2->Int
testdata/data.lc 6:36-6:39 Type
testdata/data.lc 7:14-7:20 Data2 | Int->Data2 | Type
testdata/data.lc 7:28-7:31 Type
testdata/data.lc 8:14-8:20 Data2
testdata/data.lc 10:6-10:11 Type | Type -> Type -> Type->Type
testdata/data.lc 10:6-10:38 Type
testdata/data.lc 10:6-11:54 Type
testdata/data.lc 10:6-12:29 Type
testdata/data.lc 10:6-12:48 Type
testdata/data.lc 10:23-10:29 Data5 V4 V3 V2 | Type | V4 | {a} -> {b} -> {c} -> a -> Data5 a b c
testdata/data.lc 10:32-10:34 {a} -> {b} -> {c} -> Data5 a b c -> a
testdata/data.lc 10:36-10:38 Type
testdata/data.lc 11:23-11:29 Data5 V7 V6 V5 | Type | V4 | {a} -> {b} -> {c} -> a -> b -> c -> Data5 a b c
testdata/data.lc 11:36-11:38 Type
testdata/data.lc 11:40-11:42 {a} -> {b} -> {c} -> Data5 a b c -> b
testdata/data.lc 11:44-11:46 Type
testdata/data.lc 11:48-11:50 {a} -> {b} -> {c} -> Data5 a b c -> c
testdata/data.lc 11:52-11:54 Type
testdata/data.lc 12:23-12:29 Data5 V10 V9 V8 | Type | {a} -> {b} -> {c} -> Int -> a -> Float -> b -> c -> Data5 a b c
testdata/data.lc 12:30-12:33 Type
testdata/data.lc 12:34-12:36 Type
testdata/data.lc 12:37-12:42 Type
testdata/data.lc 12:43-12:45 Type
testdata/data.lc 12:46-12:48 Type
|