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

[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/9f0062957cf88bf627e397d64f24698b83cbff3b/ghc

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

commit 9f0062957cf88bf627e397d64f24698b83cbff3b
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
    
    (cherry picked from commit 17eb2419c42c70d7436b6b8cff0cef705353bb4e)


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

9f0062957cf88bf627e397d64f24698b83cbff3b
 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 9f0062957cf88bf627e397d64f24698b83cbff3b