Re: -dinline-check for symbolic names?

On Fri, Aug 06 2021, Michael Sperber wrote:

On Wed, Aug 04 2021, Carter Schonwald wrote:

...

I’m not sure about the pragma debugging, but are you using it in point free style? Cause I’m that case it may not be inclined because it’s not being fully applied on the left hand side?

Good point, but I checked, and it's fully applied. :-(

Another note: Once I change the INLINE to INLINE [0], everything works: (&&&) gets inlined, and -dinline-check works. Explanation welcome ... -- Regards, Mike