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

reimplement vi's 'h' movement, so that we only skip newline characters that immediately follow a non-newline

Browse Source
This commit is contained in:
Humza Shahid
2025-09-21 21:36:59 +01:00
parent d63201ada7
commit cdc23945a5
5 changed files with 80 additions and 122 deletions
Download Patch File Download Diff File Expand all files Collapse all files

76
fcore/cursor-dfa/vi-h-dfa.sml Normal file
View File

@@ -0,0 +1,76 @@
structure ViHDfa =
struct
val startState: Word8.word = 0w0
val oneNewlineState: Word8.word = 0w1
val twoNewlineState: Word8.word = 0w2
val chrState: Word8.word = 0w3
val chrBeforeNewlieState: Word8.word = 0w4
fun makeStart i =
if Char.chr i = #"\n" then oneNewlineState else chrState
fun makeOneNewline i =
if Char.chr i = #"\n" then twoNewlineState else chrBeforeNewlieState
val startTable = Vector.tabulate (255, makeStart)
val oneNewlineTable = Vector.tabulate (255, makeOneNewline)
val twoNewlineTable = oneNewlineTable
val chrTable = startTable
val chrBeforeNewlieTable = startTable
val tables =
#[ startTable
, oneNewlineTable
, twoNewlineTable
, chrTable
, chrBeforeNewlieTable
]
fun next (currentState, chr) =
let val table = Vector.sub (tables, Word8.toInt currentState)
in Vector.sub (table, Char.ord chr)
end
structure ViH =
MakePrevDfaLoop
(struct
val startState = startState
fun loop (idx, absIdx, str, tl, currentState, counter) =
if idx < 0 then
case tl of
str :: tl =>
loop
(String.size str - 1, absIdx, str, tl, currentState, counter)
| [] => 0
else
let
val chr = String.sub (str, idx)
val newState = next (currentState, chr)
in
if newState = chrBeforeNewlieState orelse newState = chrState then
if counter - 1 = ~1 then
absIdx
else
loop (idx - 1, absIdx - 1, str, tl, startState, counter - 1)
else if newState = twoNewlineState then
if counter - 1 = ~1 then
absIdx + 1
else
loop
( idx - 1
, absIdx - 1
, str
, tl
, oneNewlineState
, counter - 1
)
else
loop (idx - 1, absIdx - 1, str, tl, newState, counter)
end
val fStart = loop
end)
val prev = ViH.prev
end

118
fcore/cursor-dfa/vi-hl-dfa.sml
View File

@@ -1,118 +0,0 @@
structure ViHlDfa =
struct
val startState: Word8.word = 0w0
val notNewlineState: Word8.word = 0w1
val oneNewlineState: Word8.word = 0w2
val twoNewlineState: Word8.word = 0w3
fun makeStart i =
if Char.chr i = #"\n" then oneNewlineState else notNewlineState
fun makeOneNewline i =
if Char.chr i = #"\n" then twoNewlineState else notNewlineState
val startTable = Vector.tabulate (255, makeStart)
val notNewlineTable = startTable
val oneNewlineTable = Vector.tabulate (255, makeOneNewline)
val twoNewLineTable = startTable
val tables = #[startTable, notNewlineTable, oneNewlineTable, twoNewLineTable]
fun next (currentState, chr) =
let val table = Vector.sub (tables, Word8.toInt currentState)
in Vector.sub (table, Char.ord chr)
end
structure ViL =
MakeNextDfaLoopPlus1
(struct
val startState = startState
fun loop (idx, absIdx, str, tl, currentState, counter) =
if idx = String.size str then
case tl of
str :: tl => loop (0, absIdx, str, tl, currentState, counter)
| [] => absIdx
else
let
val chr = String.sub (str, idx)
val newState = next (currentState, chr)
in
if newState = twoNewlineState then
if counter - 1 = 0 then
absIdx - 1
else
loop
( idx + 1
, absIdx + 1
, str
, tl
, oneNewlineState
, counter - 1
)
else if newState = notNewlineState then
if counter - 1 = 0 then
absIdx
else
loop (idx + 1, absIdx + 1, str, tl, startState, counter - 1)
else
loop (idx + 1, absIdx + 1, str, tl, newState, counter)
end
val fStart = loop
end)
structure ViH =
MakePrevDfaLoop
(struct
val startState = startState
fun loop (idx, absIdx, str, tl, currentState, counter) =
if idx < 0 then
case tl of
str :: tl =>
loop
(String.size str - 1, absIdx, str, tl, currentState, counter)
| [] => 0
else
let
val chr = String.sub (str, idx)
val newState = next (currentState, chr)
in
if newState = twoNewlineState then
if counter - 1 = 0 then
absIdx
else
loop
( idx - 1
, absIdx - 1
, str
, tl
, oneNewlineState
, counter - 1
)
else if newState = notNewlineState then
if counter - 1 = 0 then
absIdx
else
loop (idx - 1, absIdx - 1, str, tl, startState, counter - 1)
else
loop (idx - 1, absIdx - 1, str, tl, newState, counter)
end
fun fStart (idx, absIdx, str, tl, _, counter) =
if idx < 0 then
case tl of
str :: tl =>
loop
(String.size str - 1, absIdx, str, tl, startState, counter)
| [] => 0
else if String.sub (str, idx) = #"\n" then
loop (idx - 1, absIdx - 1, str, tl, oneNewlineState, counter)
else
loop (idx - 1, absIdx - 1, str, tl, startState, counter)
end)
val l = ViL.next
val h = ViH.prev
end

2
fcore/cursor.sml
View File

@@ -57,7 +57,7 @@ struct
val viDlrForDelete = ViDlrDfa.nextForDelete
val viL = ViLDfa.next
val viH = ViHlDfa.h
val viH = ViHDfa.prev
fun helpGetCursorColumn (distanceFromLine, strList, lineList) =
case (strList, lineList) of