Skip to content

Use GHC Name to resolve names of reflect annotations and similar #1170

Use GHC Name to resolve names of reflect annotations and similar

Use GHC Name to resolve names of reflect annotations and similar #1170

Triggered via pull request November 7, 2024 22:09
Status Failure
Total duration 32s
Artifacts

hlint.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
hlint
HLint failed with status: 1. Suggestion (2)
hlint
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, haskell/actions/hlint-setup@v2, haskell/actions/hlint-run@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
hlint: liquidhaskell-boot/src/Language/Haskell/Liquid/Parse.hs#L1277
Suggestion in hmeasureP in module Language.Haskell.Liquid.Parse: Redundant bracket ▫︎ Found: "do setLayout\n (do b <- try (locBinderP <* reservedOp \"::\")\n ty <- located genBareTypeP\n popLayout >> popLayout\n eqns <- block $ try $ measureDefP (rawBodyP <|> tyBodyP ty)\n return (Meas $ Measure.mkM b ty eqns MsMeasure mempty)\n <|>\n do b <- locBinderLHNameP\n popLayout >> popLayout >> return (HMeas b))" ▫︎ Perhaps: "do setLayout\n do b <- try (locBinderP <* reservedOp \"::\")\n ty <- located genBareTypeP\n popLayout >> popLayout\n eqns <- block $ try $ measureDefP (rawBodyP <|> tyBodyP ty)\n return (Meas $ Measure.mkM b ty eqns MsMeasure mempty)\n <|>\n do b <- locBinderLHNameP\n popLayout >> popLayout >> return (HMeas b)"
hlint: liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Axiom.hs#L286
Suggestion in findVarDefType in module Language.Haskell.Liquid.Bare.Axiom: Redundant where ▫︎ Found: "where"