Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail041.stderr
index bfa9de5..75cd754 100644 (file)
@@ -1,12 +1,6 @@
 
-tcfail041.hs:9:10:
-    Unbound implicit parameter (?imp::Int)
-      arising from the superclasses of an instance declaration
-    In the instance declaration for `D Int'
-
-tcfail041.hs:10:21:
-    Unbound implicit parameter (?imp::Int)
-      arising from a use of implicit parameter `?imp'
-    In the second argument of `(+)', namely `?imp'
-    In the expression: x + ?imp
-    In an equation for `methodD': methodD x = x + ?imp
+tcfail041.hs:5:1: error:
+    • Illegal implicit parameter ‘?imp::Int’
+    • In the context: ?imp::Int
+      While checking the super-classes of class ‘D’
+      In the class declaration for ‘D’