cleanup in pattern match compilation

1 files changed, 1 insertions, 11 deletions

diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 63f5f771..8eb6907a 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -8,19 +8,13 @@ not :: 'Bool->'Bool
 /= :: {a} -> {b : 'Eq a} -> a -> a->'Bool
 ------------ tooltips
 testdata/typeclass.lc 8:1-8:4  Bool->Bool
-testdata/typeclass.lc 8:5-8:9  V1
-testdata/typeclass.lc 8:5-9:17  Bool
 testdata/typeclass.lc 8:12-8:17  Bool
 testdata/typeclass.lc 8:12-9:17  Bool->Bool
 testdata/typeclass.lc 9:13-9:17  Bool
-testdata/typeclass.lc 11:1-11:5  V2
-testdata/typeclass.lc 11:1-12:19  Bool
 testdata/typeclass.lc 11:6-11:8  Bool -> Bool->Bool
 testdata/typeclass.lc 11:13-11:14  V1
 testdata/typeclass.lc 11:13-12:19  Bool->Bool
 testdata/typeclass.lc 12:14-12:19  Bool
-testdata/typeclass.lc 14:1-14:6  V2
-testdata/typeclass.lc 14:1-15:17  Bool
 testdata/typeclass.lc 14:7-14:9  Bool -> Bool->Bool
 testdata/typeclass.lc 14:14-14:15  V2
 testdata/typeclass.lc 14:14-15:17  Bool->Bool
@@ -41,12 +35,8 @@ testdata/typeclass.lc 20:15-20:19  V4->Bool
 testdata/typeclass.lc 20:15-20:21  Bool
 testdata/typeclass.lc 20:17-20:19  {a} -> {b : Eq a} -> a -> a->Bool
 testdata/typeclass.lc 20:20-20:21  V2
-testdata/typeclass.lc 22:13-22:17  Type | Type->Type
-testdata/typeclass.lc 22:13-24:23  (V1 -> V2->Bool) -> V2 -> V3->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool
-testdata/typeclass.lc 23:5-23:9  V2
-testdata/typeclass.lc 23:5-24:23  Bool
 testdata/typeclass.lc 23:17-23:18  Bool
-testdata/typeclass.lc 23:17-24:23  Bool->Bool
+testdata/typeclass.lc 23:17-24:23  Bool->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool
 testdata/typeclass.lc 24:18-24:21  Bool->Bool
 testdata/typeclass.lc 24:18-24:23  Bool
 testdata/typeclass.lc 24:22-24:23  V1