From fbd6de2f0761b63a5f0a88ce0590f515d63790a4 Mon Sep 17 00:00:00 2001
From: Jan Stolarek <jan.stolarek@p.lodz.pl>
Date: Sat, 9 Jan 2016 20:58:52 +0100
Subject: 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: https://phabricator.haskell.org/D1750

GHC Trac Issues: #11381
---
 utils/mkUserGuidePart/Options/Language.hs | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'utils/mkUserGuidePart/Options/Language.hs')

diff --git a/utils/mkUserGuidePart/Options/Language.hs b/utils/mkUserGuidePart/Options/Language.hs
index 0fc3ea5f25..ddd05ea13f 100644
--- a/utils/mkUserGuidePart/Options/Language.hs
+++ b/utils/mkUserGuidePart/Options/Language.hs
@@ -340,6 +340,14 @@ languageOptions =
          , flagReverse = "-XNoIncoherentInstances"
          , flagSince = "6.8.1"
          }
+  , flag { flagName = "-XInjectiveTypeFamilies"
+         , flagDescription =
+           "Enable :ref:`injective type families <injective-ty-fams>`. "++
+           "Implies ``-XTypeFamilies``."
+         , flagType = DynamicFlag
+         , flagReverse = "-XNoInjectiveTypeFamilies"
+         , flagSince = "8.0.1"
+         }
   , flag { flagName = "-XInstanceSigs"
          , flagDescription =
            "Enable :ref:`instance signatures <instance-sigs>`."
-- 
cgit v1.2.1