[m-rev.] for review: transform X = f to true or fail if X's binding is known

[Zoltan Somogyi]

On Fri, 19 Sep 2025 11:32:08 +1000, Julien Fischer <jfischer at opturion.com> wrote:

> On Thu, 18 Sept 2025 at 17:07, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
> >
> > For review by anyone. I am particularly seeking feedback
> > about whether the technique in this diff should be applied
> > to the compile-time evaluations of calls to known library
> > predicates and functions as well.
> 
> Does compile-time evaluation of library calls lead to simple code warnings?
> Or do you want to do this because re-running simplify after library
> call evaluation
> has occurred may allow further simplifications to occur?

The former, though this applies only to situations in which the replacement
code is simple enough to warrant a --warn-simple-code warning. I think
there are some, but I haven't checked yet.

> The diff itself is fine.

Thanks.

Zoltan.