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

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Apr 23 14:33:04 AEST 2009

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

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

More information about the reviews mailing list