[m-rev.] for review: new termination analyser (part 1 of 6)

[Mark Brown]

On 30-Mar-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> 
> On Wed, 30 Mar 2005, Mark Brown wrote:
> 
> > Some initial remarks...
> >
> > On 24-Mar-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > > compiler/termination2.m:
> >
> > This isn't the clearest of module names; perhaps calling this module
> > term_constr.m would be better.  Alternatively, you could call the other
> > new modules term2_*.m to make it clear which modules go together.
> >
> 
> Actually, I'd prefer to use neither as a prefix but unfortunately
> the obvious prefix is already in use ;-)
> 
> I'll rename it to term_constr_main.

Ok.  There will need to be related changes to names used in the code.

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