[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