[m-dev.] for review: keeping trace namespace-clean

[Fergus Henderson]

On 13-Feb-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?
> 
> Here is a revised diff to address this comment.
> Check the trace directory for namespace cleanliness.

That looks great, thanks!

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