[GHC] #481: Recompilation check fails for TH

GHC ghc-devs at haskell.org
Thu Dec 14 10:55:49 UTC 2017


#481: Recompilation check fails for TH
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  simonmar
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:  7.2.1
       Component:  Template Haskell  |              Version:  6.4.1
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect result  |  Unknown/Multiple
  at runtime                         |            Test Case:  TH_recompile
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonmar):

 I don't think there's any perf impact, the stability check is already
 being done. The problem you're most likely seeing is that the
 recompilation check for TH is more conservative than we need in many
 cases, because the compiler doesn't know what your TH code depends on so
 it has to assume the worst.

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


More information about the ghc-tickets mailing list