[GHC] #8025: "During interactive linking, GHCi couldn't find the following symbol" typechecker error with TemplateHaskell involved

[GHC]

#8025: "During interactive linking, GHCi couldn't find the following symbol"
typechecker error with TemplateHaskell involved
-------------------------------------+-------------------------------------
        Reporter:  mojojojo          |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  7.6.3
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:  x86
 Type of failure:  Incorrect         |            Test Case:
  warning at compile-time            |
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by bgamari):

 Duog, your approach seems like a very interesting compromise that I had
 not considered.  Great work!

 There is the question of which `HscTarget` we want to use here. Arguably
 `HscInterpreted` is more appropriate as it is faster to generate, faster
 to link, and doesn't unexpected leave object files lying around. However,
 it unfortunately lacks support for unboxed tuples and sums, which may
 break some (I suspect quite small) fraction of programs. It would be
 interesting to characterize the difference.

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