[GHC] #8026: DatatypeContexts should be fixed, not deprecated
GHC
ghc-devs at haskell.org
Tue Jul 2 11:56:37 CEST 2013
#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:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Changes (by simonpj):
* status: new => closed
* difficulty: => Unknown
* resolution: => wontfix
Comment:
We already have a notation for the "fixed" version:
{{{
data Foo a where
Foo :: Eq a => a -> Foo a
}}}
Moreover, this is arguably the "right" notation because you can vary the
context per-constructor:
{{{
data Bar a where
Bar1 :: Eq a => a -> Bar a
Bar2 :: (Ix a, Show a) => a -> a -> Bar a
}}}
You may want to make suggesitons to the Haskell Prime group, but I'm
disinclined to add yet new behaviour to GHC when an existing solution does
the job.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8026#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list