[m-rev.] diff: rename extras/moose/mercury.m

[Thomas Conway]

On Thu, Nov 22, 2001 at 09:06:47PM EST, Fergus Henderson wrote:
> Estimated hours taken: 0.25
> Branches: main
> 
> extras/moose/mercury.m:
> extras/moose/mercury_syntax.m:
> extras/moose/moose.m:
> 	Rename the file `mercury.m' as `mercury_syntax.m', since using the
> 	module name `mercury' doesn't work with the `--high-level-code'
> 	back-end (the generated header file conflicts with runtime/mercury.h).
> 	The module name `mercury' is effectively reserved.

I don't like this *at all*! Currently we mangle names of other symbols
to avoid clashes. Wouldn't be a better fix to mangle module names in
some way?

Thomas
-- 
  Thomas Conway )O+
 <conway at cs.mu.oz.au>       499 User error! Replace user, and press any key.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------