X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FTyCon.lhs;h=3a8209987aad9aafeece9264e0889e3d45c15a05;hb=fa6c4bf01427a4191a595afecf90d96b27bad306;hp=1471f57c5403b62e4bb36c681011f93ce2eb14e1;hpb=474b582b68ea9289f3da4355da816164138604b0;p=ghc-hetmet.git

diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs
index 1471f57..3a82099 100644
--- a/compiler/types/TyCon.lhs
+++ b/compiler/types/TyCon.lhs
@@ -20,8 +20,9 @@ module TyCon(
 	isFunTyCon, isUnLiftedTyCon, isProductTyCon, 
 	isAlgTyCon, isDataTyCon, 
 	isNewTyCon, unwrapNewTyCon_maybe, 
-	isSynTyCon, isClosedSynTyCon, 
+	isSynTyCon, isClosedSynTyCon, isOpenSynTyCon,
 	isPrimTyCon, 
+
 	isEnumerationTyCon, isGadtSyntaxTyCon, isOpenTyCon,
 	assocTyConArgPoss_maybe, isTyConAssoc, setTyConArgPoss,
 	isTupleTyCon, isUnboxedTupleTyCon, isBoxedTupleTyCon, tupleTyConBoxity,
@@ -682,6 +683,9 @@ isSynTyCon _		 = False
 isClosedSynTyCon :: TyCon -> Bool
 isClosedSynTyCon tycon = isSynTyCon tycon && not (isOpenTyCon tycon)
 
+isOpenSynTyCon :: TyCon -> Bool
+isOpenSynTyCon tycon = isSynTyCon tycon && isOpenTyCon tycon
+
 isGadtSyntaxTyCon :: TyCon -> Bool
 isGadtSyntaxTyCon (AlgTyCon { algTcGadtSyntax = res }) = res
 isGadtSyntaxTyCon other				       = False