[m-dev.] diff: keeping trace namespace-clean

[Fergus Henderson]

On 11-Jan-2001, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 10-Jan-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > Is there any reason why you didn't also copy the `check_headers' and
> > `check_headers_macros' rules too?
> 
> Yes. The trace directory's header files are used only by source files in
> the trace directory itself; they should not be #included in C files generated
> by the compiler. Therefore they can contain macros that don't start with MR_
> without any impact on users.

OK, that explains the omission of `check_headers_macros'.
But what about `check_headers', which checks that each header file
is self-contained?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------