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

when looping through a DFA in a functor, make sure we return the absolute index to the calling function and not a modified version of the absolute index which has already been clipped

Browse Source
This commit is contained in:
Humza Shahid
2025-09-16 21:35:48 +01:00
parent 12478f8ac2
commit 96521f358f
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -147,7 +147,7 @@ struct
if idx = String.size str then if idx = String.size str then
case tl of case tl of
str :: tl => foldNext (0, absIdx, str, tl, currentState, counter) str :: tl => foldNext (0, absIdx, str, tl, currentState, counter)
| [] => Int.max (absIdx - 2, 0) | [] => absIdx
else else
let let
val chr = String.sub (str, idx) val chr = String.sub (str, idx)

5
fcore/move.sml
View File

@@ -66,6 +66,11 @@ struct
val {buffer, cursorIdx, searchList, bufferModifyTime, ...} = app val {buffer, cursorIdx, searchList, bufferModifyTime, ...} = app
val buffer = LineGap.goToIdx (cursorIdx, buffer) val buffer = LineGap.goToIdx (cursorIdx, buffer)
val cursorIdx = Fn.fMove (buffer, cursorIdx, count) val cursorIdx = Fn.fMove (buffer, cursorIdx, count)
val textLength = #textLength buffer
val cursorIdx =
if cursorIdx >= textLength - 2 then Int.max (textLength - 2, 0)
else cursorIdx
in in
NormalFinish.buildTextAndClear NormalFinish.buildTextAndClear
(app, buffer, cursorIdx, searchList, [], bufferModifyTime) (app, buffer, cursorIdx, searchList, [], bufferModifyTime)