Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/5940bfd20dc9a6ca9b05b2c9743cdccd3cf45e4a >--------------------------------------------------------------- commit 5940bfd20dc9a6ca9b05b2c9743cdccd3cf45e4a Author: Simon Peyton Jones <simo...@microsoft.com> Date: Fri Feb 17 15:28:48 2012 +0000 Now I understand why Constraint is a sub-kind of ArgKind! >--------------------------------------------------------------- compiler/types/Kind.lhs | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/compiler/types/Kind.lhs b/compiler/types/Kind.lhs index b368415..21b029e 100644 --- a/compiler/types/Kind.lhs +++ b/compiler/types/Kind.lhs @@ -183,13 +183,14 @@ isSubOpenTypeKindCon kc = isSubArgTypeKindCon kc || isUbxTupleKindCon kc || isOpenTypeKindCon kc - || isConstraintKindCon kc -- Needed for error (Num a) "blah" - -- and so that (Ord a -> Eq a) is well-kinded isSubArgTypeKindCon kc = isUnliftedTypeKindCon kc || isLiftedTypeKindCon kc || isArgTypeKindCon kc + || isConstraintKindCon kc -- Needed for error (Num a) "blah" + -- and so that (Ord a -> Eq a) is well-kinded + -- and so that (# Eq a, Ord b #) is well-kinded isSubArgTypeKind :: Kind -> Bool -- ^ True of any sub-kind of ArgTypeKind _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
