when adding to followset in ONE_OR_MORE case, make sure we add the child to the followset as well

2025-10-12 00:32:55 +01:00
parent ce3470e612
commit ca2c2f438c
1 changed files with 1 additions and 0 deletions
--- a/fcore/search-list/dfa-gen.sml
+++ b/fcore/search-list/dfa-gen.sml
@@ -630,6 +630,7 @@ struct
          end
      | ONE_OR_MORE child =>
          let
+            val followSet = addToFollowSet (child, followSet)
            val lp = lastpos (child, [])
            val fp = firstpos (child, [])
            val fp = Set.addFromList (fp, Set.LEAF)