hlint

ucsd-progsys · Feb 6, 2025 · d5aa806 · d5aa806
1 parent ba83438
commit d5aa806
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Check.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Check.hs
@@ -276,7 +276,7 @@ checkTySigs allowHO bsc cbs emb tcEnv senv sig =
     vSort            = Bare.varSortedReft emb
     errs :: F.SEnv F.SortedReft -> Var -> ElabM Diagnostics
     errs env v       = case M.lookup v locTm of
-                         Nothing -> pure $ emptyDiagnostics
+                         Nothing -> pure emptyDiagnostics
                          Just t  -> check env (v, t)
 
 checkSigTExpr :: Bool -> BScope -> F.TCEmb TyCon -> Bare.TyConMap -> F.SEnv F.SortedReft
@@ -305,7 +305,7 @@ checkSizeFun emb env tys =
                                                        $+$   msg)
                                  (pprint (tcpCon tcp))
 
-    go :: ElabFlags -> TyConP -> (Maybe ((F.Symbol -> F.Expr, TyConP), Doc))
+    go :: ElabFlags -> TyConP -> Maybe ((F.Symbol -> F.Expr, TyConP), Doc)
     go ef tcp = case tcpSizeFun tcp of
                Nothing                   -> Nothing
                Just f | isWiredInLenFn f -> Nothing -- Skip the check.