[m-rev.] for review: Allow pred or func containing coerce to be opt-exported.

Julien Fischer jfischer at opturion.com
Tue Apr 13 17:34:19 AEST 2021


On Tue, 13 Apr 2021, Peter Wang wrote:

> compiler/intermod.m:
>    Make the presence of a coerce goal not disqualify a predicate or
>    function from being written out to a .opt file.
>
> compiler/hlds_out_goal.m:
>    Write coerce goal using function call syntax "X = coerce(Y)".
>    instead of predicate call syntax "coerce(X, Y)".

That's fine.

Julien.


More information about the reviews mailing list