From: simonpj@microsoft.com <unknown>
Date: Tue, 13 Jan 2009 16:27:16 +0000 (+0000)
Subject: Make -XTypeFamilies imply -XRelaxedPolyRec (Trac #2944)
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=b74af13a63693dd13bff5f3b66223ac977fbcc73

Make -XTypeFamilies imply -XRelaxedPolyRec (Trac #2944)
---

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index f67bb4e..35949f7 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -1790,6 +1790,8 @@ impliedFlags
   = [ (Opt_GADTs,               Opt_RelaxedPolyRec)  -- We want type-sig variables to
                                                      --      be completely rigid for GADTs
 
+    , (Opt_TypeFamilies,        Opt_RelaxedPolyRec)  -- Trac #2944 gives a nice example
+
     , (Opt_ScopedTypeVariables, Opt_RelaxedPolyRec)  -- Ditto for scoped type variables; see
                                                      --      Note [Scoped tyvars] in TcBinds
     , (Opt_ImpredicativeTypes,  Opt_RankNTypes)