Simplify representation of measure names #1231
facundominguezAnnotations
1 error and 3 warnings
|
hlint
HLint failed with status: 1. Suggestion (3)
|
|
hlint:
liquidhaskell-boot/src/Language/Haskell/Liquid/LHNameResolution.hs#L645
Suggestion in resolveLogicNames in module Language.Haskell.Liquid.LHNameResolution: Redundant $ ▫︎ Found: "GHC.dataConWorkId $ GHC.nilDataCon" ▫︎ Perhaps: "GHC.dataConWorkId GHC.nilDataCon"
|
|
hlint:
liquidhaskell-boot/src/Language/Haskell/Liquid/LHNameResolution.hs#L646
Suggestion in resolveLogicNames in module Language.Haskell.Liquid.LHNameResolution: Redundant $ ▫︎ Found: "GHC.dataConWorkId $ GHC.consDataCon" ▫︎ Perhaps: "GHC.dataConWorkId GHC.consDataCon"
|
|
hlint:
liquidhaskell-boot/src/Language/Haskell/Liquid/WiredIn.hs#L192
Suggestion in listTyDataCons in module Language.Haskell.Liquid.WiredIn: Redundant $ ▫︎ Found: "map (first makeGeneratedLogicLHName) $ [(xTail, xst), (xHead, xt)]" ▫︎ Perhaps: "map (first makeGeneratedLogicLHName) [(xTail, xst), (xHead, xt)]"
|