address casts a pointer ot an integer, which is not correct for 64 bits platforms. The ATerm library does provide an integer type that can handle the size of a pointer, so we need to represent an address in a different way. A blob (used for hashtables) is not very convenient in this case, since the result of the address strategy is typically used in output as well (blobs are not really printable).

So we will represent a pointer a a string. The current proposal is to use the %p feature of sprintf.

Note that this change does not affect the sorting of terms with address-lt, since the comparison is performed in native code there, which is perfectly ok.

Submitted on 23 February 2007 at 16:22