[m-rev.] Added unsafe_promise_unique/1 func

[Ralph Becket]

For review by anybody.

Estimated hours taken: 0.1
Branches: main

library/builtin.m:
	Added func version of unsafe_promise_unique.

NEWS:
	Mentioned the new addition.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.231
diff -u -r1.231 NEWS
--- NEWS	17 Dec 2001 00:28:12 -0000	1.231
+++ NEWS	18 Dec 2001 07:11:15 -0000
@@ -3,6 +3,9 @@
 
 Changes to the Mercury language:
 
+* The built-in pred unsafe_promise_unique/2 now has an analagous func,
+  unsafe_promise_unique/1.
+
 * If a higher-order function term has inst 'ground' it is now assumed to have
   the standard higher-order function inst 'func(in, .., in) = out is det'.  
   This makes higher-order functional programming much easier, particularly when

Index: builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/builtin.m,v
retrieving revision 1.63
diff -u -r1.63 builtin.m
--- builtin.m	18 Oct 2001 10:26:58 -0000	1.63
+++ builtin.m	18 Dec 2001 03:36:18 -0000
@@ -126,6 +126,11 @@
 :- pred unsafe_promise_unique(T, T).
 :- mode unsafe_promise_unique(in, uo) is det.
 
+% Func version of unsafe_promise_unique/2.
+
+:- func unsafe_promise_unique(T) = T.
+:- mode unsafe_promise_unique(in) = uo is det.
+
 %-----------------------------------------------------------------------------%
 
 % A call to the function `promise_only_solution(Pred)' constitutes a
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------