#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