| 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. Simon | | On Thu, Jan 5, 2012 at 1:07 PM, Michael D. Adams <mdmkolbe@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.)