From: sof <unknown>
Date: Mon, 6 Apr 1998 18:35:24 +0000 (+0000)
Subject: [project @ 1998-04-06 18:35:24 by sof]
X-Git-Tag: Approx_2487_patches~836
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=7884da81852962202366fe8470f5cc5bb9b70699;p=ghc-hetmet.git

[project @ 1998-04-06 18:35:24 by sof]
new function: isForAllTy
---

diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs
index 6973687..3273b60 100644
--- a/ghc/compiler/types/Type.lhs
+++ b/ghc/compiler/types/Type.lhs
@@ -15,7 +15,7 @@ module Type (
 	mkSynTy, isSynTy,
 
 	mkForAllTy, mkForAllTys, splitForAllTy_maybe, splitForAllTys, 
-	applyTy, applyTys,
+	applyTy, applyTys, isForAllTy,
 
 	TauType, RhoType, SigmaType, ThetaType,
 	isTauTy,
@@ -333,6 +333,11 @@ splitForAllTy_maybe (SynTy _ ty)        = splitForAllTy_maybe ty
 splitForAllTy_maybe (ForAllTy tyvar ty) = Just(tyvar, ty)
 splitForAllTy_maybe _		        = Nothing
 
+isForAllTy :: GenType flexi -> Bool
+isForAllTy (SynTy _ ty)        = isForAllTy ty
+isForAllTy (ForAllTy tyvar ty) = True
+isForAllTy _		     = False
+
 splitForAllTys :: GenType flexi -> ([GenTyVar flexi], GenType flexi)
 splitForAllTys ty = split ty ty []
    where