28 Nov
2004
28 Nov
'04
5:37 p.m.
On Wed, Nov 24, 2004 at 05:35:26PM +0000, Malcolm Wallace wrote:
Am I confused or does nhc98 assume that all pointers are < 2^31?
It would seem that you are right. The top bit 0x10000000 is the ZAP_BIT, used to indicate a black-hole (a value already under evaluation, useful for detecting infinite loops).
Hmm, I had a look at changing this to use offsets from the heap start address, but it looks to me like the same functions need to work on both the heap stuff and the structures linked in from the .hc files. I'm afraid I'm going to have to give up on this, for now at least. Ian