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

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

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

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


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

ce6d237c8e52c8b7436aef25c07abcf6d8381daf
 compiler/typecheck/TcHsType.hs   | 29 ++++++------
 compiler/typecheck/TcMType.hs    | 56 ++++++++++++-----------
 compiler/typecheck/TcPatSyn.hs   | 22 ++++-----
 compiler/typecheck/TcSimplify.hs | 33 +++++++-------
 compiler/typecheck/TcType.hs     | 96 ++++++++++++++++++++++++++++++++++++++++
 compiler/types/Type.hs           | 42 ------------------
 6 files changed, 165 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 ce6d237c8e52c8b7436aef25c07abcf6d8381daf