[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