Commit a3995529 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Remove use of isVanillaDataCon, which was wrong under the new FC dispensation

parent 79326edf
......@@ -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}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment