Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/477946c705a7fb2a0d5ed67aace33ee52771bc93 >--------------------------------------------------------------- commit 477946c705a7fb2a0d5ed67aace33ee52771bc93 Author: Dimitrios Vytiniotis <[email protected]> Date: Thu Dec 22 11:41:08 2011 +0000 Introduced new form of TcEvidence for KindCasts, this patch also fixes a bug in zonking: we must zonk the kinds of existential variables even if the variables themselves will not be affected. compiler/deSugar/DsBinds.lhs | 4 ++- compiler/typecheck/TcEvidence.lhs | 45 ++++++++++++++++++++++++++++--------- compiler/typecheck/TcHsSyn.lhs | 39 ++++++++++++++++++++++++------- 3 files changed, 67 insertions(+), 21 deletions(-) Diff suppressed because of size. To see it, use: git show 477946c705a7fb2a0d5ed67aace33ee52771bc93 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
