Remove use of isVanillaDataCon, which was wrong under the new FC dispensation
authorsimonpj@microsoft.com <unknown>
Fri, 22 Sep 2006 19:03:07 +0000 (19:03 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 22 Sep 2006 19:03:07 +0000 (19:03 +0000)
compiler/specialise/SpecConstr.lhs

index 78d1731..8bba247 100644 (file)
@@ -583,10 +583,7 @@ conArgOccs :: ArgOcc -> AltCon -> [ArgOcc]
 
 conArgOccs (ScrutOcc fm) (DataAlt dc) 
   | Just pat_arg_occs <- lookupUFM fm dc
-  = tyvar_unks ++ pat_arg_occs
-  where
-    tyvar_unks | isVanillaDataCon dc = [UnkOcc | tv <- dataConUnivTyVars dc]
-              | otherwise           = []
+  = [UnkOcc | tv <- dataConUnivTyVars dc] ++ pat_arg_occs
 
 conArgOccs other con = repeat UnkOcc
 \end{code}