[mercury-users] tabled_for_io attribute

[Peter Ross]

Hi,

I've just written some foreign code which takes an IO state.  In the
debug grades this code seg-faulted and I couldn't work out why.

Eventually I discovered adding the undocumented tabled_for_io attribute
to my foreign procs fixed my crashes.

Can someone please explain what this attribute does?

Also why it isn't documented?  As it seems to be necessary for some code.

Thanks,
Pete
-- 
Software Engineer                                (Work)   +32 2 757 10 15
Mission Critical                                 (Mobile) +32 485 482 559
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------