Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail218.stderr
index 2afa201..efb6c4c 100644 (file)
@@ -1,11 +1,11 @@
 
-tcfail218.hs:10:5:
-    Overlapping instances for C [a] b arising from a use of ‛foo’
+tcfail218.hs:16:5:
+    Overlapping instances for C [a] Bool arising from a use of ‘foo’
     Matching instances:
-      instance [incoherent] C [a] b -- Defined at tcfail218.hs:5:10
-      instance C [Int] b -- Defined at Tcfail218_Help.hs:7:10
-    (The choice depends on the instantiation of â\80\9ba, b
+      instance C [a] b -- Defined at tcfail218.hs:8:29
+      instance C [Int] Bool -- Defined at tcfail218.hs:7:29
+    (The choice depends on the instantiation of â\80\98a
      To pick the first instance above, use IncoherentInstances
      when compiling the other instance declarations)
     In the expression: foo
-    In an equation for â\80\9bx’: x = foo
+    In an equation for â\80\98x’: x = foo