[m-rev.] [m-dev.] gh72 test failures at higher optimization levels
novalazy at gmail.com
Fri Jan 29 11:11:25 AEDT 2021
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.
> > 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
More information about the reviews