Fix for some cases of nested quantifiers

parent e21c9f3e
......@@ -42,6 +42,10 @@ match` (Concat [r:rs]) st
= [st`` \\ st` <- match` r st, st`` <- match` (Concat rs) st`]
match` (Any rs) st
= flatten $ map (flip match` st) rs
match` (Repeated _ 0 _ _) st=:{unseen=[]}
= [st]
match` tr=:(Repeated True 0 Nothing r) st
= flatten [match` tr st` \\ st` <- match` r st | st.matched <> st`.matched] ++ [st]
match` (Repeated g f (Just 0) r) st
= [st]
match` (Repeated g f t r) st
......
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