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

small change similar to previous commit: in search-list.sml's 'backtrackFull' function, always check if the position is at the correct string before checking if we are at the place where the search should continue

Browse Source
This commit is contained in:
Humza Shahid
2025-09-27 14:47:24 +01:00
parent d01a1367ae
commit 5234338e25
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
fcore/search-list.sml
View File

@@ -5,11 +5,7 @@ struct
val empty = Vector.fromList [] val empty = Vector.fromList []
fun backtrackFull (pos, hd, absIdx, tl, acc, searchPos, searchString, prevTl) = fun backtrackFull (pos, hd, absIdx, tl, acc, searchPos, searchString, prevTl) =
if searchPos <= 1 then if pos < 0 then
(* we are trying to backtrack to index 1,
* and then continue are search from here *)
loopSearch (pos, hd, absIdx, tl, acc, 0, searchString, prevTl)
else if pos < 0 then
case prevTl of case prevTl of
prevHd :: prevTl => prevHd :: prevTl =>
let let
@@ -29,6 +25,10 @@ struct
| [] => | [] =>
(* Should never be called *) (* Should never be called *)
raise Fail "SearchList.backtrackFull error: line 24\n" raise Fail "SearchList.backtrackFull error: line 24\n"
else if searchPos <= 1 then
(* we are trying to backtrack to index 1,
* and then continue are search from here *)
loopSearch (pos, hd, absIdx, tl, acc, 0, searchString, prevTl)
else else
backtrackFull backtrackFull
(pos - 1, hd, absIdx - 1, tl, acc, searchPos - 1, searchString, prevTl) (pos - 1, hd, absIdx - 1, tl, acc, searchPos - 1, searchString, prevTl)