[mercury-users] map and c_pointer

[Michael Day]

> Why? Unification and comparison of c_pointers is handled by address
> comparison, so map(foo, string) would also work. The Mercury code
> won't even care whether the pointers are valid. You have to really
> be trying to get a segfault in Mercury.

Sorry about that, looks like I was indeed really trying :)

(The map held strings generated by C code that later went and trashed them 
leading to string comparison running off into strange places...)

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------