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

[git at git.haskell.org]

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

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

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

commit b46513d224e527f3d4bbf829c802a2a394ce3b88
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


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

b46513d224e527f3d4bbf829c802a2a394ce3b88
 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 b46513d224e527f3d4bbf829c802a2a394ce3b88