[GHC] #4012: Compilation results are not deterministic

GHC ghc-devs at haskell.org
Wed May 18 12:51:44 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:"fffe3a25adab41d44943ed1be0191cf570d3e154/ghc"
 fffe3a25/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="fffe3a25adab41d44943ed1be0191cf570d3e154"
 Make inert_model and inert_eqs deterministic sets

 The order inert_model and intert_eqs fold affects the order that the
 typechecker looks at things. I've been able to experimentally confirm
 that the order of equalities and the order of the model matter for
 determinism. This is just a straigthforward replacement of
 nondeterministic VarEnv for deterministic DVarEnv.

 Test Plan: ./validate

 Reviewers: simonpj, goldfire, austin, bgamari, simonmar

 Reviewed By: simonmar

 Subscribers: thomie

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

 GHC Trac Issues: #4012
 }}}

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


More information about the ghc-tickets mailing list