9c0a11c36ca71c6040e3e3b7983193635b6960cc
[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