[m-rev.] --no-line-numbers by default for us

[Zoltan Somogyi]

On Wed, 9 Dec 2015 10:35:44 +1100, Paul Bone <paul at bone.id.au> wrote:

> On Tue, Dec 08, 2015 at 06:54:51PM +1100, Zoltan Somogyi wrote:
> > Would anyone object to committing this diff?
> > 
> 
> Is this because it will require a bootstrap?  This is fine with me.

No, it won't require a bootstrap. It will have no effect at all except that
in hlc grades (a) error messages from the C compiler, which are
VERY rare, will have a context that refers to the .c file, not the .m file,
(b) the .c files will be actually readable, and (c) the .c files will be smaller.
Effect (b) is why I am proposing this.

> I think that we already agreed that omitting line numbers for Mercury will
> help avoid spurious recompilations.  Am I remembering correctly?

Not quite correct. Not putting line numbers into automatically generated
HEADER files avoids spurious recompilations, but I made that change
months ago. Now we are talking about line numbers in .c files. These
cannot cause spurious recompilations, so deleting them cannot avoid
spurios recompilations.

Zoltan.