diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-18 18:34:47 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-19 02:50:09 +0100 |
commit | 998ae8f884f4b1d4e092ebdf3a441b97b2cf05b7 (patch) | |
tree | 6ced17ee38fa78de69b05c8765288ecabe52fb6e /testdata/typeclass.out | |
parent | 27c8f3aeb2d13da0bec522ee8a8a98f534fa39e8 (diff) |
tuples are heterogeneous lists
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 |