Commit a83cc380 by Zachary Snow

omit no-op size casts of explicitly-sized literals

parent 2961d105
...@@ -64,7 +64,9 @@ traverseExprM = ...@@ -64,7 +64,9 @@ traverseExprM =
where where
convertExprM :: Expr -> ST Expr convertExprM :: Expr -> ST Expr
convertExprM (Cast (Right (Number s)) (Number n)) = convertExprM (Cast (Right (Number s)) (Number n)) =
case (readNumber s, readNumber n) of if elem '\'' n && s == takeWhile (/= '\'') n
then return $ Number n
else case (readNumber s, readNumber n) of
(Just s', Just n') -> (Just s', Just n') ->
return $ Number str return $ Number str
where where
......
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