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

do not require pattern matching head when in subRight/subLeft loop, but only require that in some cases

Browse Source
This commit is contained in:
Humza Shahid
2025-09-29 22:13:03 +01:00
parent 6de33a65c2
commit 863b4ba47b
1 changed files with 21 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
src/line_gap.sml
View File

@@ -2262,26 +2262,28 @@ struct
buffer
end
fun subRight (findIdx, curIdx, tl) =
if findIdx > curIdx then
fun subRight (findIdx, curIdx, hd, tl) =
if findIdx > curIdx + String.size hd then
case tl of
hd :: tl =>
if findIdx > curIdx + String.size hd then
subRight (findIdx, curIdx + String.size hd, tl)
subRight (findIdx, curIdx + String.size hd, hd, tl)
else
let val strIdx = findIdx - curIdx
in String.sub (hd, strIdx)
end
| [] => raise Fail "not found"
else
raise Fail "not found"
let val strIdx = findIdx - curIdx
in String.sub (hd, strIdx)
end
fun subLeft (findIdx, curIdx, tl) =
if findIdx < curIdx then
fun subLeft (findIdx, curIdx, hd, tl) =
if findIdx < curIdx - String.size hd then
case tl of
hd :: tl =>
if findIdx < curIdx - String.size hd then
subLeft (findIdx, curIdx - String.size hd, tl)
subLeft (findIdx, curIdx - String.size hd, hd, tl)
else
let
val prevIdx = curIdx - String.size hd
@@ -2291,13 +2293,22 @@ struct
end
| [] => raise Fail "not found"
else
raise Fail "not found"
let
val prevIdx = curIdx - String.size hd
val strIdx = findIdx - prevIdx
in
String.sub (hd, strIdx)
end
fun sub (findIdx, buffer: t) =
if findIdx < #idx buffer then
subLeft (findIdx, #idx buffer, #leftStrings buffer)
case #leftStrings buffer of
hd :: tl => subLeft (findIdx, #idx buffer, hd, tl)
| [] => raise Fail "not found"
else
subRight (findIdx, #idx buffer, #rightStrings buffer)
case #rightStrings buffer of
hd :: tl => subRight (findIdx, #idx buffer, hd, tl)
| [] => raise Fail "not found"
local
fun consIfNotEmpty (s, acc) =