Associated types in 6.6?

John Meacham john at
Mon Nov 28 20:09:14 EST 2005

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 Meacham - ⑆⑆john⑈ 

More information about the Glasgow-haskell-users mailing list