diff options
Diffstat (limited to 'testdata/typeclass.out')
-rw-r--r-- | testdata/typeclass.out | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out index c325cfed..1d5b48d0 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out | |||
@@ -1,42 +1,42 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | not :: [32m'Bool->'Bool[0m | 3 | not :: [32m'Bool -> 'Bool[0m |
4 | && :: [32m'Bool -> 'Bool->'Bool[0m | 4 | && :: [32m'Bool -> 'Bool -> 'Bool[0m |
5 | || :: [32m'Bool -> 'Bool->'Bool[0m | 5 | || :: [32m'Bool -> 'Bool -> 'Bool[0m |
6 | 'Eq :: [32mType->Type[0m | 6 | 'Eq :: [32mType -> Type[0m |
7 | == :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m -> [32ma[0;32m->'Bool[0m | 7 | == :: [32mforall a . [32m'Eq [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m -> [32ma[0;32m -> 'Bool[0m |
8 | /= :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m -> [32ma[0;32m->'Bool[0m | 8 | /= :: [32mforall a . [32m'Eq [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m -> [32ma[0;32m -> 'Bool[0m |
9 | ------------ tooltips | 9 | ------------ tooltips |
10 | testdata/typeclass.lc 8:1-8:4 Bool->Bool | 10 | testdata/typeclass.lc 8:1-8:4 Bool -> Bool |
11 | testdata/typeclass.lc 8:12-8:17 Bool | 11 | testdata/typeclass.lc 8:12-8:17 Bool |
12 | testdata/typeclass.lc 8:12-9:17 Bool->Bool | 12 | testdata/typeclass.lc 8:12-9:17 Bool -> Bool |
13 | testdata/typeclass.lc 9:13-9:17 Bool | 13 | testdata/typeclass.lc 9:13-9:17 Bool |
14 | testdata/typeclass.lc 11:6-11:8 Bool -> Bool->Bool | 14 | testdata/typeclass.lc 11:6-11:8 Bool -> Bool -> Bool |
15 | testdata/typeclass.lc 11:13-11:14 b_ | 15 | testdata/typeclass.lc 11:13-11:14 _b |
16 | testdata/typeclass.lc 11:13-12:19 Bool->Bool | 16 | testdata/typeclass.lc 11:13-12:19 Bool -> Bool |
17 | testdata/typeclass.lc 12:14-12:19 Bool | 17 | testdata/typeclass.lc 12:14-12:19 Bool |
18 | testdata/typeclass.lc 14:7-14:9 Bool -> Bool->Bool | 18 | testdata/typeclass.lc 14:7-14:9 Bool -> Bool -> Bool |
19 | testdata/typeclass.lc 14:14-14:15 c_ | 19 | testdata/typeclass.lc 14:14-14:15 _c |
20 | testdata/typeclass.lc 14:14-15:17 Bool->Bool | 20 | testdata/typeclass.lc 14:14-15:17 Bool -> Bool |
21 | testdata/typeclass.lc 15:13-15:17 Bool | 21 | testdata/typeclass.lc 15:13-15:17 Bool |
22 | testdata/typeclass.lc 17:7-17:9 Type->Type | 22 | testdata/typeclass.lc 17:7-17:9 Type -> Type |
23 | testdata/typeclass.lc 17:7-18:27 Type | 23 | testdata/typeclass.lc 17:7-18:27 Type |
24 | testdata/typeclass.lc 18:6-18:8 {a} -> {_ : Eq a} -> a -> a->Bool | 24 | testdata/typeclass.lc 18:6-18:8 forall a . Eq a => a -> a -> Bool |
25 | testdata/typeclass.lc 18:13-18:14 Type | 25 | testdata/typeclass.lc 18:13-18:14 Type |
26 | testdata/typeclass.lc 18:13-18:27 Type | 26 | testdata/typeclass.lc 18:13-18:27 Type |
27 | testdata/typeclass.lc 18:18-18:19 Type | 27 | testdata/typeclass.lc 18:18-18:19 Type |
28 | testdata/typeclass.lc 18:18-18:27 Type | 28 | testdata/typeclass.lc 18:18-18:27 Type |
29 | testdata/typeclass.lc 18:23-18:27 Type | 29 | testdata/typeclass.lc 18:23-18:27 Type |
30 | testdata/typeclass.lc 20:3-20:5 {a} -> {_ : Eq a} -> a -> a->Bool | 30 | testdata/typeclass.lc 20:3-20:5 forall a . Eq a => a -> a -> Bool |
31 | testdata/typeclass.lc 20:10-20:13 Bool->Bool | 31 | testdata/typeclass.lc 20:10-20:13 Bool -> Bool |
32 | testdata/typeclass.lc 20:10-20:22 Bool | 32 | testdata/typeclass.lc 20:10-20:22 Bool |
33 | testdata/typeclass.lc 20:15-20:16 f_ | 33 | testdata/typeclass.lc 20:15-20:16 _f |
34 | testdata/typeclass.lc 20:15-20:19 e_->Bool | 34 | testdata/typeclass.lc 20:15-20:19 _e -> Bool |
35 | testdata/typeclass.lc 20:15-20:21 Bool | 35 | testdata/typeclass.lc 20:15-20:21 Bool |
36 | testdata/typeclass.lc 20:17-20:19 {a} -> {_ : Eq a} -> a -> a->Bool | 36 | testdata/typeclass.lc 20:17-20:19 forall a . Eq a => a -> a -> Bool |
37 | testdata/typeclass.lc 20:20-20:21 c_ | 37 | testdata/typeclass.lc 20:20-20:21 _c |
38 | testdata/typeclass.lc 23:17-23:18 Bool | 38 | testdata/typeclass.lc 23:17-23:18 Bool |
39 | testdata/typeclass.lc 23:17-24:23 Bool->Bool | {_ : Eq a_} -> a_ -> a_->Bool | {a} -> {_ : Eq a} -> a -> a->Bool | 39 | testdata/typeclass.lc 23:17-24:23 Bool -> Bool | Eq _a => _a -> _a -> Bool | forall a . Eq a => a -> a -> Bool |
40 | testdata/typeclass.lc 24:18-24:21 Bool->Bool | 40 | testdata/typeclass.lc 24:18-24:21 Bool -> Bool |
41 | testdata/typeclass.lc 24:18-24:23 Bool | 41 | testdata/typeclass.lc 24:18-24:23 Bool |
42 | testdata/typeclass.lc 24:22-24:23 b_ | 42 | testdata/typeclass.lc 24:22-24:23 _b |