[commit: ghc] master: Refactor skolemising, and newClsInst (54f9188)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/54f91886aa2562c0ae0386030b2d012c2f84707b/ghc

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

commit 54f91886aa2562c0ae0386030b2d012c2f84707b
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.


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

54f91886aa2562c0ae0386030b2d012c2f84707b
 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 54f91886aa2562c0ae0386030b2d012c2f84707b