[m-rev.] for review: semaphores in deep profiling grades

[Julien Fischer]

On Tue, 11 Sep 2007, Peter Wang wrote:

> Branches: main
>
> library/thread.semaphore.m:
> 	Make semaphore.signal and semaphore.wait work in the (non-parallel)
> 	deep profiling grades.  Due to the way these procedures are
> 	implemented, they would miss the exit port code inserted by the deep
> 	profiling transformation when leaving the procedure.

Was this the problem you were looking at the other day?

The diff looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------