[m-rev.] trivial diff: remove a redundant promise_pure pragma

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

library/array.m:
	Remove a redundant promise_pure pragma on array.max/2.
	All of the foreign clauses are promised pure anyway.

Julien.


Index: array.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/array.m,v
retrieving revision 1.130
diff -u -r1.130 array.m
--- array.m	15 Mar 2004 23:49:28 -0000	1.130
+++ array.m	7 Jul 2004 06:37:33 -0000
@@ -649,7 +649,6 @@
 	Min = 0;
 ").

-:- pragma promise_pure(array__max/2).
 :- pragma foreign_proc("C",
 	array__max(Array::array_ui, Max::out),
 	[will_not_call_mercury, promise_pure, thread_safe],

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