From 4db50bd49f9bcb9e7b84539ca301b79b17fab40f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= <facundo.dominguez@tweag.io>
Date: Thu, 7 Nov 2024 22:12:25 +0000
Subject: [PATCH] Please hlint

---
 .../src/Language/Haskell/Liquid/Bare/Axiom.hs        |  1 -
 .../src/Language/Haskell/Liquid/Parse.hs             | 12 ++++++------
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Axiom.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Axiom.hs
index abcfa2810..0a50afcb6 100644
--- 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
index dd25f7b29..b1c25c03b 100644
--- 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