On Mon, Aug 15, 2011 at 08:12, Luite Stegeman <stege...@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                                      allber...@gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to