Make PolyKinds imply KindSignatures
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 7 Jun 2012 08:49:43 +0000 (09:49 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 7 Jun 2012 08:49:43 +0000 (09:49 +0100)
compiler/main/DynFlags.hs

index 5fae709..1670e74 100644 (file)
@@ -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))