0ba65872731bd3b5eb6dbcbb565728cfa69c5c3e
[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     arising from a functional dependency between:
8       constraint ‘MkA (String, a) a’ arising from a use of ‘mkA’
9       instance ‘MkA a1 a1’ at FD3.hs:12:10-16
10     Relevant bindings include
11       a :: (String, a) (bound at FD3.hs:15:11)
12       translate :: (String, a) -> A a (bound at FD3.hs:15:1)
13     In the expression: mkA a
14     In an equation for ‘translate’: translate a = mkA a