13 files changed, 35 insertions, 0 deletions

diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out
index 9c4e33f2..adc6ff6d 100644
--- a/testdata/language-features/basic-values/data01.out
+++ b/testdata/language-features/basic-values/data01.out
@@ -28,9 +28,11 @@ testdata/language-features/basic-values/data01.lc 3:6-3:7  Type
 testdata/language-features/basic-values/data01.lc 3:6-3:22  Type
 testdata/language-features/basic-values/data01.lc 3:10-3:11  E
 testdata/language-features/basic-values/data01.lc 3:14-3:15  ()->E | E | Type
+testdata/language-features/basic-values/data01.lc 3:16-3:18  Type
 testdata/language-features/basic-values/data01.lc 3:21-3:22  E
 testdata/language-features/basic-values/data01.lc 5:6-5:8  Type
 testdata/language-features/basic-values/data01.lc 5:6-6:13  Type
 testdata/language-features/basic-values/data01.lc 5:9-5:11  D1
 testdata/language-features/basic-values/data01.lc 6:5-6:7  ()->D1 | D1 | Type
+testdata/language-features/basic-values/data01.lc 6:7-6:9  Type
 testdata/language-features/basic-values/data01.lc 6:11-6:13  D1
diff --git a/testdata/language-features/basic-values/def01.out b/testdata/language-features/basic-values/def01.out
index 4b91adc2..72466eb4 100644
--- a/testdata/language-features/basic-values/def01.out
+++ b/testdata/language-features/basic-values/def01.out
@@ -7,5 +7,6 @@ fun2 :: {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->'Char[39
 testdata/language-features/basic-values/def01.lc 1:1-1:5  ()
 testdata/language-features/basic-values/def01.lc 1:8-1:10  ()
 testdata/language-features/basic-values/def01.lc 3:1-3:5  {a} -> {b} -> {c : Num b} -> a->b
+testdata/language-features/basic-values/def01.lc 3:10-3:11  V1
 testdata/language-features/basic-values/def01.lc 5:1-5:5  {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->Char
 testdata/language-features/basic-values/def01.lc 5:18-5:21  Char
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out
index ce814432..c5db1959 100644
--- a/testdata/language-features/basic-values/infix03.out
+++ b/testdata/language-features/basic-values/infix03.out
@@ -13,7 +13,12 @@ testdata/language-features/basic-values/infix03.lc 1:6-1:18  Type
 testdata/language-features/basic-values/infix03.lc 1:6-2:12  Type
 testdata/language-features/basic-values/infix03.lc 1:6-2:21  Type
 testdata/language-features/basic-values/infix03.lc 1:10-1:12  () -> ()->D | D | Type
+testdata/language-features/basic-values/infix03.lc 1:13-1:15  Type
+testdata/language-features/basic-values/infix03.lc 1:16-1:18  Type
 testdata/language-features/basic-values/infix03.lc 2:10-2:12  () -> () -> ()->D | D | Type
+testdata/language-features/basic-values/infix03.lc 2:13-2:15  Type
+testdata/language-features/basic-values/infix03.lc 2:16-2:18  Type
+testdata/language-features/basic-values/infix03.lc 2:19-2:21  Type
 testdata/language-features/basic-values/infix03.lc 4:1-4:3  () -> ()->D
 testdata/language-features/basic-values/infix03.lc 4:10-4:11  V3
 testdata/language-features/basic-values/infix03.lc 4:10-4:16  ()->D
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out
index 71622998..cb18e787 100644
--- a/testdata/language-features/basic-values/let01.out
+++ b/testdata/language-features/basic-values/let01.out
@@ -7,8 +7,19 @@ value4 :: {a} -> {b : 'Num a}->a
 value5 :: {a} -> {b : 'Num a}->a
 ------------ tooltips
 testdata/language-features/basic-values/let01.lc 1:1-1:7  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/let01.lc 1:18-1:19  V1
+testdata/language-features/basic-values/let01.lc 1:23-1:24  V1
 testdata/language-features/basic-values/let01.lc 3:1-3:7  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/let01.lc 4:11-4:12  V1
+testdata/language-features/basic-values/let01.lc 5:6-5:7  V1
 testdata/language-features/basic-values/let01.lc 7:1-7:7  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/let01.lc 8:11-8:12  V1
 testdata/language-features/basic-values/let01.lc 9:11-9:14  Char
+testdata/language-features/basic-values/let01.lc 10:6-10:7  V1
 testdata/language-features/basic-values/let01.lc 12:1-12:7  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/let01.lc 12:18-12:19  V1
+testdata/language-features/basic-values/let01.lc 13:13-13:14  V1
 testdata/language-features/basic-values/let01.lc 15:1-15:7  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/let01.lc 15:18-15:19  V1
+testdata/language-features/basic-values/let01.lc 16:18-16:19  V1
+testdata/language-features/basic-values/let01.lc 17:13-17:14  V1
diff --git a/testdata/language-features/basic-values/let02.out b/testdata/language-features/basic-values/let02.out
index d3f7c31b..cbbba1b1 100644
--- a/testdata/language-features/basic-values/let02.out
+++ b/testdata/language-features/basic-values/let02.out
@@ -7,6 +7,7 @@ testdata/language-features/basic-values/let02.lc 2:11-2:13  ()
 testdata/language-features/basic-values/let02.lc 3:19-3:22  Char
 testdata/language-features/basic-values/let02.lc 3:26-3:28  ()
 testdata/language-features/basic-values/let02.lc 5:17-5:19  ()
+testdata/language-features/basic-values/let02.lc 6:17-6:18  V1
 testdata/language-features/basic-values/let02.lc 7:17-7:24  String
 testdata/language-features/basic-values/let02.lc 8:12-8:15  Char
 testdata/language-features/basic-values/let02.lc 9:6-9:8  ()
diff --git a/testdata/language-features/basic-values/literal01.out b/testdata/language-features/basic-values/literal01.out
index 3c3ea255..4d1bb07e 100644
--- a/testdata/language-features/basic-values/literal01.out
+++ b/testdata/language-features/basic-values/literal01.out
@@ -10,8 +10,11 @@ stringValue1 :: 'String
 stringValue2 :: 'String
 ------------ tooltips
 testdata/language-features/basic-values/literal01.lc 1:1-1:10  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/literal01.lc 1:13-1:14  V1
 testdata/language-features/basic-values/literal01.lc 2:1-2:10  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/literal01.lc 2:13-2:14  V1
 testdata/language-features/basic-values/literal01.lc 3:1-3:10  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/literal01.lc 3:13-3:18  V1
 testdata/language-features/basic-values/literal01.lc 5:1-5:12  Float
 testdata/language-features/basic-values/literal01.lc 5:15-5:18  Float
 testdata/language-features/basic-values/literal01.lc 6:1-6:12  Float
diff --git a/testdata/language-features/basic-values/shadowing01.out b/testdata/language-features/basic-values/shadowing01.out
index 51674710..d210aa29 100644
--- a/testdata/language-features/basic-values/shadowing01.out
+++ b/testdata/language-features/basic-values/shadowing01.out
@@ -5,6 +5,7 @@ value :: 'Char
 testdata/language-features/basic-values/shadowing01.lc 1:1-1:6  Char
 testdata/language-features/basic-values/shadowing01.lc 2:11-2:14  Char
 testdata/language-features/basic-values/shadowing01.lc 3:11-3:18  String
+testdata/language-features/basic-values/shadowing01.lc 5:17-5:18  V1
 testdata/language-features/basic-values/shadowing01.lc 6:17-6:21  Float
 testdata/language-features/basic-values/shadowing01.lc 7:25-7:27  ()
 testdata/language-features/basic-values/shadowing01.lc 8:25-8:28  Char
diff --git a/testdata/language-features/basic-values/shadowing02.out b/testdata/language-features/basic-values/shadowing02.out
index b0a4ee08..b5315a86 100644
--- a/testdata/language-features/basic-values/shadowing02.out
+++ b/testdata/language-features/basic-values/shadowing02.out
@@ -5,11 +5,14 @@ world :: 'String
 value2 :: 'Char
 ------------ tooltips
 testdata/language-features/basic-values/shadowing02.lc 1:1-1:2  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/shadowing02.lc 1:5-1:6  V1
 testdata/language-features/basic-values/shadowing02.lc 2:1-2:6  String
 testdata/language-features/basic-values/shadowing02.lc 2:9-2:16  String
 testdata/language-features/basic-values/shadowing02.lc 3:1-3:7  Char
 testdata/language-features/basic-values/shadowing02.lc 4:11-4:14  Char
 testdata/language-features/basic-values/shadowing02.lc 5:11-5:18  String
+testdata/language-features/basic-values/shadowing02.lc 6:11-6:14  V1
+testdata/language-features/basic-values/shadowing02.lc 8:17-8:18  V1
 testdata/language-features/basic-values/shadowing02.lc 9:17-9:21  Float
 testdata/language-features/basic-values/shadowing02.lc 10:25-10:27  ()
 testdata/language-features/basic-values/shadowing02.lc 11:25-11:28  Char
diff --git a/testdata/language-features/basic-values/typesig07.out b/testdata/language-features/basic-values/typesig07.out
index eac8581d..a88c824d 100644
--- a/testdata/language-features/basic-values/typesig07.out
+++ b/testdata/language-features/basic-values/typesig07.out
@@ -14,6 +14,8 @@ testdata/language-features/basic-values/typesig07.lc 4:1-4:7  Int
 testdata/language-features/basic-values/typesig07.lc 4:10-4:11  V1
 testdata/language-features/basic-values/typesig07.lc 5:1-5:7  Int
 testdata/language-features/basic-values/typesig07.lc 5:10-5:11  V1
+testdata/language-features/basic-values/typesig07.lc 8:12-8:14  Type
+testdata/language-features/basic-values/typesig07.lc 8:18-8:20  Type
 testdata/language-features/basic-values/typesig07.lc 8:18-8:26  Type
 testdata/language-features/basic-values/typesig07.lc 8:24-8:26  Type
 testdata/language-features/basic-values/typesig07.lc 10:1-10:7  () -> ()->()
diff --git a/testdata/language-features/basic-values/typesyn01.out b/testdata/language-features/basic-values/typesyn01.out
index cca031fc..3e2d214b 100644
--- a/testdata/language-features/basic-values/typesyn01.out
+++ b/testdata/language-features/basic-values/typesyn01.out
@@ -3,3 +3,4 @@ main is not found
 'MyUnit :: Type
 ------------ tooltips
 testdata/language-features/basic-values/typesyn01.lc 1:6-1:12  Type
+testdata/language-features/basic-values/typesyn01.lc 1:15-1:17  Type
diff --git a/testdata/language-features/basic-values/typesyn02.out b/testdata/language-features/basic-values/typesyn02.out
index b8070de1..657f3fef 100644
--- a/testdata/language-features/basic-values/typesyn02.out
+++ b/testdata/language-features/basic-values/typesyn02.out
@@ -4,6 +4,7 @@ main is not found
 fun :: {a} -> a -> ()->()
 ------------ tooltips
 testdata/language-features/basic-values/typesyn02.lc 1:6-1:12  Type
+testdata/language-features/basic-values/typesyn02.lc 1:15-1:17  Type
 testdata/language-features/basic-values/typesyn02.lc 3:8-3:9  V1
 testdata/language-features/basic-values/typesyn02.lc 3:8-3:29  Type
 testdata/language-features/basic-values/typesyn02.lc 3:13-3:19  Type
diff --git a/testdata/language-features/basic-values/typesyn03.reject.out b/testdata/language-features/basic-values/typesyn03.reject.out
index b980b47f..e55ce30e 100644
--- a/testdata/language-features/basic-values/typesyn03.reject.out
+++ b/testdata/language-features/basic-values/typesyn03.reject.out
@@ -15,4 +15,6 @@ type MyUnit = ()
      ^^^^^^
 ------------ tooltips
 testdata/language-features/basic-values/typesyn03.reject.lc 1:6-1:12  Type
+testdata/language-features/basic-values/typesyn03.reject.lc 1:15-1:17  Type
 testdata/language-features/basic-values/typesyn03.reject.lc 2:6-2:12  Type
+testdata/language-features/basic-values/typesyn03.reject.lc 2:15-2:17  Type
diff --git a/testdata/language-features/basic-values/typesyn04.reject.out b/testdata/language-features/basic-values/typesyn04.reject.out
index 2fd21298..6e93a12a 100644
--- a/testdata/language-features/basic-values/typesyn04.reject.out
+++ b/testdata/language-features/basic-values/typesyn04.reject.out
@@ -15,4 +15,6 @@ type MyUnit = ()
      ^^^^^^
 ------------ tooltips
 testdata/language-features/basic-values/typesyn04.reject.lc 1:6-1:12  Type
+testdata/language-features/basic-values/typesyn04.reject.lc 1:15-1:17  Type
 testdata/language-features/basic-values/typesyn04.reject.lc 2:6-2:12  Type
+testdata/language-features/basic-values/typesyn04.reject.lc 2:15-2:17  Type