Opened 4 years ago

Closed 4 years ago

Last modified 4 years ago

#11381 closed task (fixed)

Put injective type families in a separate language extension

Reported by: jstolarek Owned by: jstolarek
Priority: normal Milestone: 8.0.1
Component: Compiler Version: 8.0.1-rc1
Keywords: TypeFamilies, Injective Cc:
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:

Description (last modified by bgamari)

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

Change History (4)

comment:1 Changed 4 years ago by jstolarek

Differential Rev(s): Phab:D1750
Test Case: driver/T11381

comment:2 Changed 4 years ago by Ben Gamari <ben@…>

In fbd6de2f/ghc:

Add InjectiveTypeFamilies language extension

Previously injective type families were part of TypeFamilies.
Now they are in a separate language extension.

Test Plan: ./validate

Reviewers: austin, bgamari, goldfire

Reviewed By: bgamari

Subscribers: goldfire, thomie

Differential Revision:

GHC Trac Issues: #11381

comment:3 Changed 4 years ago by bgamari

Resolution: fixed
Status: newclosed

Merged to master and ghc-8.0.

comment:4 Changed 4 years ago by bgamari

Description: modified (diff)

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

commit 78a4c729ecb07c92822625fda15f14a778679452
Author: Ben Gamari <>
Date:   Thu Jan 14 11:52:10 2016 +0100

    Rename InjectiveTypeFamilies to TypeFamilyDependencies

This has been merged to ghc-8.0 as well.

Note: See TracTickets for help on using tickets.