[GHC] #14769: The RecompBecause [TH] check is not resume-build-safe

GHC ghc-devs at haskell.org
Thu Feb 22 11:05:09 UTC 2018


#14769: The RecompBecause [TH] check is not resume-build-safe
-------------------------------------+-------------------------------------
        Reporter:  nh2               |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect result  |  Unknown/Multiple
  at runtime                         |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #481              |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonmar):

 Will take a look at the github branch (you wouldn't perhaps consider
 Phabricator instead? It's much easier to review code there)

 > So I took a shot at that problem as well (making object files
 deterministic), taking a different approach than what was taken so far
 (instead of making uniques not appear in outputs, I'm trying to genrate
 them deterministically)

 I'd be surprised if you can do that, we thought pretty hard about whether
 this was feasible and came to the conclusion that it probably wasn't, due
 to things like parallel builds, ghc --make needing to have unique supplies
 for multiple modules, and lazy I/O in the typechecker.

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


More information about the ghc-tickets mailing list