[m-rev.] for review: fix unused pred warnings for library/store.m
Julien Fischer
jfischer at opturion.com
Mon Nov 23 00:39:57 AEDT 2020
On Mon, 23 Nov 2020, Zoltan Somogyi wrote:
> 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.
Yes, that's why I wrote direct attempts; the rest have to be handled at
runtime. (We already do something similar when you attempt to unify
higher-order terms.)
Julien.
More information about the reviews
mailing list