diff options
Diffstat (limited to 'testdata/typeclass.out')
| -rw-r--r-- | testdata/typeclass.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out index 84ba69fe..63f5f771 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out | |||
| @@ -36,9 +36,9 @@ testdata/typeclass.lc 18:23-18:27 Type | |||
| 36 | testdata/typeclass.lc 20:3-20:5 {a} -> {b : Eq a} -> a -> a->Bool | 36 | testdata/typeclass.lc 20:3-20:5 {a} -> {b : Eq a} -> a -> a->Bool |
| 37 | testdata/typeclass.lc 20:10-20:13 Bool->Bool | 37 | testdata/typeclass.lc 20:10-20:13 Bool->Bool |
| 38 | testdata/typeclass.lc 20:10-20:22 Bool | 38 | testdata/typeclass.lc 20:10-20:22 Bool |
| 39 | testdata/typeclass.lc 20:14-20:22 Bool | ||
| 40 | testdata/typeclass.lc 20:15-20:16 V5 | 39 | testdata/typeclass.lc 20:15-20:16 V5 |
| 41 | testdata/typeclass.lc 20:15-20:19 V4->Bool | 40 | testdata/typeclass.lc 20:15-20:19 V4->Bool |
| 41 | testdata/typeclass.lc 20:15-20:21 Bool | ||
| 42 | testdata/typeclass.lc 20:17-20:19 {a} -> {b : Eq a} -> a -> a->Bool | 42 | testdata/typeclass.lc 20:17-20:19 {a} -> {b : Eq a} -> a -> a->Bool |
| 43 | testdata/typeclass.lc 20:20-20:21 V2 | 43 | testdata/typeclass.lc 20:20-20:21 V2 |
| 44 | testdata/typeclass.lc 22:13-22:17 Type | Type->Type | 44 | testdata/typeclass.lc 22:13-22:17 Type | Type->Type |