From: simonpj@microsoft.com <unknown>
Date: Thu, 23 Sep 2010 12:59:10 +0000 (+0000)
Subject: Impredicative types is no longer deprecated
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=b378873b416afbea1eda4ac375d7716811a5c2cf

Impredicative types is no longer deprecated
---

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index eb2dbef..58bf18c 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -1566,8 +1566,7 @@ xFlags = [
   ( "LiberalTypeSynonyms",              Opt_LiberalTypeSynonyms, nop ),
   ( "Rank2Types",                       Opt_Rank2Types, nop ),
   ( "RankNTypes",                       Opt_RankNTypes, nop ),
-  ( "ImpredicativeTypes",               Opt_ImpredicativeTypes, 
-        \_ -> deprecate "impredicative polymorphism will be simplified or removed in GHC 6.14" ),
+  ( "ImpredicativeTypes",               Opt_ImpredicativeTypes, nop), 
   ( "TypeOperators",                    Opt_TypeOperators, nop ),
   ( "RecursiveDo",                      Opt_RecursiveDo,
     deprecatedForExtension "DoRec"),