[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