tuples are heterogeneous lists

1 files changed, 11 insertions, 21 deletions

diff --git a/testdata/ambig.out b/testdata/ambig.out
index f0593a3b..c57a8352 100644
--- a/testdata/ambig.out
+++ b/testdata/ambig.out
@@ -1,24 +1,14 @@
 main is not found
 ------------ trace
-'Tuple2 :: Type -> Type->Type
-Tuple2 :: {a} -> {b} -> a -> b -> 'Tuple2 a b
-'Tuple2Case :: {a} -> {b} -> (d : 'Tuple2 a b -> Type) -> (e:a -> f:b -> d (Tuple2 e f)) -> (h : 'Tuple2 a b) -> d h
-match'Tuple2 :: (b : Type->Type) -> (c:Type -> d:Type -> b ('Tuple2 c d)) -> f:Type -> b f -> b f
-h :: {a} -> {b} -> {c} -> {d} -> (b -> c->d) -> 'Tuple2 b c -> a->d
+h :: {a} -> {b} -> {c} -> {d} -> (b -> d->c) -> (b, d) -> a->c
 ------------ tooltips
-testdata/ambig.lc 3:6-3:12  Type | Type -> Type->Type
-testdata/ambig.lc 3:6-3:25  Type
-testdata/ambig.lc 3:6-3:29  Type
-testdata/ambig.lc 3:19-3:25  Tuple2 V4 V3 | Type | {a} -> {b} -> a -> b -> Tuple2 a b
-testdata/ambig.lc 3:26-3:27  Type
-testdata/ambig.lc 3:28-3:29  Type
-testdata/ambig.lc 5:1-5:2  {a} -> {b} -> {c} -> {d} -> (b -> c->d) -> Tuple2 b c -> a->d
-testdata/ambig.lc 5:11-5:12  V1
-testdata/ambig.lc 8:9-8:29  V0
-testdata/ambig.lc 8:12-8:16  V4
-testdata/ambig.lc 8:12-8:26  V0
-testdata/ambig.lc 8:21-8:22  V12
-testdata/ambig.lc 8:21-8:26  V2 -> V2->V2 | V2->V2
-testdata/ambig.lc 8:23-8:24  V7
-testdata/ambig.lc 8:25-8:26  V7
-testdata/ambig.lc 8:28-8:29  V6
+testdata/ambig.lc 4:1-4:2  {a} -> {b} -> {c} -> {d} -> (b -> d->c) -> (b, d) -> a->c
+testdata/ambig.lc 4:11-4:12  V2
+testdata/ambig.lc 7:9-7:29  V1
+testdata/ambig.lc 7:12-7:16  V4
+testdata/ambig.lc 7:12-7:26  V1
+testdata/ambig.lc 7:21-7:22  V18
+testdata/ambig.lc 7:21-7:26  HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V3
+testdata/ambig.lc 7:23-7:24  V13
+testdata/ambig.lc 7:25-7:26  V9
+testdata/ambig.lc 7:28-7:29  V6