Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812)

[Pip Cet]

On Sun, Mar 7, 2021 at 7:07 AM Andrea Corallo <akrl@sdf.org> wrote:
> Pip Cet <pipcet@gmail.com> writes:
> >> Still have to look into the missed optimization for the null returning
> >> function, will do.
> >
> > I'm not sure what you're referring to here.
>
> I was referring to:
>
> Pip Cet <pipcet@gmail.com> writes:
>
> > subr-type (function (t) nil). However, the compiled code appears to
> > work correctly in both cases.

Oh, okay. I don't think that was a mere missed optimization, claiming
a returning function never returns is bound to cause miscompilation
bugs one day. However, it appears your recent changes have fixed the
cases I'm aware of :-)

Pip