[project @ 1999-11-01 17:09:54 by simonpj]

[ghc-hetmet.git] / ghc / compiler / basicTypes / DataCon.lhs

diff --git a/ghc/compiler/basicTypes/DataCon.lhs b/ghc/compiler/basicTypes/DataCon.lhs
index f8aa66a..0117a4f 100644 (file)
--- a/ghc/compiler/basicTypes/DataCon.lhs
+++ b/ghc/compiler/basicTypes/DataCon.lhs
@@ -378,8 +378,7 @@ splitProductType_maybe
 splitProductType_maybe ty
   = case splitAlgTyConApp_maybe ty of
        Just (tycon,ty_args,[data_con]) 
-          | isProductTyCon tycon &&            -- Checks for non-recursive
-            not (isExistentialDataCon data_con)
+          | isProductTyCon tycon               -- Checks for non-recursive, non-existential
           -> Just (tycon, ty_args, data_con, data_con_arg_tys)
           where
              data_con_arg_tys = map (substTy (mkTyVarSubst (dcTyVars data_con) ty_args))