[GHC] #13268: Backpack doesn't work with Template Haskell, even when it should

[GHC]

#13268: Backpack doesn't work with Template Haskell, even when it should
-------------------------------------+-------------------------------------
           Reporter:  ezyang         |             Owner:
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Template       |           Version:  8.0.1
  Haskell                            |
           Keywords:  backpack       |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Obviously, we can't run Template Haskell from an indefinite package when
 we are (solely) typechecking the indefinite package itself. But in
 principle, Template Haskell code from other packages should be fair game.

 Alas, this not the case, because GHC attempts to dynamic link in libraries
 for ALL dependencies, including the ones we don't have code for. Quick fix
 should be to not link those in?

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