parser-lr 0.8.0 → 0.8.2

package/bin/parser-lr.js

@@ -3781,7 +3781,7 @@ const {
   Help,
 } = commander;
 
-var version$1 = "0.8.0";
+var version$1 = "0.8.2";
 var packageDefinition = {
 	version: version$1};
 
@@ -5920,6 +5920,80 @@ function buildLalrGotoTargets(grammar, analysis, lr1Collection, lr1ToLalr) {
     Lr1ItemSetBuilder.buildLr1ToLalrMap = buildLr1ToLalrMap;
 })(Lr1ItemSetBuilder || (Lr1ItemSetBuilder = {}));
 
+/**
+ * Converts a source offset into a 1-based line and column.
+ *
+ * @param source - Full source text.
+ * @param offset - Zero-based UTF-16 code unit offset.
+ * @returns Line and column for the offset, clamped to the source bounds.
+ */
+function offsetToPosition(source, offset) {
+    // Clamp out-of-range offsets to the nearest valid index.
+    const clamped = Math.max(0, Math.min(offset, source.length));
+    let line = 1;
+    let column = 1;
+    // Scan characters before the offset, advancing line on each newline.
+    for (let index = 0; index < clamped; index += 1) {
+        if (source[index] === '\n') {
+            line += 1;
+            column = 1;
+            continue;
+        }
+        column += 1;
+    }
+    return { line, column };
+}
+/**
+ * Returns the start offset from a location or raw offset value.
+ *
+ * @param location - Optional source span.
+ * @param offset - Optional raw offset when no span is available.
+ */
+function resolveDiagnosticOffset(location, offset) {
+    if (location !== null && location !== undefined) {
+        return location.offset;
+    }
+    if (offset === null || offset === undefined) {
+        return null;
+    }
+    return offset;
+}
+
+/**
+ * Formats a diagnostic as `path:line:column: severity: message` when possible.
+ *
+ * @param options - Severity, message, and optional source position inputs.
+ * @returns One diagnostic line without a trailing newline.
+ */
+function formatDiagnostic(options) {
+    const prefix = formatDiagnosticLocationPrefix(options);
+    const body = `${options.severity}: ${options.message}`;
+    if (prefix === null) {
+        return body;
+    }
+    return `${prefix}: ${body}`;
+}
+/**
+ * Builds the `path:line:column` or `path` prefix for a diagnostic.
+ *
+ * @param options - Path and optional source position inputs.
+ * @returns Location prefix, or null when no path is available.
+ */
+function formatDiagnosticLocationPrefix(options) {
+    const path = options.path ?? null;
+    if (path === null || path.length === 0) {
+        return null;
+    }
+    const offset = resolveDiagnosticOffset(options.location, options.offset);
+    const source = options.source ?? null;
+    // Prefer path:line:column when both source text and an offset are known.
+    if (source !== null && offset !== null) {
+        const position = offsetToPosition(source, offset);
+        return `${path}:${String(position.line)}:${String(position.column)}`;
+    }
+    return path;
+}
+
 /**
  * LR parse table with ACTION and GOTO entries plus any detected conflicts.
  */
@@ -5984,13 +6058,19 @@ class LrParseTable {
 function formatParseConflictWarning(conflict) {
     const tokenLabel = formatConflictTokenLabel(conflict.symbol);
     if (conflict.kind === 'shift-reduce') {
-        return `state ${String(conflict.state)}: shift/reduce conflict on ${tokenLabel} resolved as shift`;
+        return formatDiagnostic({
+            severity: 'warning',
+            message: `state ${String(conflict.state)}: shift/reduce conflict on ${tokenLabel} resolved as shift`,
+        });
     }
     const keptProduction = conflict.existing.kind === 'reduce'
         ? conflict.existing.productionId
         : conflict.incoming.productionId;
-    return `state ${String(conflict.state)}: reduce/reduce conflict on ${tokenLabel} `
-        + `resolved using rule ${String(keptProduction)}`;
+    return formatDiagnostic({
+        severity: 'warning',
+        message: `state ${String(conflict.state)}: reduce/reduce conflict on ${tokenLabel} `
+            + `resolved using rule ${String(keptProduction)}`,
+    });
 }
 /**
  * Returns a readable terminal label for conflict warning text.
@@ -7535,6 +7615,42 @@ class ParserLr {
         }
         return parseWithTable(this.table, tokens);
     }
+    /**
+     * Parses a token stream and retains syntax-error offset details.
+     *
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns Tree and optional syntax-error details.
+     */
+    parseResult(tokens) {
+        if (this.table === null) {
+            return {
+                tree: null,
+                errorOffset: 0,
+                errorMessage: 'Parse table has no parser entries',
+            };
+        }
+        const result = parseWithTableResult(this.table, tokens);
+        if (result.cst === null) {
+            return {
+                tree: null,
+                errorOffset: result.errorOffset,
+                errorMessage: result.errorMessage,
+            };
+        }
+        if (this.grammar.transformSchema === null) {
+            return {
+                tree: result.cst,
+                errorOffset: null,
+                errorMessage: null,
+            };
+        }
+        const tree = transformCst(result.cst, this.grammar.transformSchema, this.table);
+        return {
+            tree,
+            errorOffset: tree === null ? result.errorOffset : null,
+            errorMessage: tree === null ? 'AST transform failed' : null,
+        };
+    }
     /**
      * Parses a token stream into an AST when transform rules are declared.
      *
@@ -7542,14 +7658,7 @@ class ParserLr {
      * @returns Transformed AST, CST when no transform section exists, or null on failure.
      */
     parseAst(tokens) {
-        const cst = this.parseCst(tokens);
-        if (cst === null) {
-            return null;
-        }
-        if (this.grammar.transformSchema === null || this.table === null) {
-            return cst;
-        }
-        return transformCst(cst, this.grammar.transformSchema, this.table);
+        return this.parseResult(tokens).tree;
     }
     /**
      * Parses a token stream, applying CST-to-AST transforms when configured.
@@ -7680,6 +7789,15 @@ class ParseContext {
     parse(tokens) {
         return this.parser.parse(tokens);
     }
+    /**
+     * Parses a token stream and retains syntax-error offset details.
+     *
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns Tree and optional syntax-error details.
+     */
+    parseResult(tokens) {
+        return this.parser.parseResult(tokens);
+    }
     /**
      * Lexes and parses source text into an AST, applying transforms when present.
      *
@@ -8031,7 +8149,7 @@ function parseOptionalTransformSection(node) {
 function parseProduction(node) {
     const name = identifierText(requireChild(node, 'identifier'));
     const expression = parseExpressionNode(findExpressionChild(node));
-    return { name, expression };
+    return { name, expression, location: node.location };
 }
 /**
  * Parses one AST type (`identifier = expression ;`).
@@ -8041,7 +8159,7 @@ function parseProduction(node) {
 function parseAstType(node) {
     const name = identifierText(requireChild(node, 'identifier'));
     const expression = parseExpressionNode(findExpressionChild(node));
-    return { name, expression };
+    return { name, expression, location: node.location };
 }
 /**
  * Parses one transform rule.
@@ -8053,6 +8171,7 @@ function parseTransformRule(node) {
     return {
         production,
         alternatives: collectRepeated(node, 'labeled_transform').map(parseLabeledTransform),
+        location: node.location,
     };
 }
 /**
@@ -8063,7 +8182,7 @@ function parseTransformRule(node) {
 function parseLabeledTransform(node) {
     const label = identifierText(requireChild(node, 'identifier'));
     const expression = parseTransformExpr(requireChild(node, 'transform_expr'));
-    return { label, expression };
+    return { label, expression, location: node.location };
 }
 /**
  * Parses a transform expression.
@@ -8263,10 +8382,12 @@ function parseLabeledAlternative(node) {
     const label = labelNode === null || findChild(node, 'hash') === null
         ? null
         : identifierText(labelNode);
-    const sequence = requireChild(node, 'sequence');
+    const sequence = findChild(node, 'sequence');
     return {
         label,
-        expression: parseSequence(sequence),
+        expression: sequence === null
+            ? { kind: 'sequence', elements: [] }
+            : parseSequence(sequence),
     };
 }
 /**
@@ -9262,7 +9383,8 @@ var productions = [
 		id: 61,
 		name: "labeled_alternative",
 		rhs: [
-			"sequence"
+			"hash",
+			"identifier"
 		],
 		variant: null,
 		origin: "labeled_alternative"
@@ -9280,6 +9402,15 @@ var productions = [
 	},
 	{
 		id: 63,
+		name: "labeled_alternative",
+		rhs: [
+			"sequence"
+		],
+		variant: null,
+		origin: "labeled_alternative"
+	},
+	{
+		id: 64,
 		name: "sequence$repeat_10",
 		rhs: [
 			"factor",
@@ -9289,7 +9420,7 @@ var productions = [
 		origin: "sequence$repeat_10"
 	},
 	{
-		id: 64,
+		id: 65,
 		name: "sequence$repeat_10",
 		rhs: [
 		],
@@ -9297,7 +9428,7 @@ var productions = [
 		origin: "sequence$repeat_10"
 	},
 	{
-		id: 65,
+		id: 66,
 		name: "sequence",
 		rhs: [
 			"factor",
@@ -9307,7 +9438,7 @@ var productions = [
 		origin: "sequence"
 	},
 	{
-		id: 66,
+		id: 67,
 		name: "factor",
 		rhs: [
 			"bracketed"
@@ -9316,7 +9447,7 @@ var productions = [
 		origin: "factor"
 	},
 	{
-		id: 67,
+		id: 68,
 		name: "factor",
 		rhs: [
 			"repeat"
@@ -9325,7 +9456,7 @@ var productions = [
 		origin: "factor"
 	},
 	{
-		id: 68,
+		id: 69,
 		name: "factor",
 		rhs: [
 			"group"
@@ -9334,7 +9465,7 @@ var productions = [
 		origin: "factor"
 	},
 	{
-		id: 69,
+		id: 70,
 		name: "factor",
 		rhs: [
 			"primary"
@@ -9343,7 +9474,7 @@ var productions = [
 		origin: "factor"
 	},
 	{
-		id: 70,
+		id: 71,
 		name: "bracketed",
 		rhs: [
 			"lbracket",
@@ -9354,7 +9485,7 @@ var productions = [
 		origin: "bracketed"
 	},
 	{
-		id: 71,
+		id: 72,
 		name: "bracketed",
 		rhs: [
 			"lbracket",
@@ -9367,7 +9498,7 @@ var productions = [
 		origin: "bracketed"
 	},
 	{
-		id: 72,
+		id: 73,
 		name: "repeat",
 		rhs: [
 			"lbrace",
@@ -9378,7 +9509,7 @@ var productions = [
 		origin: "repeat"
 	},
 	{
-		id: 73,
+		id: 74,
 		name: "group",
 		rhs: [
 			"lpar",
@@ -9389,7 +9520,7 @@ var productions = [
 		origin: "group"
 	},
 	{
-		id: 74,
+		id: 75,
 		name: "primary",
 		rhs: [
 			"string_literal"
@@ -9398,7 +9529,7 @@ var productions = [
 		origin: "primary"
 	},
 	{
-		id: 75,
+		id: 76,
 		name: "primary",
 		rhs: [
 			"identifier"
@@ -9407,7 +9538,7 @@ var productions = [
 		origin: "primary"
 	},
 	{
-		id: 76,
+		id: 77,
 		name: "$accept",
 		rhs: [
 			"grammar_file"
@@ -10866,67 +10997,67 @@ var actions = [
 		state: 110,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 111,
@@ -10962,13 +11093,13 @@ var actions = [
 		state: 113,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
@@ -10998,25 +11129,25 @@ var actions = [
 		state: 113,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
@@ -11028,67 +11159,67 @@ var actions = [
 		state: 114,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 115,
@@ -11100,67 +11231,67 @@ var actions = [
 		state: 116,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 117,
@@ -11310,235 +11441,235 @@ var actions = [
 		state: 121,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 122,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 123,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 124,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 125,
@@ -11550,67 +11681,67 @@ var actions = [
 		state: 126,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 127,
@@ -11622,13 +11753,13 @@ var actions = [
 		state: 128,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
@@ -11640,55 +11771,55 @@ var actions = [
 		state: 128,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 129,
@@ -11700,67 +11831,67 @@ var actions = [
 		state: 130,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 131,
@@ -11772,67 +11903,79 @@ var actions = [
 		state: 132,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
+	},
+	{
+		state: 133,
+		symbol: "$eof",
+		kind: "reduce",
+		productionId: 61
+	},
+	{
+		state: 133,
+		symbol: "bar",
+		kind: "reduce",
+		productionId: 61
 	},
 	{
 		state: 133,
@@ -11858,6 +12001,30 @@ var actions = [
 		kind: "shift",
 		target: 120
 	},
+	{
+		state: 133,
+		symbol: "rbrace",
+		kind: "reduce",
+		productionId: 61
+	},
+	{
+		state: 133,
+		symbol: "rbracket",
+		kind: "reduce",
+		productionId: 61
+	},
+	{
+		state: 133,
+		symbol: "rpar",
+		kind: "reduce",
+		productionId: 61
+	},
+	{
+		state: 133,
+		symbol: "semicolon",
+		kind: "reduce",
+		productionId: 61
+	},
 	{
 		state: 133,
 		symbol: "string_literal",
@@ -11904,13 +12071,13 @@ var actions = [
 		state: 135,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
@@ -11940,25 +12107,25 @@ var actions = [
 		state: 135,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
@@ -11970,73 +12137,73 @@ var actions = [
 		state: 136,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 137,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 138,
@@ -13143,6 +13310,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4736,
+			length: 50
 		}
 	},
 	{
@@ -13161,6 +13332,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4792,
+			length: 56
 		}
 	},
 	{
@@ -13179,6 +13354,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4854,
+			length: 55
 		}
 	},
 	{
@@ -13197,6 +13376,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4915,
+			length: 59
 		}
 	},
 	{
@@ -13215,6 +13398,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4980,
+			length: 47
 		}
 	},
 	{
@@ -13233,6 +13420,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5033,
+			length: 59
 		}
 	},
 	{
@@ -13251,6 +13442,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5098,
+			length: 66
 		}
 	},
 	{
@@ -13269,6 +13464,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5170,
+			length: 56
 		}
 	},
 	{
@@ -13287,6 +13486,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5232,
+			length: 52
 		}
 	},
 	{
@@ -13305,6 +13508,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5290,
+			length: 44
 		}
 	}
 ];
@@ -13320,9 +13527,17 @@ var transform = [
 					variant: "sections",
 					head: "section",
 					tail: "grammar_file$repeat_0"
+				},
+				location: {
+					offset: 5383,
+					length: 69
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5350,
+			length: 104
+		}
 	},
 	{
 		production: "token_section",
@@ -13335,9 +13550,17 @@ var transform = [
 					variant: "definitions",
 					head: "token_def",
 					tail: "token_section$repeat_1"
+				},
+				location: {
+					offset: 5485,
+					length: 76
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5460,
+			length: 103
+		}
 	},
 	{
 		production: "skip_section",
@@ -13350,9 +13573,17 @@ var transform = [
 					variant: "definitions",
 					head: "token_def",
 					tail: "skip_section$repeat_2"
+				},
+				location: {
+					offset: 5593,
+					length: 74
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5569,
+			length: 100
+		}
 	},
 	{
 		production: "grammar_section",
@@ -13365,9 +13596,17 @@ var transform = [
 					variant: "productions",
 					head: "production",
 					tail: "grammar_section$repeat_4"
+				},
+				location: {
+					offset: 5702,
+					length: 81
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5675,
+			length: 110
+		}
 	},
 	{
 		production: "ast_section",
@@ -13380,9 +13619,17 @@ var transform = [
 					variant: "types",
 					head: "ast_type",
 					tail: "ast_section$repeat_5"
+				},
+				location: {
+					offset: 5814,
+					length: 65
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5791,
+			length: 90
+		}
 	},
 	{
 		production: "transform_section",
@@ -13395,9 +13642,17 @@ var transform = [
 					variant: "rules",
 					head: "transform_rule",
 					tail: "transform_section$repeat_6"
+				},
+				location: {
+					offset: 5916,
+					length: 83
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5887,
+			length: 114
+		}
 	},
 	{
 		production: "transform_rule",
@@ -13410,9 +13665,17 @@ var transform = [
 					variant: "alternatives",
 					head: "labeled_transform",
 					tail: "transform_rule$repeat_7"
+				},
+				location: {
+					offset: 6033,
+					length: 87
 				}
 			}
-		]
+		],
+		location: {
+			offset: 6007,
+			length: 115
+		}
 	},
 	{
 		production: "reference_list",
@@ -13425,9 +13688,17 @@ var transform = [
 					variant: "references",
 					head: "reference",
 					tail: "reference_list$repeat_8"
+				},
+				location: {
+					offset: 6154,
+					length: 77
 				}
 			}
-		]
+		],
+		location: {
+			offset: 6128,
+			length: 105
+		}
 	},
 	{
 		production: "choice",
@@ -13440,9 +13711,17 @@ var transform = [
 					variant: "alternatives",
 					head: "alternative",
 					tail: "choice$repeat_9"
+				},
+				location: {
+					offset: 6257,
+					length: 65
 				}
 			}
-		]
+		],
+		location: {
+			offset: 6239,
+			length: 85
+		}
 	},
 	{
 		production: "sequence",
@@ -13455,9 +13734,17 @@ var transform = [
 					variant: "factors",
 					head: "factor",
 					tail: "sequence$repeat_10"
+				},
+				location: {
+					offset: 6350,
+					length: 60
 				}
 			}
-		]
+		],
+		location: {
+			offset: 6330,
+			length: 82
+		}
 	}
 ];
 var grammarTableJson = {
@@ -13539,8 +13826,8 @@ function validateGrammarTable(grammar) {
         for (const rule of grammar.transformSchema.rules) {
             validateTransformProductionExists(rule, bnfProductionNames, issues);
             for (const alternative of rule.alternatives) {
-                validateTransformExpression(grammar, alternative.expression, issues);
-                collectPassCollapseWarnings(grammar, rule, alternative.expression, bnf.productions, issues);
+                validateTransformExpression(grammar, alternative, issues);
+                collectPassCollapseWarnings(grammar, rule, alternative, bnf.productions, issues);
             }
         }
     }
@@ -13559,37 +13846,47 @@ function validateGrammarTable(grammar) {
  */
 function collectDuplicateDefinitionWarnings(grammar, issues) {
     // Flag repeated production names in the grammar section.
-    reportDuplicateNames(grammar.productions.map((production) => production.name), 'grammar', 'production', issues);
+    reportDuplicateDefinitions(grammar.productions.map((production) => ({
+        name: production.name,
+        location: production.location ?? null,
+    })), 'grammar', 'production', issues);
     // Flag repeated ast type names.
     if (grammar.astSchema !== null) {
-        reportDuplicateNames(grammar.astSchema.types.map((type) => type.name), 'ast', 'type', issues);
+        reportDuplicateDefinitions(grammar.astSchema.types.map((type) => ({
+            name: type.name,
+            location: type.location ?? null,
+        })), 'ast', 'type', issues);
     }
     // Flag repeated transform rules for the same production.
     if (grammar.transformSchema !== null) {
-        reportDuplicateNames(grammar.transformSchema.rules.map((rule) => rule.production), 'transform', 'rule', issues);
+        reportDuplicateDefinitions(grammar.transformSchema.rules.map((rule) => ({
+            name: rule.production,
+            location: rule.location ?? null,
+        })), 'transform', 'rule', issues);
     }
 }
 /**
  * Records a warning for each name that appears more than once.
  *
- * @param names - Declared names in source order.
+ * @param definitions - Declared names and locations in source order.
  * @param section - Grammar section name for the message.
  * @param kind - Declaration kind for the message.
  * @param issues - Issue list to append to.
  */
-function reportDuplicateNames(names, section, kind, issues) {
+function reportDuplicateDefinitions(definitions, section, kind, issues) {
     const seen = new Set();
     const reported = new Set();
-    for (const name of names) {
-        if (seen.has(name) && !reported.has(name)) {
+    for (const definition of definitions) {
+        if (seen.has(definition.name) && !reported.has(definition.name)) {
             issues.push({
                 severity: 'warning',
-                message: `duplicate ${section} ${kind} ${JSON.stringify(name)}; `
+                message: `duplicate ${section} ${kind} ${JSON.stringify(definition.name)}; `
                     + `the later definition overrides the earlier one`,
+                location: definition.location,
             });
-            reported.add(name);
+            reported.add(definition.name);
         }
-        seen.add(name);
+        seen.add(definition.name);
     }
 }
 /**
@@ -13612,6 +13909,7 @@ function validateTransformProductionExists(rule, bnfProductionNames, issues) {
         issues.push({
             severity: 'error',
             message: `transform rule for unknown production ${JSON.stringify(rule.production)}`,
+            location: rule.location ?? null,
         });
     }
 }
@@ -13629,18 +13927,20 @@ function syntheticRepeatPrefix(name) {
  * Validates one transform expression against the grammar AST schema.
  *
  * @param grammar - Parsed grammar model.
- * @param expression - Transform expression to validate.
+ * @param alternative - Transform alternative owning the expression.
  * @param issues - Issue list to append to.
  */
-function validateTransformExpression(grammar, expression, issues) {
+function validateTransformExpression(grammar, alternative, issues) {
+    const expression = alternative.expression;
+    const location = alternative.location ?? null;
     switch (expression.kind) {
         case 'build':
-            validateAstTarget(grammar, expression.typeName, expression.variant, issues);
+            validateAstTarget(grammar, expression.typeName, expression.variant, location, issues);
             break;
         case 'foldLeft':
         case 'foldRight':
         case 'flatten':
-            validateAstTarget(grammar, expression.typeName, expression.variant, issues);
+            validateAstTarget(grammar, expression.typeName, expression.variant, location, issues);
             break;
     }
 }
@@ -13650,13 +13950,15 @@ function validateTransformExpression(grammar, expression, issues) {
  * @param grammar - Parsed grammar model.
  * @param typeName - AST type name from a transform expression.
  * @param variant - AST variant label from a transform expression.
+ * @param location - Source span of the transform alternative.
  * @param issues - Issue list to append to.
  */
-function validateAstTarget(grammar, typeName, variant, issues) {
+function validateAstTarget(grammar, typeName, variant, location, issues) {
     if (grammar.astSchema === null) {
         issues.push({
             severity: 'error',
             message: `transform references ${typeName}.${variant} but the grammar has no ast section`,
+            location,
         });
         return;
     }
@@ -13665,6 +13967,7 @@ function validateAstTarget(grammar, typeName, variant, issues) {
         issues.push({
             severity: 'error',
             message: `transform references undefined ast type ${JSON.stringify(typeName)}`,
+            location,
         });
         return;
     }
@@ -13673,6 +13976,7 @@ function validateAstTarget(grammar, typeName, variant, issues) {
         issues.push({
             severity: 'error',
             message: `transform references ${typeName}.${variant} which is not declared in ast`,
+            location,
         });
     }
 }
@@ -13703,11 +14007,12 @@ function collectAstVariants(expression) {
  *
  * @param grammar - Parsed grammar model.
  * @param rule - Parent production transform rule.
- * @param expression - Transform expression for one alternative.
+ * @param alternative - Transform alternative containing the pass expression.
  * @param bnfProductions - Desugared BNF productions.
  * @param issues - Issue list to append to.
  */
-function collectPassCollapseWarnings(grammar, rule, expression, bnfProductions, issues) {
+function collectPassCollapseWarnings(grammar, rule, alternative, bnfProductions, issues) {
+    const expression = alternative.expression;
     if (expression.kind !== 'pass') {
         return;
     }
@@ -13730,6 +14035,7 @@ function collectPassCollapseWarnings(grammar, rule, expression, bnfProductions,
         message: `pass(${expression.reference}) on ${rule.production} binds ${boundSymbol} `
             + `which has no transform rule and can match a single terminal; `
             + `add a transform for ${boundSymbol} or use build`,
+        location: alternative.location ?? null,
     });
 }
 /**
@@ -13786,14 +14092,19 @@ function isTerminalSymbol(symbol) {
     return symbol?.kind === 'terminal' || symbol?.kind === 'token';
 }
 /**
- * Formats validation issues as stderr warning or error lines.
+ * Formats validation issues as stderr diagnostic lines.
  *
  * @param issues - Validation issues to format.
+ * @param options - Optional grammar path and source text for line numbers.
  */
-function formatTableValidationIssues(issues) {
-    return issues.map((issue) => issue.severity === 'error'
-        ? `error: ${issue.message}`
-        : `warning: ${issue.message}`);
+function formatTableValidationIssues(issues, options = {}) {
+    return issues.map((issue) => formatDiagnostic({
+        severity: issue.severity,
+        message: issue.message,
+        path: options.path,
+        source: options.source,
+        location: issue.location,
+    }));
 }
 
 /**
@@ -13829,6 +14140,58 @@ function parseContextFromSources(options) {
     throw new ParseContextError('required: grammar source or table JSON');
 }
 
+/**
+ * Rewrites a thrown source error into a positioned CLI diagnostic error.
+ *
+ * @param error - Thrown value from grammar or input reading.
+ * @param path - Source file path.
+ * @param source - Full source text used for line/column mapping.
+ * @returns Positioned ParserLrError when the failure has an offset; otherwise the original value.
+ */
+function locateSourceError(error, path, source) {
+    const offset = sourceErrorOffset(error);
+    if (offset === null) {
+        return error;
+    }
+    return new ParserLrError(formatDiagnostic({
+        severity: 'error',
+        message: stripEmbeddedOffset(errorMessage(error)),
+        path,
+        source,
+        offset,
+    }));
+}
+/**
+ * Returns a source offset from a known offset-bearing error.
+ *
+ * @param error - Thrown value to inspect.
+ */
+function sourceErrorOffset(error) {
+    if (error instanceof ReadGrammarError || error instanceof LexerError) {
+        return error.offset;
+    }
+    return null;
+}
+/**
+ * Returns a human-readable message from a thrown value.
+ *
+ * @param error - Thrown value.
+ */
+function errorMessage(error) {
+    if (error instanceof Error) {
+        return error.message;
+    }
+    return String(error);
+}
+/**
+ * Removes an embedded `at offset N` suffix so the diagnostic formatter owns the position.
+ *
+ * @param message - Original error message.
+ */
+function stripEmbeddedOffset(message) {
+    return message.replace(/\s+at offset \d+\s*$/, '');
+}
+
 /**
  * Reads a UTF-8 text file from disk.
  *
@@ -13892,11 +14255,21 @@ function registerParseCommand(program) {
         }
         const context = await loadContextFromPaths(options);
         logProgress(`lexing ${options.input}`);
-        const tokens = await context.lexChunkStreamAsync(readTextChunks(options.input));
+        const tokens = await lexInputFile(context, options.input);
         logProgress('parsing');
-        const tree = context.parse(tokens);
+        const result = context.parseResult(tokens);
+        if (result.tree === null) {
+            const source = await readTextFile(options.input);
+            throw new ParserLrError(formatDiagnostic({
+                severity: 'error',
+                message: result.errorMessage ?? 'Parse failed',
+                path: options.input,
+                source,
+                offset: result.errorOffset,
+            }));
+        }
         logProgress(`formatting output (${options.format})`);
-        const output = formatParseOutput(tree, options.format);
+        const output = formatParseOutput(result.tree, options.format);
         // Write output to disk or stdout.
         if (options.output !== undefined) {
             logProgress(`writing ${options.output}`);
@@ -13908,6 +14281,21 @@ function registerParseCommand(program) {
         }
     });
 }
+/**
+ * Lexes an input file and rewrites offset-bearing lexer failures with line numbers.
+ *
+ * @param context - Loaded parse context.
+ * @param path - Input file path.
+ */
+async function lexInputFile(context, path) {
+    try {
+        return await context.lexChunkStreamAsync(readTextChunks(path));
+    }
+    catch (error) {
+        const source = await readTextFile(path);
+        throw locateSourceError(error, path, source);
+    }
+}
 /**
  * Reads grammar or table files and builds a parse context.
  *
@@ -13918,8 +14306,13 @@ async function loadContextFromPaths(options) {
     if (options.grammar !== undefined) {
         logProgress(`reading grammar ${options.grammar}`);
         const grammarSource = await readTextFile(options.grammar);
-        logProgress('building parse table');
-        return parseContextFromGrammar(grammarSource);
+        try {
+            logProgress('building parse table');
+            return parseContextFromGrammar(grammarSource);
+        }
+        catch (error) {
+            throw locateSourceError(error, options.grammar, grammarSource);
+        }
     }
     logProgress(`reading table ${options.table}`);
     const tableJson = await readTextFile(options.table);
@@ -13945,9 +14338,9 @@ function registerTableCommands(program) {
         .action(async (options) => {
         logProgress(`reading grammar ${options.grammar}`);
         const grammarSource = await readTextFile(options.grammar);
+        const grammar = readGrammarAtPath(options.grammar, grammarSource);
         logProgress(`building ${options.algorithm} parse table`);
-        const grammar = readGrammar(grammarSource);
-        writeGrammarValidationMessages(grammar, false);
+        writeGrammarValidationMessages(grammar, options.grammar, grammarSource, false);
         const context = parseContextFromSources({
             grammarSource,
             algorithm: options.algorithm,
@@ -13976,27 +14369,45 @@ function registerTableCommands(program) {
         .action(async (options) => {
         logProgress(`reading grammar ${options.grammar}`);
         const grammarSource = await readTextFile(options.grammar);
-        const grammar = readGrammar(grammarSource);
-        const exitCode = writeGrammarValidationMessages(grammar, options.strict === true);
+        const grammar = readGrammarAtPath(options.grammar, grammarSource);
+        const exitCode = writeGrammarValidationMessages(grammar, options.grammar, grammarSource, options.strict === true);
         process.exitCode = exitCode;
     });
 }
+/**
+ * Parses a grammar file and rewrites offset-bearing failures with line numbers.
+ *
+ * @param path - Grammar file path.
+ * @param source - Grammar file text.
+ */
+function readGrammarAtPath(path, source) {
+    try {
+        return readGrammar(source);
+    }
+    catch (error) {
+        throw locateSourceError(error, path, source);
+    }
+}
 /**
  * Writes grammar validation messages to stderr and returns a process exit code.
  *
  * @param grammar - Parsed grammar model.
+ * @param path - Grammar file path for diagnostics.
+ * @param source - Grammar file text for line/column mapping.
  * @param strict - Whether warnings should fail validation.
  */
-function writeGrammarValidationMessages(grammar, strict) {
+function writeGrammarValidationMessages(grammar, path, source, strict) {
     const issues = validateGrammarTable(grammar);
     let hasError = false;
     let hasWarning = false;
-    for (const line of formatTableValidationIssues(issues)) {
+    for (const line of formatTableValidationIssues(issues, { path, source })) {
         process.stderr.write(`${line}\n`);
-        if (line.startsWith('error:')) {
+    }
+    for (const issue of issues) {
+        if (issue.severity === 'error') {
             hasError = true;
         }
-        if (line.startsWith('warning:')) {
+        if (issue.severity === 'warning') {
             hasWarning = true;
         }
     }