[m-rev.] [m-dev.] gh72 test failures at higher optimization levels
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
More information about the reviews