Use GHC Name to resolve names of reflect annotations and similar #1170
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"
|