Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T3406.stderr
index 40779d4..4525bba 100644 (file)
@@ -1,10 +1,10 @@
 
 T3406.hs:11:6:
-    The type variables â\80\9ba, b’
-    should be bound by the pattern signature â\80\9bItemColID a b’
+    The type variables â\80\98a, b’
+    should be bound by the pattern signature â\80\98ItemColID a b’
     but are actually discarded by a type synonym
     To fix this, expand the type synonym
     [Note: I hope to lift this restriction in due course]
     In the pattern: x :: ItemColID a b
-    In an equation for â\80\9bget’:
+    In an equation for â\80\98get’:
         get (x :: ItemColID a b) = x :: ItemColID a b