Type families difference between 7.0.4 and 7.2.1
Brandon Allbery
allbery.b at gmail.com
Tue Aug 16 06:33:10 CEST 2011
On Mon, Aug 15, 2011 at 08:12, Luite Stegeman <stegeman at gmail.com> wrote:
> -- C.hs
> {-# LANGUAGE TypeFamilies #-}
> module C where
>
> class C1 a where
> data F a :: *
>
I believe this is supposed to be syntactic sugar for a data family, so 7.0.4
is wrong. (I also think it was a known deficiency.)
--
brandon s allbery allbery.b at gmail.com
wandering unix systems administrator (available) (412) 475-9364 vm/sms
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20110816/45934778/attachment.htm>
More information about the Glasgow-haskell-users
mailing list