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