[commit: ghc] wip/ghc-8.0-det: Refactor computing dependent type vars (f57263b)

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

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

commit f57263b9092eedfd21f05a3dbe5cd61baca3fb57
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Apr 18 15:01:13 2016 +0100

    Refactor computing dependent type vars
    
    There should be no change in behaviour here
    
    * Move splitDepVarsOfType(s) from Type to TcType
    
    * Define data type TcType.TcDepVars, document what it means,
      and use it where appropriate, notably in splitDepVarsOfType(s)
    
    * Use it in TcMType.quantifyTyVars and friends


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

f57263b9092eedfd21f05a3dbe5cd61baca3fb57
 compiler/typecheck/TcHsType.hs   | 29 +++++++------
 compiler/typecheck/TcMType.hs    | 56 +++++++++++++-----------
 compiler/typecheck/TcPatSyn.hs   | 22 ++++------
 compiler/typecheck/TcSimplify.hs | 33 +++++++-------
 compiler/typecheck/TcType.hs     | 94 ++++++++++++++++++++++++++++++++++++++++
 compiler/types/Type.hs           | 42 ------------------
 6 files changed, 163 insertions(+), 113 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 f57263b9092eedfd21f05a3dbe5cd61baca3fb57