X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=blobdiff_plain;f=csrc%2Fparsergen.mdc;h=80027aa74e49989428ea370172c3a783c8ebfd40;hp=4faea9ec69ed2f103c017651419db173556c6c26;hb=7643c19409c4d3c6d94412a85d0dc048a6e8a68f;hpb=9da671b6631e648e82b07c323bfa9315c6c8c5f2

diff --git a/csrc/parsergen.mdc b/csrc/parsergen.mdc
index 4faea9e..80027aa 100644
--- a/csrc/parsergen.mdc
+++ b/csrc/parsergen.mdc
@@ -515,10 +515,6 @@ Now we have all the bits we need to parse a full production.
 		tk = token_next(state);
 		while (tk.num == TK_ident || tk.num == TK_mark) {
 			struct symbol *bs = sym_find(g, tk.txt);
-			if (bs->type == Unknown) {
-				if (!g->terminals_declared)
-					bs->type = Terminal;
-			}
 			if (bs->type == Virtual) {
 				err = "Virtual symbol not permitted in production";
 				goto abort;
@@ -692,20 +688,22 @@ used as a terminal anywhere that a terminal is expected.
 				goto abort;
 		}
 		token_close(state);
-		if (g->terminals_declared) {
-			struct symbol *s;
-			int errs = 0;
-			for (s = g->syms; s; s = s->next) {
-				if (s->type != Unknown)
-					continue;
-				errs += 1;
-				fprintf(stderr, "Token %.*s not declared\n",
-					s->name.len, s->name.txt);
-			}
-			if (errs) {
-				free(g); // FIXME free content
-				g = NULL;
+
+		struct symbol *s;
+		for (s = g->syms; s; s = s->next) {
+			if (s->type != Unknown)
+				continue;
+			if (!g->terminals_declared) {
+				s->type = Terminal;
+				continue;
 			}
+			err = "not declared";
+			fprintf(stderr, "Token %.*s not declared\n",
+				s->name.len, s->name.txt);
+		}
+		if (err) {
+			free(g); // FIXME free content
+			g = NULL;
 		}
 		return g;
 	abort: