On Mon, Aug 15, 2011 at 08:12, Luite Stegeman <stegeman@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@gmail.com
wandering unix systems administrator (available) (412) 475-9364 vm/sms