From e9361ebd47bba3254c3d44f25f9942665b88db2f Mon Sep 17 00:00:00 2001
From: Ryo Nihei <nihei.dev@gmail.com>
Date: Sat, 31 Jul 2021 01:48:16 +0900
Subject: Prevent terminals used in productions from being skipped

A terminal symbol used in productions cannot have the skip directive.
---
 driver/parser_test.go | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'driver/parser_test.go')

diff --git a/driver/parser_test.go b/driver/parser_test.go
index e32e34c..8145d7b 100644
--- a/driver/parser_test.go
+++ b/driver/parser_test.go
@@ -184,6 +184,17 @@ b
     ;
 foo: "foo";
 bar: "bar";
+`,
+			src:     `foo`,
+			specErr: true,
+		},
+		// A terminal used in productions cannot have the skip directive.
+		{
+			specSrc: `
+a
+    : foo
+    ;
+foo: "foo" #skip;
 `,
 			src:     `foo`,
 			specErr: true,
-- 
cgit v1.2.3