Re: Proposal: EPHEMERAL pragma

On Thu, Oct 25, 2012 at 9:45 AM, Johan Tibell wrote:

Interesting idea.

On Thu, Oct 25, 2012 at 6:56 AM, José Pedro Magalhães wrote:

...

3. Emit a warning if the generated core code still contains uses of Rep.

I think this part will be really annoying, as GHC might end up generating warnings that the programmer can do nothing about (because some optimization failed to remove Rep).

This could be a new warning which is not included in -Wall by default. It would be more a report than a warning, I guess. Antoine