[m-rev.] for review: change termination analysis for foreign_procs

[Julien Fischer]

On Tue, 10 Feb 2004, Fergus Henderson wrote:

> On 10-Feb-2004, Julien Fischer <juliensf at students.cs.mu.OZ.AU> wrote:
> > On Mon, 9 Feb 2004, Fergus Henderson wrote:
> >
> > > If the latter, then wouldn't it be better to spell it
> > > "may_not_terminate" rather than "does_not_terminate"?
> >
> > I called it that because the corresponding pragma is `does_not_terminate'.
> > I don't think it would be a good idea to have different names
> > for the two things.
>
> That's OK then, provided that it is documented well.
>

It is documented in the reference manual and the relevant sections
of the termination analyser.


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