#13608: Expose the type of quasiquotes -------------------------------------+------------------------------------- Reporter: | Owner: facundo.dominguez | facundo.dominguez Type: bug | Status: patch Priority: normal | Milestone: Component: Template Haskell | Version: 8.0.1 Resolution: | Keywords: QuasiQuotes Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: 12778 | Differential Rev(s): Phab:D3610 Wiki Page: | -------------------------------------+------------------------------------- Comment (by facundo.dominguez):
I don't understand the nested-splice issue.
Suppose we have solved this problem for top-level splices, `[java| ... |]` gets the types it needs. Then one day someone tries `[| ... [java| ... |] ... |]`, and finds that it fails because the java quasiquoter gets the type of the top-level splice instead of its own type which occurs nested in the outer brackets. The solution discussed in ticket:12778#comment:11 is more attractive in this regard. It says: design any feature to work with outer splices. Presto! It will also work with nested splices because they are treated the same. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13608#comment:20 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler