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

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

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

commit f9fcb34b7eaeae5cc08e078cc764f679142b0b63
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.


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

f9fcb34b7eaeae5cc08e078cc764f679142b0b63
 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 f9fcb34b7eaeae5cc08e078cc764f679142b0b63