Fix impredicativity (again)

[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail050.stderr

diff --git a/testsuite/tests/typecheck/should_fail/tcfail050.stderr b/testsuite/tests/typecheck/should_fail/tcfail050.stderr
index 5d7a917..9d6a0c0 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/tcfail050.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail050.stderr
@@ -1,2 +1,3 @@
 
-tcfail050.hs:3:7: Not in scope: data constructor ‛B’
+tcfail050.hs:3:7: error:
+    Data constructor not in scope: B :: t1 -> t