wip refactoring (results better error ranges as a side effect)

1 files changed, 25 insertions, 6 deletions

diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 02b9ed55..4f6c9ccc 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -16,9 +16,13 @@ testdata/typeclass.lc 10:5-10:9  V1
 testdata/typeclass.lc 10:1-10:4  'Bool->'Bool
 testdata/typeclass.lc 14:14-14:19  V0
 testdata/typeclass.lc 14:14-14:19  'Bool
+testdata/typeclass.lc 13:13-13:14  'Bool
+testdata/typeclass.lc 13:13-13:14  V1
 testdata/typeclass.lc 13:1-13:5  'Bool
 testdata/typeclass.lc 13:1-13:5  V2
 testdata/typeclass.lc 13:6-13:8  'Bool -> 'Bool->'Bool
+testdata/typeclass.lc 16:14-16:15  V0
+testdata/typeclass.lc 16:14-16:15  V2
 testdata/typeclass.lc 17:13-17:17  V1
 testdata/typeclass.lc 17:13-17:17  'Bool
 testdata/typeclass.lc 16:1-16:6  'Bool
@@ -35,7 +39,8 @@ testdata/typeclass.lc 28:10-28:23  Type
 testdata/typeclass.lc 28:10-28:20  Type->Type
 testdata/typeclass.lc 28:10-28:20  Type
 testdata/typeclass.lc 28:10-28:14  Type
-testdata/typeclass.lc 28:10-28:14  Type->Type
+testdata/typeclass.lc 28:10-28:12  Type->Type
+testdata/typeclass.lc 28:13-28:14  Type
 testdata/typeclass.lc 28:18-28:20  Type
 testdata/typeclass.lc 28:22-28:23  Type
 testdata/typeclass.lc 19:7-19:9  Type->Type
@@ -50,12 +55,14 @@ testdata/typeclass.lc 20:18-20:19  Type
 testdata/typeclass.lc 20:23-20:27  Type
 testdata/typeclass.lc 24:13-32:25  {a} -> {b : 'Eq a} -> a -> a->'Bool
 testdata/typeclass.lc 24:13-32:25  {a : 'Eq V0} -> V1 -> V2->'Bool
-testdata/typeclass.lc 25:5-26:21  {a:'Unit} -> 'Bool -> 'Bool->'Bool
-testdata/typeclass.lc 25:5-26:21  'Bool -> 'Bool->'Bool
-testdata/typeclass.lc 25:5-26:21  'Bool->'Bool
-testdata/typeclass.lc 25:5-26:21  'Bool
-testdata/typeclass.lc 26:18-26:21  V0
+testdata/typeclass.lc 25:5-26:23  {a:'Unit} -> 'Bool -> 'Bool->'Bool
+testdata/typeclass.lc 25:5-26:23  'Bool -> 'Bool->'Bool
+testdata/typeclass.lc 25:5-26:23  'Bool->'Bool
+testdata/typeclass.lc 25:5-26:23  'Bool
+testdata/typeclass.lc 26:18-26:23  V0
 testdata/typeclass.lc 26:18-26:21  'Bool->'Bool
+testdata/typeclass.lc 26:22-26:23  'Bool
+testdata/typeclass.lc 25:17-25:18  'Bool
 testdata/typeclass.lc 25:5-25:9  'Bool
 testdata/typeclass.lc 28:22-32:25  {a : 'Eq V0} -> V1 -> V2->'Bool
 testdata/typeclass.lc 29:20-32:25  a:Type -> {b : 'Eq a} -> 'List a -> 'List a -> 'Bool
@@ -73,8 +80,20 @@ testdata/typeclass.lc 30:18-32:25  V0 -> 'List V1 -> 'Bool
 testdata/typeclass.lc 30:18-32:25  'List V1 -> 'Bool
 testdata/typeclass.lc 30:18-32:25  'Bool
 testdata/typeclass.lc 32:20-32:25  V0
+testdata/typeclass.lc 30:26-30:32  V0 -> 'List V1 -> 'Bool
+testdata/typeclass.lc 30:26-30:32  'List V1 -> 'Bool
+testdata/typeclass.lc 30:26-30:32  'Bool
+testdata/typeclass.lc 30:26-30:27  V1
+testdata/typeclass.lc 30:26-30:27  V7
+testdata/typeclass.lc 30:31-30:32  V6
+testdata/typeclass.lc 30:31-30:32  V3
 testdata/typeclass.lc 30:18-30:22  'List V3
 testdata/typeclass.lc 30:18-30:22  'List V7
 testdata/typeclass.lc 20:5-20:9  {a} -> {b : 'Eq a} -> a -> a->'Bool
 testdata/typeclass.lc 22:10-22:13  'Bool->'Bool
+testdata/typeclass.lc 22:15-22:21  'Bool
+testdata/typeclass.lc 22:15-22:16  V1
+testdata/typeclass.lc 22:15-22:16  V5
+testdata/typeclass.lc 22:20-22:21  V4
+testdata/typeclass.lc 22:20-22:21  V2
 testdata/typeclass.lc 22:3-22:5  {a} -> {b : 'Eq a} -> a -> a->'Bool