bc3bc066b53213eeabda35401e329280feaa496c
[ghc.git] / testsuite / tests / typecheck / should_fail / T5300.stderr
1
2 T5300.hs:15:9:
3     Ambiguous type variable `c0' in the constraint:
4       (C1 a1 b2 c0) arising from a use of `f1'
5     Probable fix: add a type signature that fixes these type variable(s)
6     In the first argument of `(>>=)', namely `f1 fm'
7     In the expression: f1 fm >>= return . undefined
8     In an equation for `f2': f2 fm = f1 fm >>= return . undefined