Skip to content

Allow local logical aliases (defines) #1250

Allow local logical aliases (defines)

Allow local logical aliases (defines) #1250

Triggered via pull request December 17, 2024 14:08
Status Failure
Total duration 38s
Artifacts

hlint.yml

on: pull_request

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"