generate less variable names

14 files changed, 57 insertions, 57 deletions

diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out
index 8781137c..9d790c66 100644
--- a/testdata/language-features/basic-values/case02.out
+++ b/testdata/language-features/basic-values/case02.out
@@ -1,15 +1,15 @@
 main is not found
 ------------ trace
-value1 :: {a} -> {b : 'Eq a} -> {c : 'Num a}->()
-value2 :: {a} -> {b : 'Eq a} -> {c : 'Num a} -> {d : 'Eq a} -> {e : 'Num a}->'String
+value1 :: {a} -> {_ : 'Eq a} -> {_ : 'Num a}->()
+value2 :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a}->'String
 ------------ tooltips
-testdata/language-features/basic-values/case02.lc 1:1-1:7  {a} -> {b : Eq a} -> {c : Num a}->()
+testdata/language-features/basic-values/case02.lc 1:1-1:7  {a} -> {_ : Eq a} -> {_ : Num a}->()
 testdata/language-features/basic-values/case02.lc 1:10-3:10  ()
 testdata/language-features/basic-values/case02.lc 1:15-1:16  V1
 testdata/language-features/basic-values/case02.lc 2:8-2:10  ()
 testdata/language-features/basic-values/case02.lc 2:8-3:10  Bool->()
 testdata/language-features/basic-values/case02.lc 3:8-3:10  ()
-testdata/language-features/basic-values/case02.lc 5:1-5:7  {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a}->String
+testdata/language-features/basic-values/case02.lc 5:1-5:7  {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a}->String
 testdata/language-features/basic-values/case02.lc 5:10-8:11  String
 testdata/language-features/basic-values/case02.lc 5:15-5:16  V1
 testdata/language-features/basic-values/case02.lc 6:8-6:11  String
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out
index 10a9f633..c21097aa 100644
--- a/testdata/language-features/basic-values/case05.out
+++ b/testdata/language-features/basic-values/case05.out
@@ -1,8 +1,8 @@
 main is not found
 ------------ trace
-value :: {a} -> {b : 'Eq a} -> {c : 'Num a} -> a->'Char
+value :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char
 ------------ tooltips
-testdata/language-features/basic-values/case05.lc 1:1-1:6  {a} -> {b : Eq a} -> {c : Num a} -> a->Char
+testdata/language-features/basic-values/case05.lc 1:1-1:6  {a} -> {_ : Eq a} -> {_ : Num a} -> a->Char
 testdata/language-features/basic-values/case05.lc 1:11-2:11  Char
 testdata/language-features/basic-values/case05.lc 1:16-1:17  V4
 testdata/language-features/basic-values/case05.lc 2:8-2:11  Char
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out
index 5c2857a0..3a878653 100644
--- a/testdata/language-features/basic-values/case06.out
+++ b/testdata/language-features/basic-values/case06.out
@@ -1,8 +1,8 @@
 main is not found
 ------------ trace
-value :: {a} -> {b : 'Eq a} -> {c : 'Num a} -> a->'Char
+value :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char
 ------------ tooltips
-testdata/language-features/basic-values/case06.lc 1:1-1:6  {a} -> {b : Eq a} -> {c : Num a} -> a->Char
+testdata/language-features/basic-values/case06.lc 1:1-1:6  {a} -> {_ : Eq a} -> {_ : Num a} -> a->Char
 testdata/language-features/basic-values/case06.lc 1:11-3:11  Char
 testdata/language-features/basic-values/case06.lc 1:16-1:17  V4
 testdata/language-features/basic-values/case06.lc 2:8-2:11  Char
diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out
index adc6ff6d..65afa571 100644
--- a/testdata/language-features/basic-values/data01.out
+++ b/testdata/language-features/basic-values/data01.out
@@ -4,20 +4,20 @@ main is not found
 B :: 'A
 C :: 'A
 D :: 'A
-'ACase :: (b : 'A->Type) -> b B -> b C -> b D -> f:'A -> b f
-match'A :: (b : Type->Type) -> b 'A -> d:Type -> b d -> b d
+'ACase :: (a : 'A->Type) -> a B -> a C -> a D -> b:'A -> a b
+match'A :: (a : Type->Type) -> a 'A -> b:Type -> a b -> a b
 'E :: Type
 F :: 'E
 G :: ()->'E
 H :: 'E
-'ECase :: (b : 'E->Type) -> b F -> (d:() -> b (G d)) -> b H -> g:'E -> b g
-match'E :: (b : Type->Type) -> b 'E -> d:Type -> b d -> b d
+'ECase :: (a : 'E->Type) -> a F -> (b:() -> a (G b)) -> a H -> c:'E -> a c
+match'E :: (a : Type->Type) -> a 'E -> b:Type -> a b -> a b
 'D1 :: Type
 C1 :: 'D1
 C2 :: ()->'D1
 C3 :: 'D1
-'D1Case :: (b : 'D1->Type) -> b C1 -> (d:() -> b (C2 d)) -> b C3 -> g:'D1 -> b g
-match'D1 :: (b : Type->Type) -> b 'D1 -> d:Type -> b d -> b d
+'D1Case :: (a : 'D1->Type) -> a C1 -> (b:() -> a (C2 b)) -> a C3 -> c:'D1 -> a c
+match'D1 :: (a : Type->Type) -> a 'D1 -> b:Type -> a b -> a b
 ------------ tooltips
 testdata/language-features/basic-values/data01.lc 1:6-1:7  Type
 testdata/language-features/basic-values/data01.lc 1:6-1:13  Type
diff --git a/testdata/language-features/basic-values/def01.out b/testdata/language-features/basic-values/def01.out
index 72466eb4..89a11da3 100644
--- a/testdata/language-features/basic-values/def01.out
+++ b/testdata/language-features/basic-values/def01.out
@@ -1,12 +1,12 @@
 main is not found
 ------------ trace
 unit :: ()
-fun1 :: {a} -> {b} -> {c : 'Num b} -> a->b
+fun1 :: {a} -> {b} -> {_ : 'Num b} -> a->b
 fun2 :: {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->'Char
 ------------ tooltips
 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:1-3:5  {a} -> {b} -> {_ : 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/def03.out b/testdata/language-features/basic-values/def03.out
index 6e9324e7..ad9a38d6 100644
--- a/testdata/language-features/basic-values/def03.out
+++ b/testdata/language-features/basic-values/def03.out
@@ -1,8 +1,8 @@
 main is not found
 ------------ trace
-fun :: {a} -> {b : 'Eq a} -> {c : 'Num a} -> {d : 'Eq a} -> {e : 'Num a} -> a->'Char
+fun :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char
 ------------ tooltips
-testdata/language-features/basic-values/def03.lc 1:1-1:4  {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char
+testdata/language-features/basic-values/def03.lc 1:1-1:4  {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char
 testdata/language-features/basic-values/def03.lc 1:9-1:12  Char
 testdata/language-features/basic-values/def03.lc 1:9-2:12  Bool->Char
 testdata/language-features/basic-values/def03.lc 2:9-2:12  Char
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out
index 8a9dacfe..b2977f8e 100644
--- a/testdata/language-features/basic-values/def04.out
+++ b/testdata/language-features/basic-values/def04.out
@@ -1,15 +1,15 @@
 main is not found
 ------------ trace
-fun :: {a} -> {b : 'Eq a} -> {c : 'Num a} -> {d : 'Eq a} -> {e : 'Num a} -> a->'Char
-fun2 :: {a} -> {b} -> {c : 'Eq a} -> {d : 'Num a} -> {e : 'Eq a} -> {f : 'Num a} -> a -> b->'Char
+fun :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char
+fun2 :: {a} -> {b} -> {_ : 'Eq a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a -> b->'Char
 ------------ tooltips
-testdata/language-features/basic-values/def04.lc 1:1-1:4  {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char
+testdata/language-features/basic-values/def04.lc 1:1-1:4  {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char
 testdata/language-features/basic-values/def04.lc 1:9-1:12  Char
 testdata/language-features/basic-values/def04.lc 1:9-3:12  Bool->Char
 testdata/language-features/basic-values/def04.lc 2:9-2:12  Char
 testdata/language-features/basic-values/def04.lc 2:9-3:12  Bool->Char | Char
 testdata/language-features/basic-values/def04.lc 3:9-3:12  Char
-testdata/language-features/basic-values/def04.lc 5:1-5:5  {a} -> {b} -> {c : Eq a} -> {d : Num a} -> {e : Eq a} -> {f : Num a} -> a -> b->Char
+testdata/language-features/basic-values/def04.lc 5:1-5:5  {a} -> {b} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a -> b->Char
 testdata/language-features/basic-values/def04.lc 5:12-5:15  Char
 testdata/language-features/basic-values/def04.lc 5:12-7:15  Bool->Char
 testdata/language-features/basic-values/def04.lc 6:12-6:15  Char
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out
index 45707e79..16a8195b 100644
--- a/testdata/language-features/basic-values/def07.reject.out
+++ b/testdata/language-features/basic-values/def07.reject.out
@@ -5,8 +5,8 @@ fun _ = '_'
 fun 1 = '1'
 ^^^
 ------------ trace
-fun :: {a} -> {b : 'Eq a} -> {c : 'Num a} -> {d : 'Eq a} -> {e : 'Num a} -> a->'Char
-fun2 :: {a} -> {b} -> {c : 'Eq a} -> {d : 'Num a} -> a -> b->'Char
+fun :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char
+fun2 :: {a} -> {b} -> {_ : 'Eq a} -> {_ : 'Num a} -> a -> b->'Char
 fun :: {a} -> a->'Char
 !already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
 fun _ = '_'
@@ -15,11 +15,11 @@ fun _ = '_'
 fun 1 = '1'
 ^^^
 ------------ tooltips
-testdata/language-features/basic-values/def07.reject.lc 1:1-1:4  {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char
+testdata/language-features/basic-values/def07.reject.lc 1:1-1:4  {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char
 testdata/language-features/basic-values/def07.reject.lc 1:9-1:12  Char
 testdata/language-features/basic-values/def07.reject.lc 1:9-2:12  Bool->Char
 testdata/language-features/basic-values/def07.reject.lc 2:9-2:12  Char
-testdata/language-features/basic-values/def07.reject.lc 3:1-3:5  {a} -> {b} -> {c : Eq a} -> {d : Num a} -> a -> b->Char
+testdata/language-features/basic-values/def07.reject.lc 3:1-3:5  {a} -> {b} -> {_ : Eq a} -> {_ : Num a} -> a -> b->Char
 testdata/language-features/basic-values/def07.reject.lc 3:12-3:15  Char
 testdata/language-features/basic-values/def07.reject.lc 4:1-4:4  {a} -> a->Char
 testdata/language-features/basic-values/def07.reject.lc 4:9-4:12  Char
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out
index c5db1959..e30cedb5 100644
--- a/testdata/language-features/basic-values/infix03.out
+++ b/testdata/language-features/basic-values/infix03.out
@@ -3,8 +3,8 @@ main is not found
 'D :: Type
 D2 :: () -> ()->'D
 D3 :: () -> () -> ()->'D
-'DCase :: (b : 'D->Type) -> (c:() -> d:() -> b (D2 c d)) -> (f:() -> g:() -> h:() -> b (D3 f g h)) -> j:'D -> b j
-match'D :: (b : Type->Type) -> b 'D -> d:Type -> b d -> b d
+'DCase :: (a : 'D->Type) -> (b:() -> c:() -> a (D2 b c)) -> (d:() -> e:() -> f:() -> a (D3 d e f)) -> g:'D -> a g
+match'D :: (a : Type->Type) -> a 'D -> b:Type -> a b -> a b
 d2 :: () -> ()->'D
 d3 :: () -> () -> ()->'D
 ------------ tooltips
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out
index cb18e787..dcee8381 100644
--- a/testdata/language-features/basic-values/let01.out
+++ b/testdata/language-features/basic-values/let01.out
@@ -1,25 +1,25 @@
 main is not found
 ------------ trace
-value1 :: {a} -> {b : 'Num a}->a
-value2 :: {a} -> {b : 'Num a}->a
-value3 :: {a} -> {b : 'Num a}->a
-value4 :: {a} -> {b : 'Num a}->a
-value5 :: {a} -> {b : 'Num a}->a
+value1 :: {a} -> {_ : 'Num a}->a
+value2 :: {a} -> {_ : 'Num a}->a
+value3 :: {a} -> {_ : 'Num a}->a
+value4 :: {a} -> {_ : 'Num a}->a
+value5 :: {a} -> {_ : '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:1-1:7  {a} -> {_ : 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 3:1-3:7  {a} -> {_ : 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 7:1-7:7  {a} -> {_ : 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:1-12:7  {a} -> {_ : 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:1-15:7  {a} -> {_ : 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/literal01.out b/testdata/language-features/basic-values/literal01.out
index 4d1bb07e..464eb78f 100644
--- a/testdata/language-features/basic-values/literal01.out
+++ b/testdata/language-features/basic-values/literal01.out
@@ -1,19 +1,19 @@
 main is not found
 ------------ trace
-intValue1 :: {a} -> {b : 'Num a}->a
-intValue2 :: {a} -> {b : 'Num a}->a
-intValue3 :: {a} -> {b : 'Num a}->a
+intValue1 :: {a} -> {_ : 'Num a}->a
+intValue2 :: {a} -> {_ : 'Num a}->a
+intValue3 :: {a} -> {_ : 'Num a}->a
 floatValue1 :: 'Float
 floatValue2 :: 'Float
 charValue :: 'Char
 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:1-1:10  {a} -> {_ : 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:1-2:10  {a} -> {_ : 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:1-3:10  {a} -> {_ : 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
diff --git a/testdata/language-features/basic-values/shadowing02.out b/testdata/language-features/basic-values/shadowing02.out
index b5315a86..afc25b2a 100644
--- a/testdata/language-features/basic-values/shadowing02.out
+++ b/testdata/language-features/basic-values/shadowing02.out
@@ -1,10 +1,10 @@
 main is not found
 ------------ trace
-c :: {a} -> {b : 'Num a}->a
+c :: {a} -> {_ : 'Num a}->a
 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:1-1:2  {a} -> {_ : 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
@@ -17,7 +17,7 @@ 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
 testdata/language-features/basic-values/shadowing02.lc 12:25-12:29  Float
-testdata/language-features/basic-values/shadowing02.lc 13:25-13:26  {a} -> {b : Num a}->a
+testdata/language-features/basic-values/shadowing02.lc 13:25-13:26  {a} -> {_ : Num a}->a
 testdata/language-features/basic-values/shadowing02.lc 14:20-14:25  String
 testdata/language-features/basic-values/shadowing02.lc 15:14-15:16  ()
 testdata/language-features/basic-values/shadowing02.lc 16:6-16:9  Char
diff --git a/testdata/language-features/basic-values/tuple02.out b/testdata/language-features/basic-values/tuple02.out
index 6ce0be37..8e1d6bab 100644
--- a/testdata/language-features/basic-values/tuple02.out
+++ b/testdata/language-features/basic-values/tuple02.out
@@ -1,10 +1,10 @@
 main is not found
 ------------ trace
-tuple1 :: {a} -> {b : 'Num a}->(a, 'Float, 'Char, 'String, ())
+tuple1 :: {a} -> {_ : 'Num a}->(a, 'Float, 'Char, 'String, ())
 tuple2 :: ((), ())
 tuple3 :: (('String, 'Char), ())
 ------------ tooltips
-testdata/language-features/basic-values/tuple02.lc 1:1-1:7  {a} -> {b : Num a}->(a, Float, Char, String, ())
+testdata/language-features/basic-values/tuple02.lc 1:1-1:7  {a} -> {_ : Num a}->(a, Float, Char, String, ())
 testdata/language-features/basic-values/tuple02.lc 1:10-1:33  (V1, Float, Char, String, ())
 testdata/language-features/basic-values/tuple02.lc 1:11-1:12  V1
 testdata/language-features/basic-values/tuple02.lc 1:13-1:16  Float
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out
index 76a46ae9..b730c962 100644
--- a/testdata/language-features/basic-values/where05.out
+++ b/testdata/language-features/basic-values/where05.out
@@ -1,32 +1,32 @@
 main is not found
 ------------ trace
-value1 :: {a} -> {b : 'Eq a} -> {c : 'Num a}->()
-value2 :: {a} -> {b : 'Eq a} -> {c : 'Num a}->()
-value3 :: {a} -> {b : 'Eq a} -> {c : 'Num a}->()
-value4 :: {a} -> {b : 'Eq a} -> {c : 'Num a}->()
+value1 :: {a} -> {_ : 'Eq a} -> {_ : 'Num a}->()
+value2 :: {a} -> {_ : 'Eq a} -> {_ : 'Num a}->()
+value3 :: {a} -> {_ : 'Eq a} -> {_ : 'Num a}->()
+value4 :: {a} -> {_ : 'Eq a} -> {_ : 'Num a}->()
 ------------ tooltips
-testdata/language-features/basic-values/where05.lc 1:1-1:7  {a} -> {b : Eq a} -> {c : Num a}->()
+testdata/language-features/basic-values/where05.lc 1:1-1:7  {a} -> {_ : Eq a} -> {_ : Num a}->()
 testdata/language-features/basic-values/where05.lc 1:10-3:10  ()
 testdata/language-features/basic-values/where05.lc 1:15-1:16  V1
 testdata/language-features/basic-values/where05.lc 2:8-2:9  ()
 testdata/language-features/basic-values/where05.lc 2:8-3:10  Bool->()
 testdata/language-features/basic-values/where05.lc 2:20-2:22  ()
 testdata/language-features/basic-values/where05.lc 3:8-3:10  ()
-testdata/language-features/basic-values/where05.lc 5:1-5:7  {a} -> {b : Eq a} -> {c : Num a}->()
+testdata/language-features/basic-values/where05.lc 5:1-5:7  {a} -> {_ : Eq a} -> {_ : Num a}->()
 testdata/language-features/basic-values/where05.lc 5:10-8:10  ()
 testdata/language-features/basic-values/where05.lc 5:15-5:16  V1
 testdata/language-features/basic-values/where05.lc 6:8-6:9  ()
 testdata/language-features/basic-values/where05.lc 6:8-8:10  Bool->()
 testdata/language-features/basic-values/where05.lc 7:14-7:16  ()
 testdata/language-features/basic-values/where05.lc 8:8-8:10  ()
-testdata/language-features/basic-values/where05.lc 10:1-10:7  {a} -> {b : Eq a} -> {c : Num a}->()
+testdata/language-features/basic-values/where05.lc 10:1-10:7  {a} -> {_ : Eq a} -> {_ : Num a}->()
 testdata/language-features/basic-values/where05.lc 10:10-14:10  ()
 testdata/language-features/basic-values/where05.lc 10:15-10:16  V1
 testdata/language-features/basic-values/where05.lc 11:8-11:9  ()
 testdata/language-features/basic-values/where05.lc 11:8-14:10  Bool->()
 testdata/language-features/basic-values/where05.lc 13:8-13:10  ()
 testdata/language-features/basic-values/where05.lc 14:8-14:10  ()
-testdata/language-features/basic-values/where05.lc 16:1-16:7  {a} -> {b : Eq a} -> {c : Num a}->()
+testdata/language-features/basic-values/where05.lc 16:1-16:7  {a} -> {_ : Eq a} -> {_ : Num a}->()
 testdata/language-features/basic-values/where05.lc 16:10-18:10  ()
 testdata/language-features/basic-values/where05.lc 16:15-16:16  V1
 testdata/language-features/basic-values/where05.lc 17:8-17:9  ()