#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 illissius):
Might the reason for the separation have been that type inference is in
theory decidable for rank-2 types, but not higher? I'm not a type theorist
but I found this for example:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.1202
(WRT the deprecation/aliasing proposal itself I don't have an opinion)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6032#comment:7>
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
