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

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