[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