Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / T8883.stderr
1
2 T8883.hs:20:1:
3     Non type-variable argument in the constraint: Functor (PF a)
4     (Use FlexibleContexts to permit this)
5     When checking that ‘fold’ has the inferred type
6       fold :: forall a b.
7               (Functor (PF a), Regular a) =>
8               (PF a b -> b) -> a -> b