[m-dev.] diff: split mercury_builtin.m

Fergus Henderson fjh at cs.mu.OZ.AU
Tue May 26 08:12:45 AEST 1998


On 26-May-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 
> Fix various invasions of the user's namespace by `mercury_builtin.m',
> by splitting mercury_builtin.m into two modules, called builtin.m and
> private_builtin.m, and ensuring that the latter is imported as if
> by `:- use_module' rather than `:- import_module'.

Oh, there's one more part to that change.

tests/term/*.trans_opt_exp:
	s/mercury_builtin/builtin/g

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



More information about the developers mailing list