trivial diff: copy/2 & mercury_builtin.nu.nl

Fergus Henderson fjh at cs.mu.oz.au
Wed Oct 15 17:36:59 AEST 1997


Fix the handling of copy/2 for SICStus and NU-Prolog.

library/mercury_builtin.nu.nl:
	Implement copy/2 properly, using duplicate/2.
	Add unsafe_promise_unique/2 with the same semantics
	as the old copy/2.

cvs diff  library/mercury_builtin.nu.nl
Index: library/mercury_builtin.nu.nl
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/mercury_builtin.nu.nl,v
retrieving revision 1.17
diff -u -r1.17 mercury_builtin.nu.nl
--- mercury_builtin.nu.nl	1997/07/27 15:06:57	1.17
+++ mercury_builtin.nu.nl	1997/10/15 07:34:32
@@ -12,7 +12,10 @@
 builtin_strcmp_2(=, 0).
 builtin_strcmp_2(>, 1).
 
-copy(X, X).
+copy(X, Y) :-
+	duplicate(X, Y).
+
+unsafe_promise_unique(X, X).
 
 unify(X, X).
 

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



More information about the developers mailing list