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