[GHC] #8026: DatatypeContexts should be fixed, not deprecated

[GHC]

#8026: DatatypeContexts should be fixed, not deprecated
-------------------------------------+------------------------------------
        Reporter:  gidyn             |            Owner:
            Type:  feature request   |           Status:  closed
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.6.3
      Resolution:  wontfix           |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by gidyn):

 Replying to [comment:10 monoidal]:
 > As far as I understand, the proposal is not sound.
 I think that there is some misunderstanding here. This is not proposing to
 change the actual type system, just that the DatatypeContexts extension
 should enable automatic context inference. This is similar to SPJ's `(...)
 =>` proposal, but tied to the extension which makes requires it, and
 without the syntactic noise.

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