[m-rev.] for review: fix unused pred warnings for library/store.m
Zoltan Somogyi
zoltan.somogyi at runbox.com
Mon Nov 23 00:25:09 AEDT 2020
On Sun, 22 Nov 2020 21:46:22 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> The compiler could check for (and reject) direct attempts to unify / compare
> io.states and stores at compile time. (That said, programs that attempt to do
> that are already pretty contrived ...)
The unify or compare could be disguised, e.g. by putting stores into univs,
and having a different module unpacking the univs and calling unify or compare.
> The diff looks fine.
Thanks for that. I followed all your suggestions.
Zoltan.
More information about the reviews
mailing list