[GHC] #4012: Compilation results are not deterministic

GHC ghc-devs at haskell.org
Tue Sep 2 07:50:22 UTC 2014


#4012: Compilation results are not deterministic
-------------------------------------+-------------------------------------
              Reporter:  kili        |            Owner:
                  Type:  bug         |           Status:  new
              Priority:  normal      |        Milestone:  7.10.1
             Component:  Compiler    |          Version:  6.12.2
            Resolution:              |         Keywords:
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Difficult (2-5
       Type of failure:  Other       |  days)
             Test Case:              |       Blocked By:
              Blocking:              |  Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by simonmar):

 We can separate this problem into two:

 1. non-determinism in the ABI, which leads to different ABI hashes being
 generated, and different package identities in the package database.  This
 annoys OS packagers, who like to be able to generate deterministic package
 names.

 2. non-determinism in the generated object file.  (who cares about this
 and why?)

 (1) is a prerequisite for (2), and (2) is more difficult.  The ticket
 description contains a list of issues that need to be fixed for (1).

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


More information about the ghc-tickets mailing list