Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail050.stderr
index db312bd..9d6a0c0 100644 (file)
@@ -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