Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail040.stderr
1
2 tcfail040.hs:19:5: error:
3     Ambiguous type variable ‘a0’ arising from a use of ‘<<’
4     prevents the constraint ‘(ORD a0)’ from being solved.
5     Probable fix: use a type annotation to specify what ‘a0’ should be.
6     These potential instance exist:
7       instance ORD (a -> b) -- Defined at tcfail040.hs:17:10
8     In the first argument of ‘(===)’, namely ‘(<<)’
9     In the expression: (<<) === (<<)
10     In an equation for ‘f’: f = (<<) === (<<)