Wibbles to error messages
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 28 Feb 2012 10:03:37 +0000 (10:03 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 28 Feb 2012 10:03:37 +0000 (10:03 +0000)
testsuite/tests/ghci/scripts/Defer02.stderr
testsuite/tests/ghci/scripts/Defer02.stdout
testsuite/tests/indexed-types/should_fail/T3330c.stderr
testsuite/tests/polykinds/PolyKinds02.stderr

index 4a17b34..21cade8 100644 (file)
@@ -46,7 +46,7 @@
     Couldn't match expected type `Bool' with actual type `T a'
     In the return type of a call of `K'
     In the first argument of `not', namely `(K a)'
-    In the first argument of `seq', namely `(not (K a))'
+    In the expression: (not (K a))
 
 ../../typecheck/should_run/Defer01.hs:43:5: Warning:
     No instance for (MyClass a1)
index 85d447a..6dde368 100644 (file)
@@ -45,7 +45,7 @@ Hello World*** Exception: ../../typecheck/should_run/Defer01.hs:11:40:
     Couldn't match expected type `Bool' with actual type `T a'
     In the return type of a call of `K'
     In the first argument of `not', namely `(K a)'
-    In the first argument of `seq', namely `(not (K a))'
+    In the expression: (not (K a))
 (deferred type error)
 "*** Exception: ../../typecheck/should_run/Defer01.hs:43:5:
     No instance for (MyClass a1)
index b9db62a..b7341bb 100644 (file)
@@ -1,20 +1,10 @@
 
 T3330c.hs:23:43:
-    Could not deduce (f1 ~ t0 x)
-    from the context (f ~ (f1 :+: g))
-      bound by a pattern with constructor
-                 RSum :: forall (f :: * -> *) (g :: * -> *).
-                         R f -> R g -> R (f :+: g),
-               in an equation for plug'
-      at T3330c.hs:23:8-17
-      `f1' is a rigid type variable bound by
-           a pattern with constructor
-             RSum :: forall (f :: * -> *) (g :: * -> *).
-                     R f -> R g -> R (f :+: g),
-           in an equation for plug'
-           at T3330c.hs:23:8
+    Couldn't match kind `* -> *' with `*'
     Expected type: Der ((->) x) (t0 x)
       Actual type: R f1
+    Kind incompatibility when matching types:
+      f1 :: * -> *
+      t0 x :: *
     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)
index 3c61552..2ee85b5 100644 (file)
@@ -1,6 +1,6 @@
 
 PolyKinds02.hs:13:16:
     Kind mis-match
-    The second argument of `Vec' should have kind `Nat',
+    The second argument of `Vec' should have kind 'Nat,
     but `Nat' has kind `*'
     In the type signature for `vec': vec :: Vec Nat Nat