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

Zoltan Somogyi zoltan.somogyi at runbox.com
Thu Jan 28 19:49:06 AEDT 2021

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?


More information about the reviews mailing list