humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

amend very minor bug: when looping through DFA and hitting a 'final state', we let the next chr afterwards handle the start state, but we want the current char to handle the start state instead, as this matches vim's behaviour

Browse Source
This commit is contained in:
Humza Shahid
2025-09-23 07:36:51 +01:00
parent 0b0d5268fc
commit 79d232df7a
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
fcore/cursor-dfa/make-dfa-loop.sml
View File

@@ -157,8 +157,10 @@ struct
if counter - 1 = 0 then
Fn.finish absIdx
else
(* new loop, so reset to start state and proceed *)
foldNext (idx + 1, absIdx + 1, str, tl, Fn.startState, counter - 1)
(* new loop, so reset start state and proceed *)
let val newState = nextState (Fn.startState, chr)
in foldNext (idx + 1, absIdx + 1, str, tl, newState, counter - 1)
end
else
foldNext (idx + 1, absIdx + 1, str, tl, newState, counter)
end
@@ -190,7 +192,9 @@ struct
if counter - 1 = 0 then
Fn.finish absIdx
else
foldPrev (idx - 1, absIdx - 1, str, tl, Fn.startState, counter - 1)
let val newState = nextState (Fn.startState, chr)
in foldPrev (idx - 1, absIdx - 1, str, tl, newState, counter - 1)
end
else
foldPrev (idx - 1, absIdx - 1, str, tl, newState, counter)
end