... | ... | @@ -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`
|
|
|
|
|
|
|
... | ... | |