Comply with HLint

SophieBosio · Jan 15, 2024 · adbdd9a · adbdd9a
1 parent 0bfcce5
commit adbdd9a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Syntax.hs b/src/Syntax.hs
@@ -91,7 +91,7 @@ strengthenToPattern t           = error $
   "expected pattern, but was given the non-canonical term " ++ show t
 
 weakenToTerm :: Pattern a -> Term a
-weakenToTerm p = (Pattern p)
+weakenToTerm = Pattern
 
 
 -- Pretty printing

diff --git a/src/TypeInferrer.hs b/src/TypeInferrer.hs
@@ -128,7 +128,7 @@ annotate (Not t0 _) =
      t0' `hasType` Boolean'
      return $ Not t0' Boolean'
 
-annotate' :: (Pattern a) -> Annotation (Term Type)
+annotate' :: Pattern a -> Annotation (Term Type)
 annotate' (Variable  x _) =
   do env <- ask
      return $ Pattern $ Variable x $ env x