wip refactoring (results more ranges as a side effect)

1 files changed, 2 insertions, 0 deletions

diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 4f6c9ccc..48d87905 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -83,6 +83,7 @@ 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:28-30:30  {a} -> {b : 'Eq a} -> a -> a->'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
@@ -92,6 +93,7 @@ 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:17-22:19  {a} -> {b : 'Eq a} -> a -> a->'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