[GHC] #4012: Compilation results are not deterministic

GHC ghc-devs at haskell.org
Wed May 11 15:20:01 UTC 2016


#4012: Compilation results are not deterministic
-------------------------------------+-------------------------------------
        Reporter:  kili              |                Owner:  niteria
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.2.1
       Component:  Compiler          |              Version:  6.12.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Other             |            Test Case:
      Blocked By:  11362             |             Blocking:
 Related Tickets:  #10424            |  Differential Rev(s):  Phab:D910,
                                     |  Phab:D1073, Phab:D1133, Phab:D1192,
                                     |  Phab:D1268, Phab:D1360, Phab:D1373,
       Wiki Page:                    |  Phab:D1396, Phab:D1457, Phab:D1468,
  DeterministicBuilds                |  Phab:D1487, Phab:D1504, Phab:D1508
-------------------------------------+-------------------------------------

Comment (by Bartosz Nitka <niteria@…>):

 In [changeset:"3edbd091341ab0ab60862ba18d3107f34c7fc876/ghc" 3edbd09/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="3edbd091341ab0ab60862ba18d3107f34c7fc876"
 Document SCC determinism

 I've documented the guarantees that stronglyConnCompFromEdgedVertices
 provides and commented on the call sites to explain why they are
 OK from determinism standpoint. I've changed the functions to
 nonDetUFM versions, so that it's explicit they could introduce
 nondeterminism.  I haven't defined container (VarSet, NameSet)
 specific versions, so that we have less functions to worry about.

 Test Plan: this is mostly just documentation,
 it should have no runtime effect

 Reviewers: bgamari, simonmar, austin, simonpj

 Reviewed By: simonpj

 Subscribers: thomie

 Differential Revision: https://phabricator.haskell.org/D2194

 GHC Trac Issues: #4012
 }}}

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


More information about the ghc-tickets mailing list