Fix 'oneof' in syntax-directed operations

src/lint/utils.ts

@@ -73,8 +73,8 @@ export function rhsMatches(a: RightHandSide | OneOfList, b: RightHandSide | OneO
       }
       return symbolSpanMatches(aHead, bHead);
     }
-    default:
-      throw new Error('unknown rhs type ' + a.constructor.name);
+    case SyntaxKind.OneOfList:
+      return oneOfListMatches(a, b as OneOfList);
   }
 }
 
@@ -171,6 +171,16 @@ function argumentListMatches(a: ArgumentList, b: ArgumentList) {
   );
 }
 
+function oneOfListMatches(a: OneOfList, b: OneOfList) {
+  if (a.terminals === undefined || b.terminals === undefined) {
+    throw new Error('OneOfList must have terminals');
+  }
+  return (
+    a.terminals.length === b.terminals.length &&
+    a.terminals.every((ae, i) => ae.text === b.terminals![i].text)
+  );
+}
+
 // this is only for use with single-file grammars
 export function getLocationInGrammarFile(file: SourceFile, pos: number) {
   const posWithoutWhitespace = skipTrivia(file.text, pos, file.text.length);

test/errors.js

@@ -1106,6 +1106,31 @@ ${M}      </pre>
       );
     });
 
+    it('unknown oneof', async () => {
+      await assertError(
+        positioned`
+        <emu-grammar type="definition">
+          Foo :: one of \`a\` \`b\` \`c\`
+        </emu-grammar>
+
+        <emu-clause id="sec-example" type="sdo">
+        <h1>Static Semantics: Example</h1>
+        <dl class='header'></dl>
+          <emu-grammar>
+            Foo :: ${M}one of \`a\`
+          </emu-grammar>
+          <emu-alg>
+            1. Return *true*.
+          </emu-alg>
+        </emu-clause>`,
+        {
+          ruleId: 'grammar-shape',
+          nodeType: 'emu-grammar',
+          message: 'could not find definition for rhs "a"',
+        },
+      );
+    });
+
     it('negative', async () => {
       await assertErrorFree(`
         <emu-grammar type="definition">
@@ -1167,5 +1192,24 @@ ${M}      </pre>
         },
       );
     });
+
+    it('negative: oneof', async () => {
+      await assertErrorFree(`
+        <emu-grammar type="definition">
+          Foo :: one of \`a\` \`b\` \`c\`
+        </emu-grammar>
+
+        <emu-clause id="sec-example" type="sdo">
+        <h1>Static Semantics: Example</h1>
+        <dl class='header'></dl>
+          <emu-grammar>
+            Foo :: one of \`a\` \`b\` \`c\`
+          </emu-grammar>
+          <emu-alg>
+            1. Return *true*.
+          </emu-alg>
+        </emu-clause>
+      `);
+    });
   });
 });