Remove incompete(?) pattern support for SIMD values
commit8016c5ccfe3297b95924bf61037d5b69e3e199b0
authorBenjamin Saunders <besaunde@sfu.ca>
dateFri 21 Jun 2013, 15:39 (13 years ago)
parented0c5c6
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