#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
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
