Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018fail.stderr
index 3bd6b40..758acff 100644 (file)
@@ -69,7 +69,7 @@ T6018fail.hs:59:10: error:
 
 T6018fail.hs:62:15: error:
     Type family equation violates injectivity annotation.
-    Kind variable â€˜k’ cannot be inferred from the right-hand side.
+    Kind variable â€˜k1’ cannot be inferred from the right-hand side.
     Use -fprint-explicit-kinds to see the kind arguments
     In the type family equation:
       PolyKindVars '[] = '[] -- Defined at T6018fail.hs:62:15