[commit: ghc] master: Fix over-zealous ASSERT in TcUnify (1353d1e)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected]> 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'