From 510d96b44148caf7261dcc3530648c5905016efc Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 8 Feb 2001 15:00:28 +0000
Subject: [PATCH] [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?

---
 ghc/compiler/typecheck/TcType.lhs |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
1.7.10.4