[m-dev.] diff: move `:- assertion' declarations in int.m

[Fergus Henderson]

Estimated hours taken: 0.1

library/int.m:
	Move the `:- assertion' declarations, so that they
	won't appear in the Mercury Library Reference Manual.
	They should not appear in the library reference manual
	since the `:- assertion' feature is not documented
	in the language reference manual and since we plan
	to change the syntax to `:- promise'.

Workspace: /home/mercury0/fjh/mercury
Index: library/int.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/int.m,v
retrieving revision 1.61
diff -u -d -r1.61 int.m
--- int.m	1999/10/26 23:22:21	1.61
+++ int.m	1999/10/30 13:34:44
@@ -72,9 +72,6 @@
 :- mode uo  + in  = in  is det.
 :- mode in  + uo  = in  is det.
 
-	% commutivity of +
-:- assertion all [A,B,C] ( C = B + A <=> C = A + B ).
-
 	% multiplication
 :- func int * int = int.
 :- mode in  * in  = uo  is det.
@@ -85,9 +82,6 @@
 :- mode uo  * in  = in  is semidet.
 :- mode in  * uo  = in  is semidet.
 */
-	% commutivity of *
-:- assertion all [A,B,C] ( C = B * A <=> C = A * B ).
-
 	% subtraction
 :- func int - int = int.
 :- mode in  - in  = uo  is det.
@@ -206,6 +200,14 @@
 
 	% Everything below here will not appear in the
 	% Mercury Library Reference Manual.
+
+%-----------------------------------------------------------------------------%
+
+	% commutivity of +
+:- assertion all [A,B,C] ( C = B + A <=> C = A + B ).
+
+	% commutivity of *
+:- assertion all [A,B,C] ( C = B * A <=> C = A * B ).
 
 %-----------------------------------------------------------------------------%
 

-- 
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.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------