Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail085.stderr
index feb7c6d..6c2e9bd 100644 (file)
@@ -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}