From: simonpj <unknown>
Date: Mon, 31 Jan 2005 13:53:29 +0000 (+0000)
Subject: [project @ 2005-01-31 13:53:29 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~1145
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=c269f6621d2331245aea1758e3dc92fcc53687da;p=ghc-hetmet.git

[project @ 2005-01-31 13:53:29 by simonpj]
Wibble to hoistForAllTys
---

diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs
index 1c330cb..d31866d 100644
--- a/ghc/compiler/typecheck/TcType.lhs
+++ b/ghc/compiler/typecheck/TcType.lhs
@@ -683,7 +683,7 @@ hoistForAllTys ty
 	--	if t2 is a for-all type, push t1 inside it
 	--	if t2 is (pred -> t3), check for duplicates
     mk_fun_ty ty1 ty2
-	| not (isOverloadedTy ty2) 	-- No forall's, or context => 
+	| not (isSigmaTy ty2)	 	-- No forall's, or context => 
 	= FunTy ty1 ty2 	
 	| PredTy p1 <- ty1		-- ty1 is a predicate
 	= if p1 `elem` theta then 	-- so check for duplicates