Put injective type families in a separate language extension

Injective type families should only be enabled when language extension TypeFamilyDependencies is specified. This extension should imply TypeFamilies.

changed milestone to %8.0.1

changed weight to 5

added Ttask Trac import labels

Trac metadata

Trac field	Value
Test case	- → driver/T11381
Differential revisions	- → D1750

closed

Merged to master and ghc-8.0.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

mentioned in commit fbd6de2f

changed the description

It was ultimately decided that the extension name should be generalized to TypeFamilyDependencies. This renaming was performed in,

commit 78a4c729ecb07c92822625fda15f14a778679452
Author: Ben Gamari <ben@smart-cactus.org>
Date:   Thu Jan 14 11:52:10 2016 +0100

    Rename InjectiveTypeFamilies to TypeFamilyDependencies

This has been merged to ghc-8.0 as well.

added TypeFamilies injective type families labels

added Pnormal label