diff options
Diffstat (limited to 'testdata/typeclass.out')
| -rw-r--r-- | testdata/typeclass.out | 24 |
1 files changed, 2 insertions, 22 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out index 43360117..3b1d788d 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out | |||
| @@ -29,7 +29,6 @@ testdata/typeclass.lc 16:14-17:17 Bool->Bool | |||
| 29 | testdata/typeclass.lc 17:13-17:17 Bool | 29 | testdata/typeclass.lc 17:13-17:17 Bool |
| 30 | testdata/typeclass.lc 19:7-19:9 Type->Type | 30 | testdata/typeclass.lc 19:7-19:9 Type->Type |
| 31 | testdata/typeclass.lc 19:7-20:27 Type | 31 | testdata/typeclass.lc 19:7-20:27 Type |
| 32 | testdata/typeclass.lc 19:7-32:25 V0->V1 | {a} -> {b : Eq a} -> a -> a->Bool | ||
| 33 | testdata/typeclass.lc 20:5-20:9 {a} -> {b : Eq a} -> a -> a->Bool | 32 | testdata/typeclass.lc 20:5-20:9 {a} -> {b : Eq a} -> a -> a->Bool |
| 34 | testdata/typeclass.lc 20:13-20:14 Type | 33 | testdata/typeclass.lc 20:13-20:14 Type |
| 35 | testdata/typeclass.lc 20:13-20:27 Type | 34 | testdata/typeclass.lc 20:13-20:27 Type |
| @@ -44,10 +43,8 @@ testdata/typeclass.lc 22:15-22:16 V5 | |||
| 44 | testdata/typeclass.lc 22:15-22:19 V4->Bool | 43 | testdata/typeclass.lc 22:15-22:19 V4->Bool |
| 45 | testdata/typeclass.lc 22:17-22:19 {a} -> {b : Eq a} -> a -> a->Bool | 44 | testdata/typeclass.lc 22:17-22:19 {a} -> {b : Eq a} -> a -> a->Bool |
| 46 | testdata/typeclass.lc 22:20-22:21 V2 | 45 | testdata/typeclass.lc 22:20-22:21 V2 |
| 47 | testdata/typeclass.lc 24:13-24:17 Type | 46 | testdata/typeclass.lc 24:13-24:17 Type | Type->Type |
| 48 | testdata/typeclass.lc 24:13-26:23 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool | 47 | testdata/typeclass.lc 24:13-26:23 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool | {a} -> {b : Eq a} -> a -> a->Bool |
| 49 | testdata/typeclass.lc 24:13-28:23 Type | Type->Type | V0->V1 | ||
| 50 | testdata/typeclass.lc 24:13-32:25 {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool | ||
| 51 | testdata/typeclass.lc 25:5-25:9 Bool | 48 | testdata/typeclass.lc 25:5-25:9 Bool |
| 52 | testdata/typeclass.lc 25:5-26:23 Bool | Bool -> Bool->Bool | Bool->Bool | 49 | testdata/typeclass.lc 25:5-26:23 Bool | Bool -> Bool->Bool | Bool->Bool |
| 53 | testdata/typeclass.lc 25:17-25:18 Bool | 50 | testdata/typeclass.lc 25:17-25:18 Bool |
| @@ -55,20 +52,3 @@ testdata/typeclass.lc 25:17-26:23 Bool->Bool | |||
| 55 | testdata/typeclass.lc 26:18-26:21 Bool->Bool | 52 | testdata/typeclass.lc 26:18-26:21 Bool->Bool |
| 56 | testdata/typeclass.lc 26:18-26:23 Bool | 53 | testdata/typeclass.lc 26:18-26:23 Bool |
| 57 | testdata/typeclass.lc 26:22-26:23 Bool | 54 | testdata/typeclass.lc 26:22-26:23 Bool |
| 58 | testdata/typeclass.lc 28:10-28:12 Type->Type | ||
| 59 | testdata/typeclass.lc 28:10-28:14 Type | Type->Type | ||
| 60 | testdata/typeclass.lc 28:10-28:23 Type->Type | ||
| 61 | testdata/typeclass.lc 28:13-28:14 Type | ||
| 62 | testdata/typeclass.lc 28:22-28:23 Type | ||
| 63 | testdata/typeclass.lc 28:22-32:25 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool | ||
| 64 | testdata/typeclass.lc 29:20-29:24 Bool | ||
| 65 | testdata/typeclass.lc 29:20-32:25 Bool | List V0 -> Bool | List V1 -> List V2 -> Bool | List V2 -> Bool | a:Type -> {b : Eq a} -> List a -> List a -> Bool | ||
| 66 | testdata/typeclass.lc 30:18-30:22 List V7 | ||
| 67 | testdata/typeclass.lc 30:18-32:25 Bool | List V1 -> Bool | V0 -> List V1 -> Bool | ||
| 68 | testdata/typeclass.lc 30:26-30:27 V7 | ||
| 69 | testdata/typeclass.lc 30:26-30:30 V6->Bool | ||
| 70 | testdata/typeclass.lc 30:26-30:32 Bool | List V1 -> Bool | V0 -> List V1 -> Bool | ||
| 71 | testdata/typeclass.lc 30:26-32:25 List V3 -> Bool | ||
| 72 | testdata/typeclass.lc 30:28-30:30 {a} -> {b : Eq a} -> a -> a->Bool | ||
| 73 | testdata/typeclass.lc 30:31-30:32 V3 | ||
| 74 | testdata/typeclass.lc 32:20-32:25 Bool | List V1 -> Bool | V0 -> List V1 -> Bool | ||