[m-dev.] for review: recognise associativity assertions

Simon Taylor stayl at cs.mu.OZ.AU
Wed Jan 5 12:21:54 AEDT 2000


> 
> Simon could you please look this over, I have just addressed the
> comments of Fergus.

> > --- accumulator.m.old	Thu Dec 23 17:24:19 1999
> > +++ accumulator.m	Fri Dec 24 13:15:41 1999
> > @@ -242,7 +242,7 @@
> >  			{ pred_info_context(PredInfo, Context) },
> >  
> >  			error_util__write_error_pieces(Context, 0,
> > -					[words("In the"), words(PredName)]),
> > +					[words("The"), words(PredName)]),

I think Fergus meant that to be changed to `[words("In"), words(PredName)])'.

Otherwise that looks OK.

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list