Allow local logical aliases (defines) #1250
Annotations
1 error and 1 warning
hlint
HLint failed with status: 1. Suggestion (1)
|
hlint:
liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs#L282
Suggestion in toLMapV in module Language.Haskell.Liquid.Types.Types: Redundant $ ▫︎ Found: "F.val $ x" ▫︎ Perhaps: "F.val x"
|