Proposal: Overloaded Quotes for Template Haskell

Simon Peyton-Jones simonpj at
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 (  

Best thing is to 
 * start a GHC wiki page (like
 * 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> 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 mailing list