Debug for LR(1) parser

[cascardo/grammar.git] / first.c

diff --git a/first.c b/first.c
index 040a04c..da7d344 100644 (file)
--- a/first.c
+++ b/first.c
@@ -376,10 +376,16 @@ void first_iterate (gpointer key, gpointer val, gpointer data)
                            {
                              symbol_t* next_symbol;
                              next_symbol = next_symbols->data;
-                             /* TODO: Check this assertion is correct. */
-                             assert (next_symbol->terminal == FALSE);
+                             /*
+                              * This rule starts with a terminal. Ignore it.
+                              * We could add it as an optimization. TODO
+                              */
+                             if (next_symbol->terminal)
+                               {
+                                 rule_delete (next_rule);
+                               }
                              /* This is an indirect recursive rule. */
-                             if (next_symbol->value == symbol->value)
+                             else if (next_symbol->value == symbol->value)
                                {
                                  first_set->recursive =
                                    g_list_prepend (first_set->recursive,