#9515: Deprecate -XExplicitForAll -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.8.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by isaacdupree): Yes, bite the bullet! I'm one of the people who initially advocated for ExplicitForAll (https://www.mail-archive.com/haskell- prime@haskell.org/msg02765.html). + It sounds like the semantic inconsistency between "forall" with and without ScopedTypeVariables is annoying − The downside is a hypothetical Haskell compiler that wanted to implement, say, RankNTypes but not ScopedTypeVariables would be stuck Seems to me that the plus is more important than the minus in today's Haskell world. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9515#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler