Proposal: EPHEMERAL pragma

[Antoine Latter]

On Thu, Oct 25, 2012 at 9:45 AM, Johan Tibell <johan.tibell at gmail.com> wrote:
> Interesting idea.
>
> On Thu, Oct 25, 2012 at 6:56 AM, José Pedro Magalhães <jpm at cs.uu.nl> 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