[GHC] #10047: inconsistency in name binding between splice and quasiquotation

[GHC]

#10047: inconsistency in name binding between splice and quasiquotation
-------------------------------------+-------------------------------------
        Reporter:  rwbarton          |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:  7.12.1
       Component:  Template Haskell  |                 Version:  7.8.4
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:  th/T10047
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by goldfire):

 Replying to [comment:13 slyfox]:
 > I skimmed through testsuite failures on full validate today and found
 qq007 and qq008 failures:

 These failures are indeed due to this ticket -- we need to fix them up.
 But first, we have to decide what to do with this ticket in general.

 I have to say I find @spinda's arguments convincing. The idea that
 `[q|blah|]` is identical to `$(quoteDec q "blah")` is nice, but perhaps
 there is a reason for two separate mechanisms here. The splitting that
 @spinda is so worried about happens only for ''declaration''
 splice/quasiquotes, so we could have the splices/quasiquote consistency
 for other contexts. With some careful documentation in the manual, I think
 it's not hard for users to understand this difference.

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