[m-rev.] for review: exception analysis

[Julien Fischer]

On Mon, 4 Oct 2004, Ralph Becket wrote:

> Julien Fischer, Friday,  1 October 2004:
> >
> > * we currently assume that all foreign procs that make calls
> >   back to Mercury may throw exceptions.
>
> Do we have a will_not_throw_exception attribute for foreign code?  If
> not, would adding one do the trick?
>
I intend to add one at some point - just not this time.


> > * we currently assume that all solver types and existentially
> >   quantified types might result in an exception being thrown.
>
> It isn't clear what you mean by a solver type throwing an exception.
>

I mean can a call to the unification or comparison predicate for
a solver type result in an exception being thrown.  I'll make
that comment a little clearer.

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