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

[Evan Laforge]

I noticed a recent commit https://phabricator.haskell.org/D578
implements this.  This is exciting!  But I suppose it's too late for
7.10?  Any chance of it making it in?

I should note that to me the most interesting part of this has nothing
to do with debugging.  If you have a logging system, or tests, you
need to have file name and line numbers.  I've always done it via a
custom preprocessor, but this extension would allow me to get rid of
the preprocessor, which is very nice.  It also seems simpler than the
whole call stack thing because I only care about the first entry of
the stack.

On Thu, Dec 5, 2013 at 4:13 AM, Simon Peyton-Jones
<simonpj at microsoft.com> wrote:
> Simon
>
> Interesting!
>
> There's been lot of work on this kind of thing, mostly collected here:
> https://ghc.haskell.org/trac/ghc/wiki/ExplicitCallStack
>
> I didn't know about your work, so I've added it.
>
> I'd be happy to see progress on this front. Tristan's "Finding the needle" stuff was close to "ready" but there were some awkward points (described in his paper) that meant he didn't feel it was done.
>
> To progress this, it'd be helpful to look at his work, articulate what the differences are, perhaps take the best of both, identify weak spots, and figure out what (if anything) should be done about them.
>
> We don't want the best to be the enemy of the good, but it's also worth ensuring that we take advantage of all the land-mine-discovery that earlier work has done.
>
> Simon
>
> | -----Original Message-----
> | From: Haskell-Cafe [mailto:haskell-cafe-bounces at haskell.org] On Behalf
> | Of Simon Hengel
> | Sent: 02 December 2013 22:06
> | To: Evan Laforge
> | Cc: Haskell Cafe
> | Subject: Re: [Haskell-cafe] RFC: rewrite-with-location proposal
> |
> | Hi Evan!
> |
> | On Mon, Dec 02, 2013 at 01:43:31PM -0800, Evan Laforge wrote:
> | > Hey, whatever happened with this?
> |
> | My code for this is here:
> |
> |     https://github.com/sol/ghc/commits/rewrite-with-location
> |
> | Revision 03e63f0a70ec8c0fece4049c2d714ea533494ec2 was fully functional,
> | but it needs to be rebased on current master.  The missing feature here
> | is that type checking only happens on rewrite.  I just added a wip
> | commit with local modifications that do the type checking earlier, when
> | the module with the rewrite pragma is compiled.
> |
> | > Is there anything in the way of getting this merged?  Is there some
> | > way I could help?
> |
> | This needs rebasing + I'm not sure if the wip commit currently compiles.
> | I'm somewhat swamped, so I'm not sure when I'll have time to work on
> | this.  If you want to help, that would be awesome!  I'm happy to help
> | with any questions (solirc on freenode, feel free to say hello in #hspec
> | ;).
> |
> | Cheers,
> | Simon
> | _______________________________________________
> | Haskell-Cafe mailing list
> | Haskell-Cafe at haskell.org
> | http://www.haskell.org/mailman/listinfo/haskell-cafe