Re: [Haskell-cafe] Question on Coerce

This optimization happens after Core. Core is typed, and this optimization only makes sense after type erasure.

On Dec 2, 2020, at 9:16 AM, Brent Walker wrote:

 At least up to the core representation (generated with -O2) the optimization you suggest has not happened (see the marked line below). Does it happen further down the pipeline?