[m-rev.] [m-dev.] gh72 test failures at higher optimization levels

[Peter Wang]

On Thu, 28 Jan 2021 19:49:06 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> 2021-01-28 16:46 GMT+11:00 "Peter Wang" <novalazy at gmail.com>:
> > I think we should just disallow higher order terms with daio arguments.
> 
> That was my original suggestion.

Oh, right.

> 
> > That will remove the need to solve any of the points above, except (5).
> 
> It shouldn't be too hard to get intermod.m to never put  predicates
> with daio arguments into .opt files. Together with disallowing daio
> higher order terms, that should do the trick. Can anyone think of
> a counterexample?

I don't see the connection to .opt files.

The problem with calls to imported predicates not being transformed is that
find_and_record_any_direct_arg_in_out_posns is called from simplify_proc,
but simplify_proc only called for valid non-imported predicates
(via process_valid_nonimported_preds_errors).

Peter