Haskell List Moderator <[EMAIL PROTECTED]> writes:
[ long question about polymorphic update frames in conjunction with
parallel execution deleted... ]
> Can anybody explain how this problem is solved in the GPH
> implementation?
I don't know how it currently works, but in the new runtime-system
we've opted for a return-in-heap convention, instead of the hybrid
return-in-registers/heap convention used in the current system. This
means that polymorphic update frames are possible - the update
continuation has both a return vector and a direct return address, so
any kind of return can be handled by the update frame. So I'd imagine
this problem won't crop up with the new system (which is coming along,
but won't be ready for any real use for a while yet...).
Cheers,
Simon
--
Simon Marlow [EMAIL PROTECTED]
University of Glasgow http://www.dcs.gla.ac.uk/~simonm/
finger for PGP public key
