Skip to content
HLint

Provide better patterns for term analysis #1235

Sign in to view logs

Provide better patterns for term analysis

Provide better patterns for term analysis #1235

Triggered via pull request January 7, 2025 18:31
@lsrczlsrcz
opened #280
better-term-patterns
Status Failure
Total duration 57s
Artifacts –

hlint.yml

on: pull_request
hlint
46s
hlint
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
hlint
HLint failed with status: 1. Warning (2)
hlint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
hlint: src/Grisette/Internal/SymPrim/Prim/TermUtils.hs#L172
Warning in termsSize in module Grisette.Internal.SymPrim.Prim.TermUtils: Avoid lambda ▫︎ Found: "(\\ x -> someTerm x)" ▫︎ Perhaps: "someTerm"
hlint: src/Grisette/Internal/SymPrim/Prim/Internal/Instances/PEvalBitCastTerm.hs#L86
Warning in pevalBitCastOr in module Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalBitCastTerm: Eta reduce ▫︎ Found: "pevalBitCastOr d@SupportedTerm a\n = binaryUnfoldOnce doPevalBitCastOr bitCastOrTerm d a" ▫︎ Perhaps: "pevalBitCastOr d@SupportedTerm\n = binaryUnfoldOnce doPevalBitCastOr bitCastOrTerm d"