[m-rev.] New names etc. as part of library standardization

[Ralph Becket]

This bootchecked with the extra changes below, so I'll commit this now.

-- Ralph

diff -u library/int.m library/int.m
--- library/int.m	31 Jan 2005 03:53:05 -0000
+++ library/int.m	2 Feb 2005 01:10:34 -0000
@@ -82,6 +82,9 @@
 	% addition
 	%
 :- func int + int = int.
+:- mode in  + in  = out is det.
+:- mode out + in  = in  is det.
+:- mode in  + out = in  is det.
 
 :- func int__plus(int, int) = int.
 
@@ -94,6 +97,9 @@
 	% subtraction
 	%
 :- func int - int = int.
+:- mode in  - in  = out is det.
+:- mode out - in  = in  is det.
+:- mode in  - out = in  is det.
 
 :- func int__minus(int, int) = int.
 
only in patch2:
--- compiler/rl_file.pp	20 Oct 2004 09:44:59 -0000	1.7
+++ compiler/rl_file.pp	2 Feb 2005 02:32:19 -0000
@@ -134,7 +134,7 @@
 		Pair0 = Len0 - IOState0,
 		Len = Len0 + 1,			
 		call(ByteWriter, Byte, IOState0, IOState),
-	    	Pair = Len - IOState
+	    	Pair = unsafe_promise_unique(Len) - IOState
 	),
 	State0 = 0 - IO0,
 	rl_file__write_binary_2(Writer, RLFile, State0, State),
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------