several improvement to get better tooltips

1 files changed, 53 insertions, 86 deletions

diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index d2575528..92048bb2 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -1,107 +1,74 @@
 main is not found
 tooltips:
-testdata/typeclass.lc 4:6-4:10  Type->Type
-testdata/typeclass.lc 4:6-4:10  Type
-testdata/typeclass.lc 4:15-4:18  {a} -> 'List a
-testdata/typeclass.lc 4:6-4:36  Type->Type
+testdata/typeclass.lc 4:6-4:10  Type | Type->Type
+testdata/typeclass.lc 4:6-4:25  Type
 testdata/typeclass.lc 4:6-4:36  Type
+testdata/typeclass.lc 4:15-4:18  'List V1 | {a} -> 'List a
+testdata/typeclass.lc 4:21-4:25  'List V4 | Type | {a} -> a -> 'List a -> 'List a
 testdata/typeclass.lc 4:26-4:27  Type
+testdata/typeclass.lc 4:28-4:36  Type
 testdata/typeclass.lc 4:29-4:33  Type->Type
 testdata/typeclass.lc 4:34-4:35  Type
-testdata/typeclass.lc 4:21-4:25  {a} -> a -> 'List a -> 'List a
-testdata/typeclass.lc 4:6-4:25  Type->Type
-testdata/typeclass.lc 4:6-4:25  Type
-testdata/typeclass.lc 4:15-4:18  'List V1
-testdata/typeclass.lc 4:21-4:25  Type->Type
-testdata/typeclass.lc 4:21-4:25  Type
-testdata/typeclass.lc 4:21-4:25  'List V4
-testdata/typeclass.lc 11:13-11:17  V0
-testdata/typeclass.lc 11:13-11:17  'Bool
-testdata/typeclass.lc 10:12-10:17  'Bool
-testdata/typeclass.lc 10:5-10:9  'Bool
-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 10:5-10:9  V1
+testdata/typeclass.lc 10:5-11:17  'Bool
+testdata/typeclass.lc 10:12-10:17  'Bool
+testdata/typeclass.lc 10:12-11:17  'Bool->'Bool
+testdata/typeclass.lc 11:13-11:17  'Bool
 testdata/typeclass.lc 13:1-13:5  V2
+testdata/typeclass.lc 13:1-14:19  'Bool
 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
+testdata/typeclass.lc 13:13-13:14  V1
+testdata/typeclass.lc 13:13-14:19  'Bool->'Bool
+testdata/typeclass.lc 14:14-14:19  'Bool
 testdata/typeclass.lc 16:1-16:6  V2
+testdata/typeclass.lc 16:1-17:17  'Bool
 testdata/typeclass.lc 16:7-16:9  'Bool -> 'Bool->'Bool
-testdata/typeclass.lc 24:13-28:23  V0->V1
-testdata/typeclass.lc 24:13-28:23  V1
-testdata/typeclass.lc 24:13-28:23  Type->Type
-testdata/typeclass.lc 24:13-28:23  Type
-testdata/typeclass.lc 24:13-24:17  Type
-testdata/typeclass.lc 28:10-28:23  Type
-testdata/typeclass.lc 28:10-28:14  Type->Type
-testdata/typeclass.lc 28:10-28:14  Type
-testdata/typeclass.lc 28:10-28:12  Type->Type
-testdata/typeclass.lc 28:13-28:14  Type
-testdata/typeclass.lc 28:22-28:23  Type
+testdata/typeclass.lc 16:14-16:15  V2
+testdata/typeclass.lc 16:14-17:17  'Bool->'Bool
+testdata/typeclass.lc 17:13-17:17  'Bool
 testdata/typeclass.lc 19:7-19:9  Type->Type
-testdata/typeclass.lc 19:7-32:25  V0->V1
-testdata/typeclass.lc 19:7-32:25  V1
 testdata/typeclass.lc 19:7-20:27  Type
-testdata/typeclass.lc 19:7-20:27  Type->Type
-testdata/typeclass.lc 20:13-20:27  Type->Type
-testdata/typeclass.lc 20:13-20:27  Type
+testdata/typeclass.lc 19:7-32:25  V0->V1 | {a} -> {b : 'Eq a} -> a -> a->'Bool
+testdata/typeclass.lc 20:5-20:9  {a} -> {b : 'Eq a} -> a -> a->'Bool
 testdata/typeclass.lc 20:13-20:14  Type
-testdata/typeclass.lc 20:18-20:27  Type->Type
-testdata/typeclass.lc 20:18-20:27  Type
+testdata/typeclass.lc 20:13-20:27  Type
 testdata/typeclass.lc 20:18-20:19  Type
-testdata/typeclass.lc 20:23-20:27  Type->Type
+testdata/typeclass.lc 20:18-20:27  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: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 22:3-22:5  {a} -> {b : 'Eq a} -> a -> a->'Bool
+testdata/typeclass.lc 22:10-22:13  'Bool->'Bool
+testdata/typeclass.lc 22:10-22:22  'Bool
+testdata/typeclass.lc 22:14-22:22  'Bool
+testdata/typeclass.lc 22:15-22:16  V5
+testdata/typeclass.lc 22:15-22:19  V4->'Bool
+testdata/typeclass.lc 22:17-22:19  {a} -> {b : 'Eq a} -> a -> a->'Bool
+testdata/typeclass.lc 22:20-22:21  V2
+testdata/typeclass.lc 24:13-24:17  Type
+testdata/typeclass.lc 24:13-26:23  ({a : 'Eq V0} -> V1 -> V2->'Bool) -> {e : 'Eq V1} -> V2 -> V3->'Bool
+testdata/typeclass.lc 24:13-28:23  Type | Type->Type | V0->V1
+testdata/typeclass.lc 24:13-32:25  {a : 'Eq V0} -> V1 -> V2->'Bool | {a} -> {b : 'Eq a} -> a -> a->'Bool
+testdata/typeclass.lc 25:5-25:9  'Bool
+testdata/typeclass.lc 25:5-26:23  'Bool | 'Bool -> 'Bool->'Bool | 'Bool->'Bool
+testdata/typeclass.lc 25:17-25:18  'Bool
+testdata/typeclass.lc 25:17-26:23  'Bool->'Bool
 testdata/typeclass.lc 26:18-26:21  'Bool->'Bool
+testdata/typeclass.lc 26:18-26:23  '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
-testdata/typeclass.lc 29:20-32:25  {a : 'Eq V0} -> 'List V1 -> 'List V2 -> 'Bool
-testdata/typeclass.lc 29:20-32:25  'List V1 -> 'List V2 -> 'Bool
-testdata/typeclass.lc 29:20-32:25  'List V2 -> 'Bool
-testdata/typeclass.lc 29:20-32:25  'Bool
-testdata/typeclass.lc 29:20-32:25  V0
-testdata/typeclass.lc 29:20-29:24  V0
+testdata/typeclass.lc 28:10-28:12  Type->Type
+testdata/typeclass.lc 28:10-28:14  Type | Type->Type
+testdata/typeclass.lc 28:10-28:23  Type->Type
+testdata/typeclass.lc 28:13-28:14  Type
+testdata/typeclass.lc 28:22-28:23  Type
+testdata/typeclass.lc 28:22-32:25  ({a : 'Eq V0} -> V1 -> V2->'Bool) -> {e : 'Eq V1} -> V2 -> V3->'Bool
 testdata/typeclass.lc 29:20-29:24  'Bool
-testdata/typeclass.lc 32:20-32:25  V0 -> 'List V1 -> 'Bool
-testdata/typeclass.lc 32:20-32:25  'List V1 -> 'Bool
-testdata/typeclass.lc 32:20-32:25  'Bool
-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:28-30:30  {a} -> {b : 'Eq a} -> a -> a->'Bool
-testdata/typeclass.lc 30:26-30:27  V1
+testdata/typeclass.lc 29:20-32:25  'Bool | 'List V0 -> 'Bool | 'List V1 -> 'List V2 -> 'Bool | 'List V2 -> 'Bool | a:Type -> {b : 'Eq a} -> 'List a -> 'List a -> 'Bool
+testdata/typeclass.lc 30:18-30:22  'List V7
+testdata/typeclass.lc 30:18-32:25  'Bool | 'List V1 -> 'Bool | V0 -> 'List V1 -> 'Bool
 testdata/typeclass.lc 30:26-30:27  V7
-testdata/typeclass.lc 30:31-30:32  V6
+testdata/typeclass.lc 30:26-30:30  V6->'Bool
+testdata/typeclass.lc 30:26-30:32  'Bool | 'List V1 -> 'Bool | V0 -> 'List V1 -> 'Bool
+testdata/typeclass.lc 30:26-32:25  'List V3 -> 'Bool
+testdata/typeclass.lc 30:28-30:30  {a} -> {b : 'Eq a} -> a -> a->'Bool
 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:14-22:22  '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
-testdata/typeclass.lc 22:20-22:21  V2
-testdata/typeclass.lc 22:3-22:5  {a} -> {b : 'Eq a} -> a -> a->'Bool
+testdata/typeclass.lc 32:20-32:25  'Bool | 'List V1 -> 'Bool | V0 -> 'List V1 -> 'Bool