Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail156.stderr
index d93549e..280f118 100644 (file)
@@ -1,6 +1,6 @@
 
-tcfail156.hs:7:26:
-    A newtype constructor cannot have an existential context,
-      but `Foo' does
-    In the definition of data constructor `Foo'
-    In the newtype declaration for `Foo'
+tcfail156.hs:7:15:
+    A newtype constructor cannot have existential type variables
+    Foo :: forall a. a -> Foo
+    In the definition of data constructor ‘Foo’
+    In the newtype declaration for ‘Foo’