somefunc
:: forall m
. ( Constraint1
-- retained
, Constraint2
-- lost
)
-- lost
=> SomeType
-- retained
Both of the "lost" comments are unprocessed. The "retained" ones are fine. In both cases, removing any or all of the other comments doesn't make a difference, but removing the forall m . allows them to be processed. For the first one only, removing , Constraint2 allows it to be processed.
Both of the "lost" comments are unprocessed. The "retained" ones are fine. In both cases, removing any or all of the other comments doesn't make a difference, but removing the
forall m .
allows them to be processed. For the first one only, removing, Constraint2
allows it to be processed.Tested with current master and ghc 8.6 on https://hexagoxel.de/brittany/.