[m-rev.] for review: will_not_throw_exception foreign proc attribute

[Julien Fischer]

On Mon, 6 Dec 2004, Julien Fischer wrote:

>
> Here is a modified log message and relative diff:
>
> Estimated hours taken: 6
> Branches: main
>
> Add the foreign proc. attribute `will_not_throw_exception'.
> This allows the user to promise the exception analysis that
> foreign procs that do not have determinism erroneous and make
> calls back to Mercury will not throw an exception.
>
> The behaviour for erroneous foreign procs and those that do
> not make calls back to Mercury is unchanged.
>
I intend to commit this later today unless there are any further
review comments.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------