#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