[Haskell-cafe] RFC: rewrite-with-location proposal
simonpj at microsoft.com
Thu Dec 5 12:13:33 UTC 2013
There's been lot of work on this kind of thing, mostly collected here:
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.
| -----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:
| 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
| Haskell-Cafe mailing list
| Haskell-Cafe at haskell.org
More information about the Haskell-Cafe