[commit: ghc] wip/ghc-8.0-det: Implement deterministic CallInfoSet (d3cc329)

git at git.haskell.org git at git.haskell.org
Mon Jul 18 17:58:46 UTC 2016


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ghc-8.0-det
Link       : http://ghc.haskell.org/trac/ghc/changeset/d3cc329a8e81fc14041c154e58a0a1f246fed951/ghc

>---------------------------------------------------------------

commit d3cc329a8e81fc14041c154e58a0a1f246fed951
Author: Bartosz Nitka <niteria at gmail.com>
Date:   Mon Jun 6 04:36:21 2016 -0700

    Implement deterministic CallInfoSet
    
    We need CallInfoSet to be deterministic because it determines the
    order that the binds get generated.
    
    Currently it's not deterministic because it's keyed on
    `CallKey = [Maybe Type]` and `Ord CallKey` is implemented
    with `cmpType` which is nondeterministic.
    
    See Note [CallInfoSet determinism] for more details.
    
    Test Plan: ./validate
    
    Reviewers: simonpj, bgamari, austin, simonmar
    
    Reviewed By: simonmar
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2242
    
    GHC Trac Issues: #4012


>---------------------------------------------------------------

d3cc329a8e81fc14041c154e58a0a1f246fed951
 compiler/specialise/Specialise.hs | 111 +++++++++++++++++++++++++-------------
 1 file changed, 74 insertions(+), 37 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc d3cc329a8e81fc14041c154e58a0a1f246fed951


More information about the ghc-commits mailing list