[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