[commit: ghc] master: Fix kind quantification (again) (7a7530a)

[Simon Peyton Jones]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

https://github.com/ghc/ghc/commit/7a7530a9d4f7cb630ab8d69dd12324e1bf61faed

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

commit 7a7530a9d4f7cb630ab8d69dd12324e1bf61faed
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu May 2 17:28:20 2013 +0100

    Fix kind quantification (again)
    
    We simply weren't quantifying kind variables at the points we
    were claiming.  In paritcular, in
         forall (a:k). blah
    we quantify the 'k' around the 'forall a', provided k isn't
    already in scope

 compiler/hsSyn/HsTypes.lhs        |  6 ++---
 compiler/rename/RnTypes.lhs       | 12 ++++------
 compiler/typecheck/TcHsType.lhs   | 37 +++++++++++++++++------------
 compiler/typecheck/TcInteract.lhs | 50 +++++++++++++++++++++++++++------------
 compiler/typecheck/TcMType.lhs    | 11 ++++++++-
 compiler/typecheck/TcSMonad.lhs   | 16 +++++++------
 6 files changed, 84 insertions(+), 48 deletions(-)


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

    git show 7a7530a9d4f7cb630ab8d69dd12324e1bf61faed