blob: 3ad6a5bbc9d2c7a4137f45821f791f8147050a2e (
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/typeclass.lc 8:1-8:4 Bool->Bool
testdata/typeclass.lc 8:5-8:9 V1
testdata/typeclass.lc 8:5-9:17 Bool
testdata/typeclass.lc 8:12-8:17 Bool
testdata/typeclass.lc 8:12-9:17 Bool->Bool
testdata/typeclass.lc 9:13-9:17 Bool
testdata/typeclass.lc 11:1-11:5 V2
testdata/typeclass.lc 11:1-12:19 Bool
testdata/typeclass.lc 11:6-11:8 Bool -> Bool->Bool
testdata/typeclass.lc 11:13-11:14 V1
testdata/typeclass.lc 11:13-12:19 Bool->Bool
testdata/typeclass.lc 12:14-12:19 Bool
testdata/typeclass.lc 14:1-14:6 V2
testdata/typeclass.lc 14:1-15:17 Bool
testdata/typeclass.lc 14:7-14:9 Bool -> Bool->Bool
testdata/typeclass.lc 14:14-14:15 V2
testdata/typeclass.lc 14:14-15:17 Bool->Bool
testdata/typeclass.lc 15:13-15:17 Bool
testdata/typeclass.lc 17:7-17:9 Type->Type
testdata/typeclass.lc 17:7-18:27 Type
testdata/typeclass.lc 18:5-18:9 {a} -> {b : Eq a} -> a -> a->Bool
testdata/typeclass.lc 18:13-18:14 Type
testdata/typeclass.lc 18:13-18:27 Type
testdata/typeclass.lc 18:18-18:19 Type
testdata/typeclass.lc 18:18-18:27 Type
testdata/typeclass.lc 18:23-18:27 Type
testdata/typeclass.lc 20:3-20:5 {a} -> {b : Eq a} -> a -> a->Bool
testdata/typeclass.lc 20:10-20:13 Bool->Bool
testdata/typeclass.lc 20:10-20:22 Bool
testdata/typeclass.lc 20:14-20:22 Bool
testdata/typeclass.lc 20:15-20:16 V5
testdata/typeclass.lc 20:15-20:19 V4->Bool
testdata/typeclass.lc 20:17-20:19 {a} -> {b : Eq a} -> a -> a->Bool
testdata/typeclass.lc 20:20-20:21 V2
testdata/typeclass.lc 22:13-22:17 Type | Type->Type
testdata/typeclass.lc 22:13-24:23 (V1 -> V2->Bool) -> V2 -> V3->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool
testdata/typeclass.lc 23:5-23:9 Bool
testdata/typeclass.lc 23:5-24:23 Bool | Bool -> Bool->Bool | Bool->Bool
testdata/typeclass.lc 23:17-23:18 Bool
testdata/typeclass.lc 23:17-24:23 Bool->Bool
testdata/typeclass.lc 24:18-24:21 Bool->Bool
testdata/typeclass.lc 24:18-24:23 Bool
testdata/typeclass.lc 24:22-24:23 Bool
|
