[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