tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / T11355.stderr
index cd3cc73..6837540 100644 (file)
@@ -1,6 +1,6 @@
 
 T11355.hs:5:7: error:
-    • Illegal polymorphic or qualified type: forall (a1 :: TYPE t0). a1
+    • Illegal polymorphic type: forall (a :: TYPE t0). a
       GHC doesn't yet support impredicative polymorphism
     • In the expression:
         const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))