luke/sv2v
1
0
Fork 0
mirror of https://github.com/zachjs/sv2v.git synced 2026-09-05 09:14:08 +02:00
Code Issues Packages Projects Releases Wiki Activity

fix premature elaboration of single element patterns

Browse Source
This commit is contained in:
Zachary Snow
2020-12-07 16:23:29 -07:00
parent ad18c583ab
commit d137fd3d68
3 changed files with 21 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/Convert/ExprUtils.hs
+1
View File
@@ -36,6 +36,7 @@ simplifyStep (UniOp LogNot (BinOp Ne a b)) = BinOp Eq a b
simplifyStep (UniOp UniSub (UniOp UniSub e)) = e
simplifyStep (UniOp UniSub (BinOp Sub e1 e2)) = BinOp Sub e2 e1
simplifyStep (e @ (Concat [Pattern{}])) = e
simplifyStep (Concat [e]) = e
simplifyStep (Concat es) = Concat $ filter (/= Concat []) es
simplifyStep (Repeat (Dec 0) _) = Concat []