Lots of error message wibbling, following the
[ghc.git] / testsuite / tests / typecheck / should_fail / T5300.stderr
1
2 T5300.hs:15:9:
3     Could not deduce (C1 a1 b2 c0) arising from a use of `f1'
4     from the context (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)
5       bound by the type signature for
6                  f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
7                        a1 -> StateT (T b2) m a2
8       at T5300.hs:15:1-36
9     The type variable `c0' is ambiguous
10     Possible fix: add a type signature that fixes these type variable(s)
11     In the first argument of `(>>=)', namely `f1 fm'
12     In the expression: f1 fm >>= return . undefined
13     In an equation for `f2': f2 fm = f1 fm >>= return . undefined