Garmelon/rextra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix nfa evaluation

Browse source
This commit is contained in:
Joscha 2019-10-26 19:01:31 +00:00
parent 10db66edc0
commit 0082c427ed
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Rextra/Nfa.hs
View file

@ -189,7 +189,7 @@ accepting nfa ns = not $ Set.disjoint ns (exitStates nfa)
execute :: (Ord s, Ord t) => Nfa s t -> [t] -> Bool execute :: (Ord s, Ord t) => Nfa s t -> [t] -> Bool
execute nfa tokens = execute nfa tokens =
let finalNdState = foldr (transition nfa) (entryNdState nfa) tokens let finalNdState = foldl' (flip $ transition nfa) (entryNdState nfa) tokens
in accepting nfa finalNdState in accepting nfa finalNdState
{- {-