fix type errors in normal-mode-text-builder.sml

This commit is contained in:
2025-09-29 14:55:20 +01:00
parent d44799a794
commit 8f49cdca13
3 changed files with 40 additions and 30 deletions

View File

@@ -58,27 +58,39 @@ struct
(startLine, curLine, lhd)
(* get absolute idx of line *)
val absIdx = curIdx + strPos
val searchPos = BinSearch.equalOrMore (absIdx, searchList)
val searchPos =
if searchPos = ~1 then Vector.length searchList else searchPos
in
TextBuilderWithHighlight.build
( strPos
, shd
, stl
, lhd
, ltl
, startX
, startY
, 0
, startLine
, absIdx
, cursorPos
, env
, acc
, searchPos
)
if PersistentVector.isEmpty searchList then
TextBuilderWithCursor.build
( strPos
, shd
, stl
, lhd
, ltl
, startX
, startY
, 0
, startLine
, absIdx
, cursorPos
, env
, acc
)
else
TextBuilderWithHighlight.build
( strPos
, shd
, stl
, lhd
, ltl
, startX
, startY
, 0
, startLine
, absIdx
, cursorPos
, env
, acc
)
end
| (_, _) => acc
end
@@ -89,7 +101,7 @@ struct
, buffer: LineGap.t
, windowWidth
, windowHeight
, searchList: SearchList.t
, searchList
, visualScrollColumn
, acc
) =
@@ -112,7 +124,7 @@ struct
, buffer: LineGap.t
, windowWidth
, windowHeight
, searchList: SearchList.t
, searchList
, visualScrollColumn
) =
startBuild