[m-rev.] trivial diff: replace uses of `:' as a module qualifier

Julien Fischer juliensf at cs.mu.OZ.AU
Sat Jan 15 22:37:16 AEDT 2005


Estimated hours taken: 0.1
Branches: main

tests/hard_coded/rational_test.m:
	Replace uses of the deprecated module qualifer, `:'.

Julien.

Workspace:/home/saskervoy/juliensf/ws58
Index: rational_test.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/rational_test.m,v
retrieving revision 1.2
diff -u -r1.2 rational_test.m
--- rational_test.m	12 Jan 2004 12:46:40 -0000	1.2
+++ rational_test.m	15 Jan 2005 11:33:32 -0000
@@ -5,7 +5,7 @@

 :- import_module io.

-:- pred main(io:state, io:state).
+:- pred main(io.state, io.state).
 :- mode main(di, uo) is det.

 :- implementation.
@@ -13,16 +13,16 @@
 :- import_module rational, int, integer, string, list, io.

 main -->
-	io:write_string(rat2s(cf2rat(root2_cf(80)))), io:nl,
-	io:write_string(rat2s(cf2rat(e_cf(20)))), io:nl.
+	io.write_string(rat2s(cf2rat(root2_cf(80)))), io.nl,
+	io.write_string(rat2s(cf2rat(e_cf(20)))), io.nl.

 :- func rat2s(rational) = string.
 rat2s(Rat) = S :-
 	Num = numer(Rat),
 	Den = denom(Rat),
-	NS = integer:to_string(Num),
-	ND = integer:to_string(Den),
-	string:append_list([NS," / ",ND],S).
+	NS = integer.to_string(Num),
+	ND = integer.to_string(Den),
+	string.append_list([NS," / ",ND],S).

 :- func cf2rat(list(int)) = rational.
 cf2rat([]) = one.
@@ -32,7 +32,7 @@
 	% Continued fraction expansion of Euler's constant `e'.
 :- func e_cf(int) = list(int).
 e_cf(N) = CF :-
-	list:append([2,1,2],Rest,CF),
+	list.append([2,1,2],Rest,CF),
 	Rest = e_aux(N,4).

 :- func e_aux(int, int) = list(int).

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



More information about the reviews mailing list