Repository : ssh://darcs.haskell.org//srv/darcs/ghc
Branch 'ghc-defer' now includes:
625bb55... Improve sync-all usage doc
221f409... Very small tweaks to pave the way for solving kind constraints
in the simplifier.
477946c... 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.
53fb26e... Now the constraint simplifier solves kind constraints as well.
e1a8d3f... Merge branch 'master' of http://darcs.haskell.org//ghc
979221c... Merge branch 'master' into ghc-defer
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
