Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/1353d1ef98603a1bff1f8eb181d1368e934b3647 >--------------------------------------------------------------- commit 1353d1ef98603a1bff1f8eb181d1368e934b3647 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Thu Dec 20 20:13:36 2012 +0000 Fix over-zealous ASSERT in TcUnify >--------------------------------------------------------------- compiler/typecheck/TcUnify.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs index 05d7918..638969a 100644 --- a/compiler/typecheck/TcUnify.lhs +++ b/compiler/typecheck/TcUnify.lhs @@ -244,7 +244,7 @@ matchExpectedTyConApp tc orig_ty -- (a::*) ~ Maybe -- because that'll make types that are utterly ill-kinded. -- This happened in Trac #7368 - defer = ASSERT2( isLiftedTypeKind res_kind, ppr tc ) + defer = ASSERT2( isSubOpenTypeKind res_kind, ppr tc ) do { kappa_tys <- mapM (const newMetaKindVar) kvs ; let arg_kinds' = map (substKiWith kvs kappa_tys) arg_kinds ; tau_tys <- mapM newFlexiTyVarTy arg_kinds' _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
