#11381: Put injective type families in a separate language extension -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: jstolarek Type: task | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 Resolution: fixed | Keywords: TypeFamilies, | Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: driver/T11381 Blocked By: | Blocking: Related Tickets: #6018 | Differential Rev(s): Phab:D1750 Wiki Page: | -------------------------------------+------------------------------------- Old description:
Injective type families should only be enabled when language extension `InjectiveTypeFamilies` is specified. This extension should imply `TypeFamilies`.
New description:
Injective type families should only be enabled when language extension
`TypeFamilyDependencies` is specified. This extension should imply
`TypeFamilies`.
--
Comment (by bgamari):
It was ultimately decided that the extension name should be generalized to
`TypeFamilyDependencies`. This renaming was performed in,
{{{
commit 78a4c729ecb07c92822625fda15f14a778679452
Author: Ben Gamari