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

Fergus Henderson fjh at cs.mu.OZ.AU
Fri May 29 00:31:06 AEST 1998


On 26-May-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 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

And another one.

tests/general/parse_list.m:
tests/general/semidet_map.m:
	s/mercury_builtin/builtin/

Index: parse_list.m
===================================================================
RCS file: /home/mercury1/repository/tests/general/parse_list.m,v
retrieving revision 1.2
diff -u -u -r1.2 parse_list.m
--- parse_list.m	1997/02/23 06:11:32	1.2
+++ parse_list.m	1998/05/28 14:27:58
@@ -14,7 +14,7 @@
 :- mode meta_parse_list(pred(in, out, out) is semidet, out, in, out) is det.
 
 :- implementation.
-:- import_module mercury_builtin, int, string.
+:- import_module builtin, int, string.
 
 main -->
 	{P = lambda([I::in, O::out, N::out] is semidet, one_or_two(N, I, O))},
Index: semidet_map.m
===================================================================
RCS file: /home/mercury1/repository/tests/general/semidet_map.m,v
retrieving revision 1.2
diff -u -u -r1.2 semidet_map.m
--- semidet_map.m	1997/02/23 06:11:35	1.2
+++ semidet_map.m	1998/05/28 14:28:04
@@ -14,7 +14,7 @@
 :- mode meta_semidet_map(pred(in, out) is semidet, in, out) is det.
 
 :- implementation.
-:- import_module mercury_builtin, int, string.
+:- import_module builtin, int, string.
 
 main -->
 	( {meta_semidet_map(pos_inc, [0, 1], [X, Y])} ->

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