[m-rev.] diff: implement int.domain_checks/0 for Java

[James Andrew GODDARD]

Estimated hours taken: 2
Branches: main

Implement some library procedures for the Java back-end.

library/int.m:
	Implement domain_checks/0 for Java.

Index: int.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/int.m,v
retrieving revision 1.94
diff -u -d -r1.94 int.m
--- int.m	12 Nov 2003 10:45:06 -0000	1.94
+++ int.m	9 Dec 2003 06:15:52 -0000
@@ -351,6 +351,10 @@
 	SUCCESS_INDICATOR = true;
 #endif
 ").
+:- pragma foreign_proc("Java", domain_checks,
+		[thread_safe, promise_pure], "
+	succeeded = true;
+").
 
 :- pragma inline(floor_to_multiple_of_bits_per_int/1).
 floor_to_multiple_of_bits_per_int(X) = Floor :-
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------