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

[Zoltan Somogyi]

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?

Zoltan.