Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/e20884be2952aa9d4ac7df2b2005a61595af7132 >--------------------------------------------------------------- commit e20884be2952aa9d4ac7df2b2005a61595af7132 Author: Jose Pedro Magalhaes <[email protected]> Date: Tue Nov 15 10:07:10 2011 +0000 Minor fix, and transform a failure into a warning This warning has to be addressed later, though. It is only relevant when using -XPolyKinds. >--------------------------------------------------------------- compiler/coreSyn/CoreLint.lhs | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs index 77747aa..f6627f3 100644 --- a/compiler/coreSyn/CoreLint.lhs +++ b/compiler/coreSyn/CoreLint.lhs @@ -680,7 +680,7 @@ lintKind (FunTy k1 k2) = lintKind k1 >> lintKind k2 lintKind kind@(TyConApp tc kis) - = do { unless (tyConArity tc == length kis || isSuperKindTyCon tc) + = do { unless (isSuperKindTyCon tc || tyConArity tc == length kis) (addErrL malformed_kind) ; mapM_ lintKind kis } where @@ -863,8 +863,8 @@ lintType (TyVarTy tv) = do { checkTyCoVarInScope tv ; let kind = tyVarKind tv ; lintKind kind - ; if (isSuperKind kind) then failWithL msg - else return kind } + ; WARN( isSuperKind kind, msg ) + return kind } where msg = hang (ptext (sLit "Expecting a type, but got a kind")) 2 (ptext (sLit "Offending kind:") <+> ppr tv) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
