[GHC] #9515: Deprecate -XExplicitForAll

[GHC]

#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 at 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