[m-rev.] for review: termination analysis of initialisation predicates (fwd)

[Julien Fischer]

On Fri, 25 Feb 2005, Ralph Becket wrote:

> > On Thu, 24 Feb 2005, Julien Fischer wrote:
> >
> > > (This is currently bootchecking).
> > >
> > > For review by Ralph.
> > >
> > > Estimated hours taken: 1
> > > Branches: main, release
> > >
> > > Improve the termination analysis of solver type initialisation
> > > predicates by running the main analysis on them rather than setting
> > > argument size information and termination status beforehand.
> > >
> > > compiler/termination.m:
> > > 	Ran the main analysis on solver type intialisation predicates.
>
> s/Ran/Run/

Done.

> > >
> > > 	Update an XXX comment about user-defined equality, comparison
> > > 	and initialisation predicates.  It no longer applies to
> > > 	initialisation predicates and never applied to comparison predicates
> > > 	anyway.
> > >
> >
> > One thing I forgot to do was disable warnings for compiler generated
> > wrapper predicates for solver type initialisers.  The modified diff
> > below fixes that (and also fixes a mispelling of the word initialisation).
> >
> > Index: termination.m
> > [...]
>
> That looks fine.
>
Thanks for that.

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