[commit: ghc] ghc-generics1: Make PolyKinds imply KindSignatures (b2e10fa)

[José Pedro Magalhães]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-generics1

http://hackage.haskell.org/trac/ghc/changeset/b2e10faf18c365cbee4e8050cad5e722e3032ceb

>---------------------------------------------------------------

commit b2e10faf18c365cbee4e8050cad5e722e3032ceb
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Jun 7 09:49:43 2012 +0100

    Make PolyKinds imply KindSignatures

>---------------------------------------------------------------

 compiler/main/DynFlags.hs |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index 5fae709..1670e74 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -2134,6 +2134,7 @@ impliedFlags
     , (Opt_TypeFamilies,     turnOn, Opt_MonoLocalBinds)
 
     , (Opt_TypeFamilies,     turnOn, Opt_KindSignatures)  -- Type families use kind signatures
+    , (Opt_PolyKinds,        turnOn, Opt_KindSignatures)  -- Ditto polmorphic kinds
 
     -- We turn this on so that we can export associated type
     -- type synonyms in subordinates (e.g. MyClass(type AssocType))