[m-rev.] For review: Java implementation of private_builtin library

[Julien Fischer]

On Wed, 21 Jan 2004, James Goddard wrote:

> Estimated hours taken: 1
> Branches: main
>
> Implement some library procedures for the Java back-end.
>
> library/private_builtin.m:
> 	Implement the following functions in Java:
> 		store_ticket/1
> 		reset_ticket_undo/1
> 		reset_ticket_commit/1
> 		reset_ticket_solve/1
> 		discard_ticket/1
> 		prune_ticket/1
> 		mark_ticket_stack/1
> 		prune_tickets_to/1
> 		gc_trace/1
> 		free_heap/1
> 		mark_hp/1
> 		restore_hp/1
> 		imp/0
>
> ...
>  "").
>  :- pragma foreign_proc(il,
> +	imp,
> +	[will_not_call_mercury, thread_safe, max_stack_size(0)],
> +"").
> +:- pragma foreign_proc("Java",
>  	imp,
>  	[will_not_call_mercury, thread_safe, max_stack_size(0)],
>  "").

Why does the Java version require the max_stack_size attribute?  I thought
that this was only needed by the IL backend.

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