#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