Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds
http://hackage.haskell.org/trac/ghc/changeset/d7acfc4e4d36896297160ebe283682f3893b17a5 >--------------------------------------------------------------- commit d7acfc4e4d36896297160ebe283682f3893b17a5 Author: Julien Cretin <g...@ia0.eu> Date: Wed Sep 21 18:02:36 2011 +0200 Kind unification during type unification. Relaxing class instance termination condition to ignore kind arguments. Fixing Typeable[1-7] to be kind-monomorphic. compiler/typecheck/TcDeriv.lhs | 4 +- compiler/typecheck/TcHsSyn.lhs | 5 ++- compiler/typecheck/TcHsType.lhs | 11 ++++++++- compiler/typecheck/TcMType.lhs | 29 +++++++++++++++++++++---- compiler/typecheck/TcSMonad.lhs | 10 +------- compiler/typecheck/TcType.lhs | 5 ++- compiler/typecheck/TcUnify.lhs | 43 ++++++++++++++++++++++++-------------- compiler/types/Type.lhs | 10 +++++--- 8 files changed, 76 insertions(+), 41 deletions(-) Diff suppressed because of size. To see it, use: git show d7acfc4e4d36896297160ebe283682f3893b17a5 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
