[m-rev.] for review: fix yet another termination analysis bug

[Julien Fischer]

On Mon, 15 Dec 2003, Fergus Henderson wrote:

> On 15-Dec-2003, Julien Fischer <juliensf at students.cs.mu.OZ.AU> wrote:
> >
> > Fix a bug in the termination analysis that causes a software error
> > during pass 2.  This is due to a sanity check failing.
> ...
> > +++ compiler/term_pass2.m	15 Dec 2003 03:19:34 -0000
> > @@ -65,6 +65,9 @@
> >
> >  %-----------------------------------------------------------------------------
> >
> > +	% NOTE: This code assumes that the SCC does not call any
> > +	% nonterminating procedures.  If it does then that fact
> > +	% should have been detected during pass 1.
> >  prove_termination_in_scc(SCC, Module, PassInfo, SingleArgs, Termination) :-
>
> That comment should probably go in the module interface, with the pred
> declaration, rather than in the implementation.
>

Done.

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