X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcType.lhs;h=73c183bcfe87ae0b0adc408d927eec5a74ea4981;hb=510d96b44148caf7261dcc3530648c5905016efc;hp=3d260ddfb806498e9419974c2bdeba21110dd79e;hpb=bfa348652cc8d75240bccdbbad819998f0396726;p=ghc-hetmet.git

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