Allow unconstrained vars when deriving the instances #1185
lsrczAnnotations
1 error and 3 warnings
|
hlint
HLint failed with status: 1. Warning (1), Suggestion (1)
|
|
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/TH/GADT/Common.hs#L396
Warning in extraExtraMergeableConstraint in module Grisette.Internal.TH.GADT.Common: Use notElem ▫︎ Found: "not (position `elem` unconstrainedPositions deriveConfig)" ▫︎ Perhaps: "notElem position (unconstrainedPositions deriveConfig)"
|
|
hlint:
test/Grisette/Core/TH/DerivationData.hs#L124
Suggestion in Skipped in module Grisette.Core.TH.DerivationData: Use newtype instead of data ▫︎ Found: "data Skipped a b c = Skipped b" ▫︎ Perhaps: "newtype Skipped a b c = Skipped b" ▫︎ Note: decreases laziness
|