Fix bug in grammar header detection

benjie · benjie · commit 5fda732213d6 · 2024-06-07T13:44:23.000+01:00
diff --git a/.github/algorithm-format-check.mjs b/.github/algorithm-format-check.mjs
@@ -94,7 +94,7 @@ for (const filename of filenames) {
           // Still grammar, not algorithm
           continue;
         }
-        if (lines[i + 1] !== "") {
+        if (rest.trim() === "" && lines[i + 1] !== "") {
           console.log(
             `No empty space after grammar ${grammarName} header in '${filename}'`
           );

Original file line number	Diff line number	Diff line change
`@@ -94,7 +94,7 @@ for (const filename of filenames) {`
`94`	`94`	`// Still grammar, not algorithm`
`95`	`95`	`continue;`
`96`	`96`	`}`
`97`		`- if (lines[i + 1] !== "") {`
	`97`	`+ if (rest.trim() === "" && lines[i + 1] !== "") {`
`98`	`98`	`console.log(`
`99`	`99`	`No empty space after grammar ${grammarName} header in '${filename}'`
`100`	`100`	`);`