[m-rev.] For review: Implement copy_pred test case in Java.

[James Goddard]

Estimated hours taken: 0.1
Branches: main

tests/hard-coded/copy_pred.m:
	Implemented inst_cast/2 in Java.

Index: copy_pred.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/copy_pred.m,v
retrieving revision 1.2
diff -u -d -r1.2 copy_pred.m
--- copy_pred.m	28 Nov 2002 16:33:44 -0000	1.2
+++ copy_pred.m	19 Jan 2004 04:00:59 -0000
@@ -26,6 +26,9 @@
 	:- pragma foreign_proc("C#",
 		inst_cast(X::in, Y::out(pred(in, out) is det)),
 		[will_not_call_mercury, thread_safe, promise_pure], "Y = X;").
+	:- pragma foreign_proc("Java",
+		inst_cast(X::in, Y::out(pred(in, out) is det)),
+		[will_not_call_mercury, thread_safe, promise_pure], "Y = X;").
 
         :- pred foo(int, int, string, string) is det.
         :- mode foo(in, in, in, out) is det.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------