done with allowing different types of endMarkers

This commit is contained in:
2025-10-07 14:44:40 +01:00
parent f085860f20
commit 7a72bc2ed1

View File

@@ -634,8 +634,10 @@ struct
val fpList = getFollowsForPositionAndChar (regex, hd, char) val fpList = getFollowsForPositionAndChar (regex, hd, char)
val {sawConcat, follows, charIsMatch} = fpList val {sawConcat, follows, charIsMatch} = fpList
val follows = val follows =
if charIsMatch andalso not sawConcat then 0 :: follows if charIsMatch andalso not sawConcat then
else follows (Char.ord Fn.endMarker) :: follows
else
follows
val followSet = val followSet =
List.foldl List.foldl