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
#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) 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