[mercury-users] Callbacks and may_call_mercury

[Fergus Henderson]

On 06-Apr-2006, Jonathan Morgan <jonmmorgan at gmail.com> wrote:
> 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)?

No.

Note that some care may be required if you are interfacing with
multithreaded foreign code.  Some back-ends (grades) may not
support that.

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------