Associated types in 6.6?

[John Meacham]

On Mon, Nov 28, 2005 at 09:15:00AM -0000, Simon Peyton-Jones wrote:
> I hope so but I am not sure.  The trick lies in coming up with a
> suitable typed intermediate representation for the program -- System F
> isn't enough.  Manuel Chakravarty and Martin Sulzmann and I have been
> working on an idea, but it's not yet clear whether we'll have it worked
> out and implemented at the same time as 6.6.   

I remember there was talk of moving ghc to a henk-based system similar
to the one used in jhc, I was curious if that was still a possibility?

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈