[m-rev.] diff: require promise_equivalent_solutions to be supported

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

configure.in:
	Require the installed compiler to support the
	promise_equivalent_solutions scope.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.432
diff -u -r1.432 configure.in
--- configure.in	19 Sep 2005 08:06:43 -0000	1.432
+++ configure.in	22 Sep 2005 13:39:15 -0000
@@ -228,6 +228,18 @@
 				N = 1
 			).

+		:- pred s(int::out) is det.
+
+		s(X) :-
+			promise_equivalent_solutions [[X]] (
+				s_2(X)
+			).
+
+		:- pred s_2(int::out) is cc_multi.
+
+		s_2(1).
+		s_2(2).
+
 		:- type a    ---> ac(int).

 		:- func a ^ elem(int, int) = int.

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