[mercury-users] Callbacks and may_call_mercury

Jonathan Morgan jonmmorgan at gmail.com
Thu Apr 6 16:15:43 AEST 2006


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



More information about the users mailing list