Re: Why doesn’t the simple optimizer fuse casts?

On Apr 28, 2020, at 1:07 AM, Ben Gamari wrote:

Sounds like it would be worth a quick try.

I agree with Ben. I generally expect not to see nested casts -- the Cast constructor should rarely (never?) appear as an expression outside of mkCast. But you're right about the missing optimization opportunity if we do the naive thing. Let us know if you run into trouble with the "quick try"! Richard