[Haskell-cafe] RFC: rewrite-with-location proposal

[Daniel Trstenjak]

Hi Michael,

On Mon, Feb 25, 2013 at 02:41:19PM +0200, Michael Snoyman wrote:
> At that point, we've now made two changes to REWRITE rules:
> 
> 1. They can takes a new ALWAYS parameters.
> 2. There's a new, special identifier currentLocation available.
> 
> What would be the advantage is of that approach versus introducing a single
> new REWRITE_WITH_LOCATION pragma?

The name REWRITE_WITH_LOCATION could indicate that it's just a
REWRITE with an additional location, but not that it's used by
the compiler in a different way.

Perhaps using just another word instead of REWRITE could indicate
the difference of application.


Greetings,
Daniel