Please hlint

ucsd-progsys · Nov 7, 2024 · 4db50bd · 4db50bd
1 parent 925f8b7
commit 4db50bd
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 7 deletions.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Axiom.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Axiom.hs
@@ -283,7 +283,6 @@ findVarDefType cbs sigs env _defs (Left x) =
           [ "Symbol exists but is not defined in the current file,"
           , "and no unfolding is available in the interface files"
           ]
-  where
 
 findVarDefType _cbs sigs _env defs (Right x) = do
     var <- M.lookup x defs

diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Parse.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Parse.hs
@@ -1274,14 +1274,14 @@ rtAliasP f bodyP
 hmeasureP :: Parser BPspec
 hmeasureP = do
   setLayout
-  (do b <- try (locBinderP <* reservedOp "::")
-      ty <- located genBareTypeP
-      popLayout >> popLayout
-      eqns <- block $ try $ measureDefP (rawBodyP <|> tyBodyP ty)
-      return (Meas $ Measure.mkM b ty eqns MsMeasure mempty)
+  do b <- try (locBinderP <* reservedOp "::")
+     ty <- located genBareTypeP
+     popLayout >> popLayout
+     eqns <- block $ try $ measureDefP (rawBodyP <|> tyBodyP ty)
+     return (Meas $ Measure.mkM b ty eqns MsMeasure mempty)
     <|>
    do b <- locBinderLHNameP
-      popLayout >> popLayout >> return (HMeas b))
+      popLayout >> popLayout >> return (HMeas b)
 
 measureP :: Parser (Measure (Located BareType) LocSymbol)
 measureP = do