change gs_level test

kwanghoon · Mar 19, 2022 · 1c42158 · 1c42158
1 parent 6a609a9
commit 1c42158
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/parserlib/algo/SynCompAlgoBUTree.hs b/src/parserlib/algo/SynCompAlgoBUTree.hs
@@ -460,7 +460,7 @@ repGotoOrShift ccOption symbols state stk =
 
                 if null listOfList1 -- || isInitReduces (cc_searchState ccOption)
                   then
-                       if gs_level (cc_searchState ccOption) - 1 > 0 then
+                       if gs_level (cc_searchState ccOption) > 0 then -- Todo: deleted - 1 
                          let ccOption' = ccOption{cc_searchState=
                                              SS_GotoOrShift
                                                (r_level (cc_searchState ccOption))

diff --git a/src/parserlib/algo/SynCompAlgoBUTreeNested.hs b/src/parserlib/algo/SynCompAlgoBUTreeNested.hs
@@ -509,7 +509,7 @@ repGotoOrShift ccOption symbols state stk =
 
                 if null listOfList1 -- || isInitReduces (cc_searchState ccOption)
                   then
-                       if gs_level (cc_searchState ccOption) - 1 > 0 then  -- Todo: -1 ???
+                       if gs_level (cc_searchState ccOption)  > 0 then  -- Todo: -1 ???
                          let ccOption' = ccOption{cc_searchState=
                                              SS_GotoOrShift
                                                (r_level (cc_searchState ccOption))