From da5d2a5be1bbac23ddfada4cb19986f6e69b615b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= Date: Thu, 12 Dec 2024 19:36:09 +0000 Subject: [PATCH] Please hlint --- .../src/Language/Haskell/Liquid/LHNameResolution.hs | 4 ++-- liquidhaskell-boot/src/Language/Haskell/Liquid/WiredIn.hs | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/LHNameResolution.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/LHNameResolution.hs index 2aa457b9c..96bec9bdf 100644 --- 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 index 9c3834ee8..5089ddbf9 100644 --- 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