[GHC] #8026: DatatypeContexts should be fixed, not deprecated
GHC
ghc-devs at haskell.org
Tue Jul 2 12:13:37 CEST 2013
#8026: DatatypeContexts should be fixed, not deprecated
-------------------------------+--------------------------------------------
Reporter: gidyn | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Resolution: | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Changes (by gidyn):
* status: closed => new
* resolution: wontfix =>
Comment:
This only works when pattern matching on the constructor, and GADTs are no
different to classical data types for this. Functions which uses a
{{{Foo}}} without pattern matching will require a redundant type context
in either case.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8026#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list