Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail107.stderr
index 92a89b7..2c53e0b 100644 (file)
@@ -1,5 +1,5 @@
 
-tcfail107.hs:13:9:
-    Type synonym `Const' should have 2 arguments, but has been given 1
-    In the type signature for `test':
-      test :: Thing (Const Int) -> Thing (Const Int)
+tcfail107.hs:13:9: error:
+    • The type synonym ‘Const’ should have 2 arguments, but has been given 1
+    • In the type signature:
+        test :: Thing (Const Int) -> Thing (Const Int)