[GHC] #4372: Extending quasiquotation support

[GHC]

#4372: Extending quasiquotation support
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:  7.12.1
       Component:  Template Haskell  |                 Version:  6.12.3
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by gershomb):

 At this point I consider this a "nice idea" but I'm not sure how to modify
 the parser to handle it within the many grammatical constraints we already
 have. The somewhat clunky syntax that was pointed out by Simon upthread is
 actually adequate for this. This, for example is the style adopted by
 Manuel's language-c-inline:

 {{{
 nslog msg = $(objc ['msg :> ''String] (void [cexp| NSLog(@"Here is a
 message from Haskell: %@", msg) |]))
 }}}

 Here, we use the quasiquoter to capture the expression, and then embed
 that quasiquoted expression itself within a TH block, in order to pass in
 additional information during codegen.

 If a lighter-weight syntax was possible, I'd remain all for it. But, I
 honestly can't think how to provide it given the constraints we have -- my
 patch at the time didn't really solve the problem, and I haven't had any
 better ideas since :-)

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4372#comment:19>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler