[mercury-users] Callbacks and may_call_mercury

[Jonathan Morgan]

If I write foreign code that intercepts a callback and then forwards
it on to the relevant Mercury predicate, should I tag all other
foreign code as may_call_mercury (as a callback could be triggered
while any of them are running)?

Jon

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------