Provide better patterns for term analysis #1235
Annotations
1 error and 3 warnings
|
Run HLint
HLint failed with status: 1. Warning (2)
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Run 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"
|
|
Run 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"
|
Loading