1 files changed, 14 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_compile/FD3.stderr b/testsuite/tests/typecheck/should_compile/FD3.stderr
index d2364921f6..0ba6587273 100644
--- a/testsuite/tests/typecheck/should_compile/FD3.stderr
+++ b/testsuite/tests/typecheck/should_compile/FD3.stderr
@@ -1,5 +1,14 @@
-
-FD3.hs:15:15:
-    No instance for (MkA (String, a) a) arising from a use of ‘mkA’
-    In the expression: mkA a
-    In an equation for ‘translate’: translate a = mkA a
+
+FD3.hs:15:15:
+    Couldn't match type ‘a’ with ‘(String, a)’
+      ‘a’ is a rigid type variable bound by
+          the type signature for translate :: (String, a) -> A a
+          at FD3.hs:14:14
+    arising from a functional dependency between:
+      constraint ‘MkA (String, a) a’ arising from a use of ‘mkA’
+      instance ‘MkA a1 a1’ at FD3.hs:12:10-16
+    Relevant bindings include
+      a :: (String, a) (bound at FD3.hs:15:11)
+      translate :: (String, a) -> A a (bound at FD3.hs:15:1)
+    In the expression: mkA a
+    In an equation for ‘translate’: translate a = mkA a