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

[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/d563710d4277897b4704e7e116d2a805de0ec962/ghc

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

commit d563710d4277897b4704e7e116d2a805de0ec962
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
    
    (cherry picked from commit 48e9a1f5521fa3185510d144dd28a87e452ce134)


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

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