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

[Julien Fischer]

Hi,

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

Cheers,
Julien.