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 <[email protected]> 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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
