Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_fail / T9357.stderr
index 4d97c31..cc483c5 100644 (file)
@@ -4,5 +4,5 @@ T9357.hs:7:15:
     In the type instance declaration for â€˜F’
 
 T9357.hs:8:15:
-    Illegal polymorphic or qualified type: forall a. a -> a
+    Illegal polymorphic or qualified type: forall a1. a1 -> a1
     In the type instance declaration for â€˜F’