d7ac728b6cfab8ec50f74c0ffc3a48c321326651
[ghc.git] / testsuite / tests / typecheck / should_compile / FD3.stderr
1
2 FD3.hs:15:15: error:
3     • Couldn't match type ‘a’ with ‘(String, a)’
4         arising from a functional dependency between:
5           constraint ‘MkA (String, a) a’ arising from a use of ‘mkA’
6           instance ‘MkA a1 a1’ at FD3.hs:12:10-16
7       ‘a’ is a rigid type variable bound by
8         the type signature for:
9           translate :: forall a. (String, a) -> A a
10         at FD3.hs:14:1-31
11     • In the expression: mkA a
12       In an equation for ‘translate’: translate a = mkA a
13     • Relevant bindings include
14         a :: (String, a) (bound at FD3.hs:15:11)
15         translate :: (String, a) -> A a (bound at FD3.hs:15:1)