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

Zoltan Somogyi zs at csse.unimelb.edu.au
Thu Apr 23 13:26:17 AEST 2009

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
- define the builtins used by the last constructor transformation as doing
  nothing for the Java and Erlang backends except abort (in case they get
  called accidentally).

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