[GHC] #4012: Compilation results are not deterministic
GHC
ghc-devs at haskell.org
Mon Sep 21 11:56:50 UTC 2015
#4012: Compilation results are not deterministic
-------------------------------------+-------------------------------------
Reporter: kili | Owner: niteria
Type: bug | Status: patch
Priority: high | Milestone: 8.0.1
Component: Compiler | Version: 6.12.2
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: Other | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Revisions: Phab:D910,
| Phab:D1073, Phab:D1133, Phab:D1192
-------------------------------------+-------------------------------------
Comment (by meteficha):
Assuming that the main source of non-deterministic Uniques is the non-
deterministic, lazy I/O, how about making a different Unique "namespace"
for each file? Conceptually, it would mean having:
{{{#!hs
data Unique = MkUnique {-# UNPACK #-} !Int (Maybe ModuleName)
}}}
There could still be problems if each file was processed in a non-
deterministic way, but now files could be processed in any order without
changing the Uniques.
This is of course an extremely naive suggestion, I'm sharing it with the
hope that it may spark some better idea in someone else's mind :).
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:119>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list