fix: Correctly inherit vtypes to all symbols

The function `inherit_vtypes` was defined but never called.

Author: phorward

README.md

@@ -137,6 +137,7 @@ $ make install
 Alternatively, the dev-toolchain can be used, by just calling on any recent Linux system.
 
 ```bash
+$ touch src/parse.?  # you have to do this only once
 $ make -f Makefile.gnu
 ```
 

src/main.c

@@ -285,6 +285,7 @@ int main( int argc, char** argv )
                 if( parser->p_mode == MODE_SCANNERLESS )
                     rewrite_grammar( parser );
 
+                inherit_vtypes( parser );
                 unique_charsets( parser );
                 symbol_orders( parser );
                 charsets_to_ptn( parser );

src/rewrite.c

@@ -509,14 +509,23 @@ void inherit_vtypes( PARSER* parser )
 {
     SYMBOL*		sym;
     plistel*	e;
+    pboolean    changes;
 
-    plist_for( parser->symbols, e )
+    do
     {
-        sym = (SYMBOL*)plist_access( e );
+        changes = FALSE;
+        plist_for( parser->symbols, e )
+        {
+            sym = (SYMBOL*)plist_access( e );
 
-        if( !sym->vtype && sym->derived_from )
-            sym->vtype = sym->derived_from->vtype;
+            if( !sym->vtype && sym->derived_from )
+            {
+                sym->vtype = sym->derived_from->vtype;
+                changes = TRUE;
+            }
+        }
     }
+    while( changes );
 }
 
 /** Sets up a single goal symbol, if necessary. */

src/virtual.c

@@ -31,7 +31,6 @@ SYMBOL* positive_closure( PARSER* parser, SYMBOL* base )
             s->generated = TRUE;
             s->used = TRUE;
             s->defined = TRUE;
-            s->vtype = base->vtype;
             s->derived_from = base;
             s->line = base->line;
 
@@ -94,7 +93,6 @@ SYMBOL* kleene_closure( PARSER* parser, SYMBOL* base )
             s->generated = TRUE;
             s->used = TRUE;
             s->defined = TRUE;
-            s->vtype = base->vtype;
             s->derived_from = base;
             s->line = base->line;
 
@@ -142,7 +140,6 @@ SYMBOL* optional_closure( PARSER* parser, SYMBOL* base )
             s->generated = TRUE;
             s->used = TRUE;
             s->defined = TRUE;
-            s->vtype = base->vtype;
             s->derived_from = base;
             s->line = base->line;