[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