formatting

This commit is contained in:
2025-07-20 16:57:22 +01:00
parent 41ca612ca1
commit 33474fb5ae

View File

@@ -109,32 +109,35 @@ struct
end)
structure EndOfPrevWord =
MakePrevDfaLoop (
struct
val startState = startState
MakePrevDfaLoop
(struct
val startState = startState
fun fStart (idx, absIdx, str, tl, currentState, counter) =
if idx < 0 then
case tl of
str :: tl => fStart (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 = alphaToPunct orelse newState = punctToAlpha
orelse newState = spaceToAlpha orelse newState = spaceToPunct
then
if counter - 1 = 0 then
absIdx
else
fStart (idx - 1, absIdx - 1, str, tl, startState, counter - 1)
else
fStart (idx - 1, absIdx - 1, str, tl, newState, counter)
end
end
)
fun fStart (idx, absIdx, str, tl, currentState, counter) =
if idx < 0 then
case tl of
str :: tl =>
fStart
(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 = alphaToPunct orelse newState = punctToAlpha
orelse newState = spaceToAlpha orelse newState = spaceToPunct
then
if counter - 1 = 0 then
absIdx
else
fStart
(idx - 1, absIdx - 1, str, tl, startState, counter - 1)
else
fStart (idx - 1, absIdx - 1, str, tl, newState, counter)
end
end)
(* w *)
val startOfNextWord = StartOfNextWord.next