[m-rev.] for post-commit review: better determinism error messages
Ralph Becket
rafe at cs.mu.OZ.AU
Sun Oct 30 12:17:41 AEDT 2005
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.
-- Ralph
--------------------------------------------------------------------------
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