Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail156.stderr
index 7e84020..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 â\80\9bFoo’
-    In the newtype declaration for â\80\9bFoo’
+tcfail156.hs:7:15:
+    A newtype constructor cannot have existential type variables
+    Foo :: forall a. a -> Foo
+    In the definition of data constructor â\80\98Foo’
+    In the newtype declaration for â\80\98Foo’