#6032: HEAD (7.5.20120421) requires RankNTypes for a rank-2 type
---------------------------------+------------------------------------------
Reporter: dreixel | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 7.8.1
Component: Compiler | Version: 7.5
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by simonpj@…):
commit 984676d51291ea900cec289599e647de38645405
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
Date: Fri Oct 19 00:54:59 2012 +0100
Deprecate Rank2Types and PolymorphicComponents, in favour of
RankNTypes
We agreed that it's not worth the bother of trying to maintain all
these distinct flags; RankNTypes will do the job fine. Trac #6032.
compiler/main/DynFlags.hs | 11 ++++-------
compiler/prelude/PrelRules.lhs | 2 +-
compiler/simplCore/OccurAnal.lhs | 2 +-
compiler/typecheck/TcMType.lhs | 13 +++----------
4 files changed, 9 insertions(+), 19 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6032#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
