Proposal: Overloaded Quotes for Template Haskell
simonpj at microsoft.com
Wed Jan 18 12:25:41 CET 2012
| Simon, the two-week deadline has passed but I'm hesitant to transfer
| this to the bug tracker unless you're on board (GHC HQ would likely be
| the ones to implement it afterall). Does what I'm suggesting make
| sense, or do we need more discussion on/explanation of this?
Um. What 2-week deadline? That's for library changes, whereas you are proposing a language extension, which is a much bigger deal.
You have done what I asked, and done a more careful description, but have fallen down on my end: I have not had time to give it the attention it deserves. I am just _utterly_ snowed under at the moment (www.computingatschool.org.uk).
Best thing is to
* start a GHC wiki page (like http://hackage.haskell.org/trac/ghc/wiki/Records)
* explain the problem you are trying to solve
* describe the solution, with examples
* link to your pdf
* do not rely on the reader also reading the email thread
I am interested to know whether anyone else is interested in your proposal. The more support, the more likely.
I do apologise for dragging my feet, but my bandwidth is limited.
| On Thu, Jan 5, 2012 at 1:07 PM, Michael D. Adams <mdmkolbe at gmail.com> wrote:
| > As suggested, I've written up the typing judgement that have to change
| > relative to the TH paper. (Only two judgments have to change.) I've
| > attached those in a PDF to avoid having to write typing judgments in
| > ASCII art. If the PDF causes any one trouble, let me know and I can
| > transcribe it to ASCII art.
| > I'm not opposed to writing an implementation myself, but I'm not
| > terribly familiar with the internals of GHC so it would be difficult.
| > (I really don't understand the treatment of "pending splices" or
| > HsSpliceOut.)
More information about the Libraries