Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / T8142.stderr
1
2 T8142.hs:6:57:
3     Couldn't match type ‘Nu ((,) t0)’ with ‘g0 (Nu ((,) t0))’
4     The type variables ‘t0’, ‘g0’ are ambiguous
5     Expected type: Nu ((,) t0) -> (t0, g0 (Nu ((,) t0)))
6       Actual type: Nu ((,) t0) -> (t0, Nu ((,) t0))
7     Relevant bindings include
8       h :: Nu ((,) t0) -> Nu g0 (bound at T8142.hs:6:18)
9     In the second argument of ‘(.)’, namely ‘out’
10     In the expression: (\ (_, b) -> ((outI . fmap h) b)) . out