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

begin making changes to return a parse error if regex string contains an end marker

Browse Source
This commit is contained in:
Humza Shahid
2025-10-07 14:36:35 +01:00
parent 060df2745a
commit f085860f20
1 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
fcore/search-list/dfa-gen.sml
View File

@@ -339,7 +339,9 @@ struct
val chr = String.sub (str, pos + 1) val chr = String.sub (str, pos + 1)
val (isValid, chr) = isValidEscapeSequence chr val (isValid, chr) = isValidEscapeSequence chr
in in
if isValid then if Fn.charIsEqual (chr, Fn.endMarker) then
NONE
else if isValid then
let let
val chr = CHAR_LITERAL {char = chr, position = stateNum + 1} val chr = CHAR_LITERAL {char = chr, position = stateNum + 1}
in in
@@ -361,9 +363,12 @@ struct
else else
parseCharacterClass (pos + 1, str, stateNum) parseCharacterClass (pos + 1, str, stateNum)
| chr => | chr =>
let val chr = CHAR_LITERAL {char = chr, position = stateNum + 1} if Fn.charIsEqual (chr, Fn.endMarker) then
in SOME (pos + 1, chr, stateNum + 1) NONE
end else
let val chr = CHAR_LITERAL {char = chr, position = stateNum + 1}
in SOME (pos + 1, chr, stateNum + 1)
end
and climb (pos, str, lhs, level, stateNum) : (int * parse_tree * int) option = and climb (pos, str, lhs, level, stateNum) : (int * parse_tree * int) option =
if pos = String.size str then if pos = String.size str then