From 7a72bc2ed194334e04ef6deadbe896a80873fc44 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Tue, 7 Oct 2025 14:44:40 +0100 Subject: [PATCH] done with allowing different types of endMarkers --- fcore/search-list/dfa-gen.sml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/fcore/search-list/dfa-gen.sml b/fcore/search-list/dfa-gen.sml index 4e1b70a..47838f2 100644 --- a/fcore/search-list/dfa-gen.sml +++ b/fcore/search-list/dfa-gen.sml @@ -634,8 +634,10 @@ struct val fpList = getFollowsForPositionAndChar (regex, hd, char) val {sawConcat, follows, charIsMatch} = fpList val follows = - if charIsMatch andalso not sawConcat then 0 :: follows - else follows + if charIsMatch andalso not sawConcat then + (Char.ord Fn.endMarker) :: follows + else + follows val followSet = List.foldl