Please hlint

ucsd-progsys · Dec 12, 2024 · da5d2a5 · da5d2a5
1 parent e5101da
commit da5d2a5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/LHNameResolution.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/LHNameResolution.hs
@@ -659,8 +659,8 @@ resolveLogicNames cfg env globalRdrEnv unhandledNames lmap0 localVars lnameEnv p
            in return $ makeLogicLHName s (GHC.nameModule dcName) (Just dcName)
       where
         unqualifiedS = LH.dropModuleNames s
-        nilDataConName = GHC.getName $ GHC.dataConWorkId $ GHC.nilDataCon
-        consDataConName = GHC.getName $ GHC.dataConWorkId $ GHC.consDataCon
+        nilDataConName = GHC.getName $ GHC.dataConWorkId GHC.nilDataCon
+        consDataConName = GHC.getName $ GHC.dataConWorkId GHC.consDataCon
         tupleDataConName = GHC.getName . GHC.dataConWorkId . GHC.tupleDataCon GHC.Boxed
         s = val ls
         isTupleDC t

diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/WiredIn.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/WiredIn.hs
@@ -189,7 +189,7 @@ listTyDataCons   = ( [TyConP l0 c [RTV tyv] [p] [Covariant] [Covariant] (Just fs
       lt         = rApp c [xt] [rPropP [] $ pdVarReft p] mempty
       xt         = rVar tyv
       xst        = rApp c [RVar (RTV tyv) px] [rPropP [] $ pdVarReft p] mempty
-      cargs      = map (first makeGeneratedLogicLHName) $ [(xTail, xst), (xHead, xt)]
+      cargs      = map (first makeGeneratedLogicLHName) [(xTail, xst), (xHead, xt)]
       fsize      = SymSizeFun (dummyLoc "GHC.Types_LHAssumptions.len")
 
 wiredInName :: F.Symbol