Take account of injectivity when doing fundeps

[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail085.stderr

diff --git a/testsuite/tests/typecheck/should_fail/tcfail085.stderr b/testsuite/tests/typecheck/should_fail/tcfail085.stderr
index feb7c6d..6c2e9bd 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/tcfail085.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail085.stderr
@@ -1,5 +1,5 @@
 
 tcfail085.hs:9:5:
-    Constructor â\80\9bF’ does not have the required strict field(s): y
+    Constructor â\80\98F’ does not have the required strict field(s): y
     In the expression: F {x = 2}
-    In an equation for â\80\9bz’: z = F {x = 2}
+    In an equation for â\80\98z’: z = F {x = 2}