[m-rev.] For review: Implement construct__null/1 in Java

[James Goddard]

Estimated hours taken: 0.1
Branches: main

Implement some library procedures for the Java back-end.

library/construct.m:
	Implement null/1.


Index: construct.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/construct.m,v
retrieving revision 1.13
diff -u -d -r1.13 construct.m
--- construct.m	12 Nov 2003 12:10:38 -0000	1.13
+++ construct.m	20 Jan 2004 03:20:30 -0000
@@ -188,6 +188,13 @@
     SUCCESS_INDICATOR = (S == null);
 ").
 
+:- pragma foreign_proc("Java",
+    null(S::in),
+    [will_not_call_mercury, thread_safe, promise_pure],
+"
+    succeeded = (S == null);
+").
+
 :- pred get_functor_2(type_desc__type_desc::in, int::in, string::out, int::out,
     list(type_desc__type_desc)::out, list(string)::out) is semidet.
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------