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