@@ -238,8 +238,6 @@ toPat tc tms = evalState (mapM (\x -> toPat' x []) tms) []
238 | tc = return $ PCon (UN "Integer") 6 []
238 | tc = return $ PCon (UN "Integer") 6 []
239 toPat' (Constant (AType (ATInt (ITFixed n)))) []
239 toPat' (Constant (AType (ATInt (ITFixed n)))) []
240 | tc = return $ PCon (UN (fixedN n)) (7 + fromEnum n) [] -- 7-10 inclusive
240 | tc = return $ PCon (UN (fixedN n)) (7 + fromEnum n) [] -- 7-10 inclusive
241− toPat' (Constant (AType (ATInt (ITVec ity count)))) []
242− | tc = return $ PCon (UN (fixedN ity)) ((fromEnum ity + 1) * 1000 + count) [] -- 1000-5000 inclusive
243 toPat' (P Bound n _) [] = do ns <- get
241 toPat' (P Bound n _) [] = do ns <- get
244 if n `elem` ns
242 if n `elem` ns
245 then return PAny
243 then return PAny