[GHC] #16176: Let-insertion for template haskell

[GHC]

#16176: Let-insertion for template haskell
-------------------------------------+-------------------------------------
        Reporter:  mpickering        |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Template Haskell  |              Version:  8.6.3
      Resolution:                    |             Keywords:
                                     |  TypedTemplateHaskell
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 A note about the metaocaml implementation. That works by trying to insert
 the expression at each locus and choosing the most outermost scope where
 it is possible to insert the expression. This check is performed by
 attempting to run the splice and then catching an exception if it leads to
 a variable being out of scope.

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