Re: Type families difference between 7.0.4 and 7.2.1

On Mon, Aug 15, 2011 at 08:12, Luite Stegeman 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