Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail218.stderr
index 7978004..efb6c4c 100644 (file)
@@ -1,10 +1,10 @@
 
-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 ‘a, 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 ‘a’
      To pick the first instance above, use IncoherentInstances
      when compiling the other instance declarations)
     In the expression: foo