[GHC] #7854: Constrained method type accepted in Haskell 98 mode

[GHC]

#7854: Constrained method type accepted in Haskell 98 mode
-------------------------------------+-------------------------------------
        Reporter:  refold            |                   Owner:  thomie
            Type:  bug               |                  Status:  closed
        Priority:  normal            |               Milestone:  7.12.1
       Component:  Compiler (Type    |                 Version:  7.6.3
  checker)                           |                Keywords:  newcomer
      Resolution:  fixed             |            Architecture:
Operating System:  Unknown/Multiple  |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |  module/mod39
 Related Tickets:  #10118, #10119    |                Blocking:
                                     |  Differential Revisions:  Phab:D688
-------------------------------------+-------------------------------------

Comment (by ekmett):

 That was me speaking as me, not in any official capacity. =) I had
 honestly thought FlexibleContexts _was_ the extension for this sort of
 thing until now.

 Putting on my CLC hat for a bit, the main reason I can see why it'd be
 nice to have FlexibleContexts "just work" is it means we don't have to
 make the hackage trustees go back and retrofit all sorts of old versions
 of packages with base upper bounds wherever they find themselves
 encountering this issue.

 But mostly that rises to the left of "nice to have" not really "have to
 have".

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7854#comment:21>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler