Tons of error message wibbles
[ghc.git] / testsuite / tests / indexed-types / should_fail / T3330c.stderr
index c9b6348..8c657c8 100644 (file)
@@ -1,10 +1,11 @@
 
 T3330c.hs:23:43:
     Couldn't match kind `*' with `* -> *'
-    Expected type: Der ((->) x) (f1 x)
-      Actual type: R f1
-    Kind incompatibility when matching types:
+    When matching types
       Der ((->) x) :: * -> *
       R :: (* -> *) -> *
+    Expected type: Der ((->) x) (f1 x)
+      Actual type: R f1
     In the first argument of `plug', namely `rf'
     In the first argument of `Inl', namely `(plug rf df x)'
+    In the expression: Inl (plug rf df x)