[m-dev.] for review: line numbers in interface files

[David Glen JEFFERY]

On 10-May-1999, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> compiler/modules.m:
> 	Do not put line numbers into the generated interface files,
> 	even if the --line-numbers option is on. If we do, then even
> 	a change to a source file that does not materially affect the
> 	module's interface may cause other modules to be recompiled,
> 	because the line numbers in the interface file may change.

Looks good to me.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Homer, is this how you pictured
PhD student,                    |         married life?
Dept. of Comp. Sci. & Soft. Eng.|  Homer: Yup, pretty much... except we
The University of Melbourne     |         drove around in a van solving
Australia                       |         mysteries.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------