use less wildcards

1 files changed, 27 insertions, 30 deletions

diff --git a/testdata/performance/Material.out b/testdata/performance/Material.out
index 76e3c20c..ea52e563 100644
--- a/testdata/performance/Material.out
+++ b/testdata/performance/Material.out
@@ -5,14 +5,11 @@ data Entity :: Type where
       :: Vec (fromInt 4) Float
         -> Vec (fromInt 4) Float
           -> Vec (fromInt 3) Float -> Vec (fromInt 4) Float -> Entity
-eAmbientLight
-  = \(a :: _) -> case'Entity (\_ -> _ :: _) (\(b :: _) _ _ _ -> _rhs b) a
+eAmbientLight = \(a :: _) -> case'Entity (\_ -> _) (\(b :: _) _ _ _ -> _rhs b) a
 eDirectedLight
-  = \(a :: _) -> case'Entity (\_ -> _ :: _) (\_ (b :: _) _ _ -> _rhs b) a
-eLightDir
-  = \(a :: _) -> case'Entity (\_ -> _ :: _) (\_ _ (b :: _) _ -> _rhs b) a
-eShaderRGBA
-  = \(a :: _) -> case'Entity (\_ -> _ :: _) (\_ _ _ (b :: _) -> _rhs b) a
+  = \(a :: _) -> case'Entity (\_ -> _) (\_ (b :: _) _ _ -> _rhs b) a
+eLightDir = \(a :: _) -> case'Entity (\_ -> _) (\_ _ (b :: _) _ -> _rhs b) a
+eShaderRGBA = \(a :: _) -> case'Entity (\_ -> _) (\_ _ _ (b :: _) -> _rhs b) a
 data WaveType :: Type where
     WT_Sin :: WaveType
     WT_Triangle :: WaveType
@@ -114,57 +111,57 @@ data StageAttrs :: Type where
                   -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs
 saBlend
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\(b :: _) _ _ _ _ _ _ _ _ _ _ -> _rhs b)
     a
 saRGBGen
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ (b :: _) _ _ _ _ _ _ _ _ _ -> _rhs b)
     a
 saAlphaGen
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ (b :: _) _ _ _ _ _ _ _ _ -> _rhs b)
     a
 saTCGen
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ (b :: _) _ _ _ _ _ _ _ -> _rhs b)
     a
 saTCMod
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ (b :: _) _ _ _ _ _ _ -> _rhs b)
     a
 saTexture
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ (b :: _) _ _ _ _ _ -> _rhs b)
     a
 saDepthWrite
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ (b :: _) _ _ _ _ -> _rhs b)
     a
 saDepthFunc
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ _ (b :: _) _ _ _ -> _rhs b)
     a
 saAlphaFunc
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ _ _ (b :: _) _ _ -> _rhs b)
     a
 saDepthMaskExplicit
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ _ _ _ (b :: _) _ -> _rhs b)
     a
 saTextureUniform
   = \(a :: _) -> case'StageAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ _ _ _ _ (b :: _) -> _rhs b)
     a
 defaultStageAttrs
@@ -193,62 +190,62 @@ data CommonAttrs :: Type where
                   -> CullType -> [Deform] -> Bool -> Bool -> [StageAttrs] -> Bool -> CommonAttrs
 caSkyParms
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\(b :: _) _ _ _ _ _ _ _ _ _ _ _ -> _rhs b)
     a
 caFogParms
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ (b :: _) _ _ _ _ _ _ _ _ _ _ -> _rhs b)
     a
 caPortal
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ (b :: _) _ _ _ _ _ _ _ _ _ -> _rhs b)
     a
 caSort
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ (b :: _) _ _ _ _ _ _ _ _ -> _rhs b)
     a
 caEntityMergable
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ (b :: _) _ _ _ _ _ _ _ -> _rhs b)
     a
 caFogOnly
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ (b :: _) _ _ _ _ _ _ -> _rhs b)
     a
 caCull
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ (b :: _) _ _ _ _ _ -> _rhs b)
     a
 caDeformVertexes
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ _ (b :: _) _ _ _ _ -> _rhs b)
     a
 caNoMipMaps
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ _ _ (b :: _) _ _ _ -> _rhs b)
     a
 caPolygonOffset
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ _ _ _ (b :: _) _ _ -> _rhs b)
     a
 caStages
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ _ _ _ _ (b :: _) _ -> _rhs b)
     a
 caIsSky
   = \(a :: _) -> case'CommonAttrs
-    (\_ -> _ :: _)
+    (\_ -> _)
     (\_ _ _ _ _ _ _ _ _ _ _ (b :: _) -> _rhs b)
     a
 defaultCommonAttrs