Remove incompete(?) pattern support for SIMD values
commitbb52ade2e69cfdae9fcf705ea7b83f6215c184f8
authorBenjamin Saunders <besaunde@sfu.ca>
dateFri 21 Jun 2013, 15:39 (13 years ago)
parent7b7addb
src/Core/CaseTree.hs−2
@@ -238,8 +238,6 @@ toPat tc tms = evalState (mapM (\x -> toPat' x []) tms) []
238238 | tc = return $ PCon (UN "Integer") 6 []
239239 toPat' (Constant (AType (ATInt (ITFixed n)))) []
240240 | 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
243241 toPat' (P Bound n _) [] = do ns <- get
244242 if n `elem` ns
245243 then return PAny