[commit: ghc] wip/new-flatten-skolems-Oct14: Refactor skolemising, and newClsInst (4290bda)

[git at git.haskell.org]

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

On branch  : wip/new-flatten-skolems-Oct14
Link       : http://ghc.haskell.org/trac/ghc/changeset/4290bdaef7d7290efebeb537194dee5accf14b6a/ghc

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

commit 4290bdaef7d7290efebeb537194dee5accf14b6a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Oct 29 16:26:53 2014 +0000

    Refactor skolemising, and newClsInst
    
    This makes newClsInst (was mkInstance) look more like newFamInst, and simplifies
    the plumbing of the overlap flag, and ensures that freshening (required by
    the InstEnv stuff) happens in one place.
    
    On the way I also tided up the rather ragged family of tcInstSkolTyVars and
    friends.  The result at least has more uniform naming.


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

4290bdaef7d7290efebeb537194dee5accf14b6a
 compiler/typecheck/FamInst.lhs    |  14 ++---
 compiler/typecheck/Inst.lhs       |  32 +++++++++--
 compiler/typecheck/TcDeriv.lhs    |  43 ++++++--------
 compiler/typecheck/TcInstDcls.lhs |  11 +---
 compiler/typecheck/TcMType.lhs    | 116 ++++++++++++++++++++++----------------
 5 files changed, 115 insertions(+), 101 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 4290bdaef7d7290efebeb537194dee5accf14b6a