[m-dev.] Changes to runtime.

[Fergus Henderson]

Tyson Richard DOWD, you wrote:
> Fergus Henderson wrote:
> > 
> > So, renaming the whatever.c files to mercury_whatever.c is desirable
> > if and only if you also rename the whatever.h files to mercury_whatever.h.
> 
> Almost all of the .mod files have corresponding .h files.
> Now is an opportunity to change both of them, since it wouldn't break
> much more than just removing the .mod files. (For the ones that don't
> have .h files, it doesn't make any difference, since we'll never have to 
> change them anyway). Or we can wait, and do it all in one go some other
> time.

Given the choice, I'd rather you do some of it than none ;-)
An incremental approach seems easiest for this task.

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