Associated types in 6.6?
john at repetae.net
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 - ⑆repetae.net⑆john⑈
More information about the Glasgow-haskell-users