Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T6022.stderr
1 \r
2 T6022.hs:3:1: error:\r
3     Non type-variable argument in the constraint: Eq ([a] -> a)\r
4     (Use FlexibleContexts to permit this)\r
5     When checking that â€˜f’ has the inferred type\r
6       f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool\r