[m-rev.] for post-commit review: better determinism error messages

Ian MacLarty maclarty at cs.mu.OZ.AU
Sun Oct 30 12:33:33 AEDT 2005


On Sun, 30 Oct 2005, Ralph Becket wrote:

> Julien Fischer, Sunday, 30 October 2005:
> > > Index: tests/invalid/det_errors_cc.err_exp
> > > ===================================================================
> > > RCS file: tests/invalid/det_errors_cc.err_exp
> > > diff -N tests/invalid/det_errors_cc.err_exp
> > > --- /dev/null	1 Jan 1970 00:00:00 -0000
> > > +++ tests/invalid/det_errors_cc.err_exp	27 Oct 2005 15:05:22 -0000
> > > @@ -0,0 +1,57 @@
> > > +det_errors_cc.m:055: Error: call to predicate `p1/2' with determinism
> > > +det_errors_cc.m:055:   `cc_nondet' occurs in a context which requires all
> > > +det_errors_cc.m:055:   solutions.
> >
> > I suggest s/which/that/.
>
> Are you sure?  "Which" describes, "that" defines - so "which" seems
> appropriate here.
>

Julien's just on a which hunt.

Ian.

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



More information about the reviews mailing list