Mass eta reduction

Lamagraph · Oct 14, 2024 · b05c74f · b05c74f
1 parent 10329f1
commit b05c74f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/lamagraph-compiler/src/Lamagraph/Compiler/Parser/SrcLoc.hs b/lamagraph-compiler/src/Lamagraph/Compiler/Parser/SrcLoc.hs
@@ -90,7 +90,7 @@ mkSrcLoc :: Text -> Int -> Int -> SrcLoc
 mkSrcLoc file line column = RealSrcLoc (mkRealSrcLoc file line column)
 
 mkRealSrcLoc :: Text -> Int -> Int -> RealSrcLoc
-mkRealSrcLoc file line column = RealSrcLoc' file line column
+mkRealSrcLoc = RealSrcLoc'
 
 generatedSrcLoc :: SrcLoc
 generatedSrcLoc = UnhelpfulLoc "<compiler-generated code>"
@@ -179,7 +179,7 @@ type Located = GenLocated SrcSpan
 type RealLocated = GenLocated RealSrcSpan
 
 mkBadLocated :: Text -> e -> Located e
-mkBadLocated str e = L (mkBadSrcSpan str) e
+mkBadLocated str = L (mkBadSrcSpan str)
 
 combineLocs :: Located a -> Located b -> SrcSpan
 combineLocs (L loc1 _) (L loc2 _) = combineSrcSpans loc1 loc2

diff --git a/lamagraph-compiler/src/Lamagraph/Compiler/Syntax/Longident.hs b/lamagraph-compiler/src/Lamagraph/Compiler/Syntax/Longident.hs
@@ -12,6 +12,6 @@ newtype Longident = Longident (NonEmpty Text)
   deriving (Show)
 
 mkLongident :: NonEmpty Text -> Longident
-mkLongident s = Longident s
+mkLongident = Longident
 
 type LLongident pass = XLocated pass Longident
diff --git a/lamagraph-compiler/src/Lamagraph/Compiler/Syntax/Type.hs b/lamagraph-compiler/src/Lamagraph/Compiler/Syntax/Type.hs
@@ -29,7 +29,7 @@ data LmlType pass
     -- - @/typeconstr/@ when @types = []@
     -- - @/typexpr/ /typeconstr/@ when @types = [type]@
     -- - @( /typexpr/ { , /typexpr/ } ) /typeconstr/@ when @types = [type1, ..., typen]@
-    LmlTyConstr (XLmlTyConstr pass) (LLongident pass) [(LLmlType pass)]
+    LmlTyConstr (XLmlTyConstr pass) (LLongident pass) [LLmlType pass]
   | XLmlType !(XXType pass)
 
 type ForallLmlType (tc :: Type -> Constraint) pass =