#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):
Well it'd be odd to have "2" as a ''permanent'' alias for "arbitrary"
wouldn't it? Isn't this precisely what deprecation is for: everything
works but you get a nudge saying "please change when it's convenient". In
fact it *is* an alias for `RankNTypes` plus a deprecation message.
We can keep supporting `Rank2Types` (as an alias for `RankNTypes`), with
deprecation, for multiple releases.
Or what?
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6032#comment:6>
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
