28 Nov
2005
28 Nov
'05
8:09 p.m.
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⑈