[m-rev.] diff: add `terminates' attribute to Java type_ctor_and_args/3

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

library/type_desc.m:
	Add a `terminates' attribute to the Java implementation of
	type_desc.type_ctor_and_args/3.

Julien.

Index: library/type_desc.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/type_desc.m,v
retrieving revision 1.24
diff -u -r1.24 type_desc.m
--- library/type_desc.m	26 Feb 2004 08:17:54 -0000	1.24
+++ library/type_desc.m	27 Feb 2004 14:25:56 -0000
@@ -407,7 +407,7 @@

 :- pragma foreign_proc("Java",
 	type_ctor_and_args(TypeDesc::in, TypeCtorDesc::out, ArgTypes::out),
-	[may_call_mercury, thread_safe, promise_pure],
+	[may_call_mercury, thread_safe, promise_pure, terminates],
 "
 	java.lang.Object [] result =
 			mercury.rtti_implementation.type_ctor_and_args_3_p_0(

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