use less wildcards

8 files changed, 21 insertions, 25 deletions

diff --git a/testdata/language-features/basic-values/case01.out b/testdata/language-features/basic-values/case01.out
index 75dc7af3..8b4334e6 100644
--- a/testdata/language-features/basic-values/case01.out
+++ b/testdata/language-features/basic-values/case01.out
@@ -1,9 +1,9 @@
 ------------ desugared source code
-value1 = _rhs ((\(a :: _) -> hlistNilCase (_ :: _) HNil a) HNil)
-value2 = _rhs ((\(a :: _) -> hlistNilCase (_ :: _) HNil a) HNil)
-value3 = _rhs ((\(a :: _) -> hlistNilCase (_ :: _) HNil a) HNil)
-value4 = _rhs ((\(a :: _) -> hlistNilCase (_ :: _) HNil a) HNil)
-value5 = _rhs ((\(a :: _) -> hlistNilCase (_ :: _) HNil a) HNil)
+value1 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
+value2 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
+value3 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
+value4 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
+value5 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
 value6 = _rhs ((\_ -> HNil) HNil)
 main is not found
 ------------ trace
diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out
index c762c3fe..a5f57070 100644
--- a/testdata/language-features/basic-values/case02.out
+++ b/testdata/language-features/basic-values/case02.out
@@ -1,12 +1,12 @@
 ------------ desugared source code
 value1
   = _rhs
-    ((\(a :: _) -> case'Bool (\_ -> _ :: _) HNil HNil (fromInt 1 == a)) (fromInt 1))
+    ((\(a :: _) -> case'Bool (\_ -> _) HNil HNil (fromInt 1 == a)) (fromInt 1))
 value2
   = _rhs
     ((\(a :: _) -> case'Bool
-        (\_ -> _ :: _)
-        (case'Bool (\_ -> _ :: _) "_" "2" (fromInt 2 == a))
+        (\_ -> _)
+        (case'Bool (\_ -> _) "_" "2" (fromInt 2 == a))
         "1"
         (fromInt 1 == a))
       (fromInt 2))
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out
index 5021dfc3..e099d30d 100644
--- a/testdata/language-features/basic-values/case05.out
+++ b/testdata/language-features/basic-values/case05.out
@@ -1,7 +1,7 @@
 ------------ desugared source code
 value
   = \(a :: _) -> _rhs
-    ((\(b :: _) -> case'Bool (\_ -> _ :: _) undefined '1' (fromInt 1 == b)) a)
+    ((\(b :: _) -> case'Bool (\_ -> _) undefined '1' (fromInt 1 == b)) a)
 main is not found
 ------------ trace
 value :: forall a . (Eq a, Num a) => a -> Char
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out
index ca1b9d5e..aaeff605 100644
--- a/testdata/language-features/basic-values/case06.out
+++ b/testdata/language-features/basic-values/case06.out
@@ -1,7 +1,7 @@
 ------------ desugared source code
 value
   = \(a :: _) -> _rhs
-    ((\(b :: _) -> case'Bool (\_ -> _ :: _) '_' '1' (fromInt 1 == b)) a)
+    ((\(b :: _) -> case'Bool (\_ -> _) '_' '1' (fromInt 1 == b)) a)
 main is not found
 ------------ trace
 value :: forall a . (Eq a, Num a) => a -> Char
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out
index 726a2061..ceb6a8e1 100644
--- a/testdata/language-features/basic-values/def03.out
+++ b/testdata/language-features/basic-values/def03.out
@@ -1,8 +1,8 @@
 ------------ desugared source code
 fun
   = \(a :: _) -> case'Bool
-    (\_ -> _ :: _)
-    (case'Bool (\_ -> _ :: _) (_rhs undefined) (_rhs '2') (fromInt 2 == a))
+    (\_ -> _)
+    (case'Bool (\_ -> _) (_rhs undefined) (_rhs '2') (fromInt 2 == a))
     (_rhs '1')
     (fromInt 1 == a)
 main is not found
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out
index 18c66ed9..e52f9d64 100644
--- a/testdata/language-features/basic-values/def04.out
+++ b/testdata/language-features/basic-values/def04.out
@@ -1,14 +1,14 @@
 ------------ desugared source code
 fun
   = \(a :: _) -> case'Bool
-    (\_ -> _ :: _)
-    (case'Bool (\_ -> _ :: _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
+    (\_ -> _)
+    (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
     (_rhs '1')
     (fromInt 1 == a)
 fun2
   = \(a :: _) _ -> case'Bool
-    (\_ -> _ :: _)
-    (case'Bool (\_ -> _ :: _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
+    (\_ -> _)
+    (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
     (_rhs '1')
     (fromInt 1 == a)
 main is not found
diff --git a/testdata/language-features/basic-values/typesyn02.out b/testdata/language-features/basic-values/typesyn02.out
index 8f8e7892..44bc99c8 100644
--- a/testdata/language-features/basic-values/typesyn02.out
+++ b/testdata/language-features/basic-values/typesyn02.out
@@ -1,7 +1,7 @@
 ------------ desugared source code
 'MyUnit = _rhs ('HList [])
 fun
-  = (\_ (a :: _) -> hlistNilCase (_ :: _) (_rhs HNil) a)
+  = (\_ (a :: _) -> hlistNilCase _ (_rhs HNil) a)
     :: forall (b :: _) . b -> MyUnit -> MyUnit
 main is not found
 ------------ trace
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out
index d11a4dbc..8c082555 100644
--- a/testdata/language-features/basic-values/where05.out
+++ b/testdata/language-features/basic-values/where05.out
@@ -2,7 +2,7 @@
 value1
   = _rhs
     ((\(a :: _) -> case'Bool
-        (\_ -> _ :: _)
+        (\_ -> _)
         HNil
         (\(b := _rhs HNil) -> b)
         (fromInt 1 == a))
@@ -10,7 +10,7 @@ value1
 value2
   = _rhs
     ((\(a :: _) -> case'Bool
-        (\_ -> _ :: _)
+        (\_ -> _)
         HNil
         (\(b := _rhs HNil) -> b)
         (fromInt 1 == a))
@@ -18,18 +18,14 @@ value2
 value3
   = _rhs
     ((\(a :: _) -> case'Bool
-        (\_ -> _ :: _)
+        (\_ -> _)
         HNil
         (\(b := _rhs HNil) -> b)
         (fromInt 1 == a))
       (fromInt 1))
 value4
   = _rhs
-    \(a := _rhs HNil) -> (\(b :: _) -> case'Bool
-        (\_ -> _ :: _)
-        HNil
-        a
-        (fromInt 1 == b))
+    \(a := _rhs HNil) -> (\(b :: _) -> case'Bool (\_ -> _) HNil a (fromInt 1 == b))
       (fromInt 1)
 main is not found
 ------------ trace