From: simonmar <unknown>
Date: Thu, 8 Feb 2001 15:00:28 +0000 (+0000)
Subject: [project @ 2001-02-08 15:00:28 by simonmar]
X-Git-Tag: Approximately_9120_patches~2706
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=510d96b44148caf7261dcc3530648c5905016efc;hp=bfa348652cc8d75240bccdbbad819998f0396726;p=ghc-hetmet.git

[project @ 2001-02-08 15:00:28 by simonmar]
Allow zonking an unbound type variable with kind openTypeKind with voidTy.
I'm fairly sure this is ok - Simon?
---

diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs
index 3d260dd..73c183b 100644
--- a/ghc/compiler/typecheck/TcType.lhs
+++ b/ghc/compiler/typecheck/TcType.lhs
@@ -346,7 +346,7 @@ zonkTcTypeToType ty = zonkType zonk_unbound_tyvar ty
 	--	Void		if it has kind Lifted
 	--	:Void		otherwise
     zonk_unbound_tyvar tv
-	| kind == liftedTypeKind
+	| kind == liftedTypeKind || kind == openTypeKind
 	= tcPutTyVar tv voidTy	-- Just to avoid creating a new tycon in
 				-- this vastly common case
 	| otherwise