[commit: ghc] master: Add kind-defaulting in simplifyInfer (fixes Trac #7332) (7435825)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/743582514c068c34235af2750dd5a726e981b77c

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

commit 743582514c068c34235af2750dd5a726e981b77c
Author: Simon Peyton Jones <[email protected]>
Date:   Mon Oct 15 10:56:22 2012 +0100

    Add kind-defaulting in simplifyInfer (fixes Trac #7332)
    
    The basic point here is described in TcSimplify
       Note [Promote _and_ default when inferring]
    The new thing is that, when figuring out the predicates
    to abstact over in simplifyInfer, we must default OpenKind
    to *, just as we do in quantifyTyVar. I had not realised
    how important this was until Oleg came up with Trac #7332.
    
    As usual I did some refactoring, so the patch affects
    many more lines than strictly necessary.

 compiler/typecheck/TcSimplify.lhs |  266 ++++++++++++++++++-------------------
 1 files changed, 129 insertions(+), 137 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 743582514c068c34235af2750dd5a726e981b77c