[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