[Haskell-cafe] Why were datatype contexts removed instead of "fixing them"?
Kim-Ee Yeoh
ky3 at atamo.com
Thu Apr 25 13:54:33 CEST 2013
On Thu, Apr 25, 2013 at 6:36 PM, Joe Quinn <headprogrammingczar at gmail.com>wrote:
> data Foo a where
> Foo :: Eq a => a -> Foo a
>
is equivalent to
data Foo a = Eq a => Foo a
but is different from
data Eq a => Foo a = Foo a
(Yup, tripped up a few of us already!)
-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130425/19cdb96d/attachment.htm>
More information about the Haskell-Cafe
mailing list