[commit: ghc] master: Tidy up the handling of kind generalisation (e0c849e)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/e0c849e0596baa1be828faf7b7de0b34be002612

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

commit e0c849e0596baa1be828faf7b7de0b34be002612
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Sun Mar 4 08:25:05 2012 +0000

    Tidy up the handling of kind generalisation
    
    In particular in forall abc. <blah> we should
    kind generalise over <blah> as well as over the
    kinds of a,b,c.
    
    This fixes bug (in Trac #5862, caught by Lint) in the handling of
      data SMaybe a where
         SNothing :: SMaybe 'Nothing
    where I didn't get a sufficiently general kind. And it's simpler.

 compiler/typecheck/TcHsType.lhs     |   45 +++++++----------------------------
 compiler/typecheck/TcPat.lhs        |    4 ++-
 compiler/typecheck/TcTyClsDecls.lhs |   43 +++++++++++++++++----------------
 3 files changed, 34 insertions(+), 58 deletions(-)


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

    git show e0c849e0596baa1be828faf7b7de0b34be002612