language-pragma-history.md

@@ -73,7 +73,7 @@ Added LANGUAGE extensions:
 - `[No]CApiFFI`
 - `[No]ConstraintKinds`
 - `[No]DataKinds`
-- `[No]PolyKinds`
+- `[No]PolyKinds` (Warning: `PolyKinds` yields broken interface files in 7.4! This was fixed in 7.6)
 - `[No]TraditionalRecordSyntax`