[m-rev.] diff: "preceding" vs. "corresponding" in error messages

Julien Fischer jfischer at opturion.com
Mon Aug 25 18:17:44 AEST 2014


On Mon, 25 Aug 2014, Michael Day wrote:

> If you really wanted to get minimalist,

I was actually going for accuracy.

>  the "predicate" is technically 
> unnecessary also, given that 'foo'/0 is unambiguous in conjunction with the 
> line number, and the mention of ":- pred".
> Error: clause for `foo'/0 without `:- pred' declaration.

The line number is not sufficient, consider the following clauses.

     foo = 0. foo :- true.

(We would also need column numbers in contexts in order to be
unambiguous there.)


More information about the reviews mailing list