Tons of error message wibbles
[ghc.git] / testsuite / tests / typecheck / should_compile / FD3.stderr
1
2 FD3.hs:15:15:
3     Couldn't match type `a' with `(String, a)'
4       `a' is a rigid type variable bound by
5           the type signature for translate :: (String, a) -> A a
6           at FD3.hs:14:14
7     Relevant bindings include
8       translate :: (String, a) -> A a (bound at FD3.hs:15:1)
9       a :: (String, a) (bound at FD3.hs:15:11)
10     When using functional dependencies to combine
11       MkA a a,
12         arising from the dependency `a -> b'
13         in the instance declaration at FD3.hs:12:10
14       MkA (String, a) a, arising from a use of `mkA' at FD3.hs:15:15-17
15     In the expression: mkA a
16     In an equation for `translate': translate a = mkA a