[commit: ghc] master: Refactoring around FunDeps (d53d808)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d53d80890f2762b78071f5d53c88dc9e6c0ca72e/ghc

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

commit d53d80890f2762b78071f5d53c88dc9e6c0ca72e
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Jul 24 10:40:35 2015 +0100

    Refactoring around FunDeps
    
    This refactoring was triggered by Trac #10675.
    
    We were using 'improveClsFD' (previously called 'checkClsFD') for
    both
      * Improvement: improving a constraint against top-level instances
      * Consistency: checking when two top-level instances are
        consistent
    
    Using the same code for both seemed attractive at the time, but
    it's just too complicated.  So I've split it:
     * Improvement: improveClsFD
     * Consistency: checkFunDeps
    
    Much clearer now!


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

d53d80890f2762b78071f5d53c88dc9e6c0ca72e
 compiler/typecheck/FunDeps.hs | 119 +++++++++++++++++++++++-------------------
 compiler/typecheck/Inst.hs    |  27 +++++-----
 compiler/types/Unify.hs       |  40 +++++++-------
 3 files changed, 100 insertions(+), 86 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 d53d80890f2762b78071f5d53c88dc9e6c0ca72e