Rearrange error msgs and add section markers (Trac #11014).
[ghc.git] / testsuite / tests / typecheck / should_fail / T9612.stderr
1
2 T9612.hs:16:9: error:
3     Couldn't match type ‘[(Int, a)]’ with ‘(Int, a)’
4     arising from a functional dependency between:
5       constraint ‘MonadWriter (Int, a) (WriterT [(Int, a)] Identity)’
6         arising from a use of ‘tell’
7       instance ‘MonadWriter w (WriterT w m)’ at T9612.hs:20:10-59
8     In a stmt of a 'do' block: tell (n, x)
9     In the expression:
10       do { tell (n, x);
11            return (1, y) }
12     In an equation for ‘f’:
13         f y (n, x)
14           = do { tell (n, x);
15                  return (1, y) }
16     Relevant bindings include
17       x :: a (bound at T9612.hs:14:8)
18       y :: a (bound at T9612.hs:14:3)
19       f :: a -> (Int, a) -> Writer [(Int, a)] (Int, a)
20         (bound at T9612.hs:14:1)