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

amendment to 'lastpos' function: if right child is not nullable, then get lastpos of right child, or else get union of them both

Browse Source
This commit is contained in:
Humza Shahid
2025-10-06 13:50:34 +01:00
parent e05c690548
commit 2779b61c1f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -274,7 +274,7 @@ struct
in lastpos (r, acc) in lastpos (r, acc)
end end
else else
lastpos (l, acc) lastpos (r, acc)
| ALTERNATION {l, r, ...} => | ALTERNATION {l, r, ...} =>
let val acc = lastpos (l, acc) let val acc = lastpos (l, acc)
in lastpos (r, acc) in lastpos (r, acc)