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

Reply via email to