[commit: ghc] master: Refactor computing dependent type vars (17eb241)

[git at git.haskell.org]

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

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

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

commit 17eb2419c42c70d7436b6b8cff0cef705353bb4e
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


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

17eb2419c42c70d7436b6b8cff0cef705353bb4e
 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           | 41 ------------------
 6 files changed, 163 insertions(+), 112 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 17eb2419c42c70d7436b6b8cff0cef705353bb4e