[m-rev.] for review: java backend abort on private_builtin.m

[Julien Fischer]

On Thu, 23 Apr 2009, Zoltan Somogyi wrote:

> On 23-Apr-2009, Peter Wang <novalazy at gmail.com> wrote:
>> Fix an abort when compiling private_builtin.m with the Java backend.
>> `--optimize-constructor-last-call' is incompatible with Java but the
>> declarations for the builtins that it uses are in private_builtin.m, so
>> predicates get added with bodies which aren't handled by the Java backend.
>> Since the predicates won't be called anyway, it's safe to replace the bodies
>> with nothing.
>
> Why did you choose this approach? I would have though the obvious approach
> would be to
>
> - make Java and Erlang imply --no-optimize-constructor-last-call, and

That is already the case (doubly so for Java since --highlevel-data also
implies --no-optimize-constructor-last-call).

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------