stringent 0.0.2 → 0.0.4

package/dist/errors.d.ts

@@ -0,0 +1,121 @@
+/**
+ * Error Types and Utilities
+ *
+ * Provides rich error information for parse failures including:
+ * - Position tracking (offset, line, column)
+ * - Source snippets showing where errors occurred
+ * - Descriptive messages for different error types
+ */
+/**
+ * Source position in the input string.
+ */
+export interface SourcePosition {
+    /** Zero-based character offset from start of input */
+    readonly offset: number;
+    /** One-based line number */
+    readonly line: number;
+    /** One-based column number (characters from start of line) */
+    readonly column: number;
+}
+/**
+ * Calculate position information from input and current offset.
+ *
+ * @param input - The original input string
+ * @param offset - Character offset into the input
+ * @returns Position with line and column numbers
+ */
+export declare function calculatePosition(input: string, offset: number): SourcePosition;
+/** Error kinds for categorization */
+export type ParseErrorKind = 'no_match' | 'type_mismatch' | 'unterminated_string' | 'unclosed_paren' | 'unexpected_token' | 'empty_input';
+/**
+ * Rich parse error with position and context information.
+ */
+export interface RichParseError {
+    /** Error marker for type discrimination */
+    readonly __error: true;
+    /** Error kind for categorization */
+    readonly kind: ParseErrorKind;
+    /** Human-readable error message */
+    readonly message: string;
+    /** Position where the error occurred */
+    readonly position: SourcePosition;
+    /** The problematic input snippet */
+    readonly snippet: string;
+    /** The full original input */
+    readonly input: string;
+    /** Additional context (e.g., expected type, actual type) */
+    readonly context?: ErrorContext;
+}
+/**
+ * Additional error context for specific error types.
+ */
+export interface ErrorContext {
+    /** Expected type for type mismatch errors */
+    expected?: string;
+    /** Actual type for type mismatch errors */
+    actual?: string;
+    /** What was being parsed when error occurred */
+    parsing?: string;
+}
+/**
+ * Create a snippet of the input around the error position.
+ *
+ * @param input - The full input string
+ * @param offset - Character offset where error occurred
+ * @param contextChars - Number of characters to show around the error
+ * @returns A snippet with error position marker
+ */
+export declare function createSnippet(input: string, offset: number, contextChars?: number): string;
+/**
+ * Create a RichParseError.
+ */
+export declare function createParseError(kind: ParseErrorKind, message: string, input: string, offset: number, context?: ErrorContext): RichParseError;
+/**
+ * Create a "no match" error.
+ */
+export declare function noMatchError(input: string, offset: number): RichParseError;
+/**
+ * Create a "type mismatch" error.
+ */
+export declare function typeMismatchError(input: string, offset: number, expected: string, actual: string, parsing?: string): RichParseError;
+/**
+ * Create an "unterminated string" error.
+ */
+export declare function unterminatedStringError(input: string, offset: number, quote: string): RichParseError;
+/**
+ * Create an "unclosed parenthesis" error.
+ */
+export declare function unclosedParenError(input: string, offset: number): RichParseError;
+/**
+ * Create an "unexpected token" error.
+ */
+export declare function unexpectedTokenError(input: string, offset: number, found: string, expected?: string): RichParseError;
+/**
+ * Create an "empty input" error.
+ */
+export declare function emptyInputError(input: string): RichParseError;
+import type { ASTNode } from './primitive/index.js';
+/**
+ * Extended parse result that can include error information.
+ * - Empty array: no match (backward compatible)
+ * - [node, remaining]: successful parse
+ * - [node, remaining, errors]: successful parse with collected errors
+ */
+export type ParseResultWithErrors<T extends ASTNode<string, unknown> = ASTNode<string, unknown>> = [] | [T & {}, string] | [T & {}, string, RichParseError[]];
+/**
+ * Check if a result includes errors.
+ */
+export declare function hasErrors(result: ParseResultWithErrors): boolean;
+/**
+ * Get errors from a result, or empty array if none.
+ */
+export declare function getErrors(result: ParseResultWithErrors): RichParseError[];
+/**
+ * Format an error for display with source context.
+ */
+export declare function formatError(error: RichParseError): string;
+/**
+ * Format multiple errors for display.
+ */
+export declare function formatErrors(errors: RichParseError[]): string;
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,CAO/E;AAMD,qCAAqC;AACrC,MAAM,MAAM,cAAc,GACtB,UAAU,GACV,eAAe,GACf,qBAAqB,GACrB,gBAAgB,GAChB,kBAAkB,GAClB,aAAa,CAAC;AAElB;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,2CAA2C;IAC3C,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,mCAAmC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,oCAAoC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,8BAA8B;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gDAAgD;IAChD,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAMD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAE,MAAW,GAAG,MAAM,CAuB9F;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,YAAY,GACrB,cAAc,CAUhB;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,CAe1E;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,MAAM,GACf,cAAc,CAYhB;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,GACZ,cAAc,CAOhB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,CAOhF;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,QAAQ,CAAC,EAAE,MAAM,GAChB,cAAc,CAWhB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,CAE7D;AAMD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAC3F,EAAE,GACF,CAAC,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,GAChB,CAAC,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAEvC;;GAEG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,qBAAqB,GAAG,OAAO,CAEhE;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,qBAAqB,GAAG,cAAc,EAAE,CAKzE;AAMD;;GAEG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAmBzD;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAE7D"}

package/dist/errors.js

@@ -0,0 +1,186 @@
+/**
+ * Error Types and Utilities
+ *
+ * Provides rich error information for parse failures including:
+ * - Position tracking (offset, line, column)
+ * - Source snippets showing where errors occurred
+ * - Descriptive messages for different error types
+ */
+/**
+ * Calculate position information from input and current offset.
+ *
+ * @param input - The original input string
+ * @param offset - Character offset into the input
+ * @returns Position with line and column numbers
+ */
+export function calculatePosition(input, offset) {
+    const textBeforeOffset = input.slice(0, offset);
+    const lines = textBeforeOffset.split('\n');
+    const line = lines.length;
+    const column = lines[lines.length - 1].length + 1;
+    return { offset, line, column };
+}
+// =============================================================================
+// Error Creation Utilities
+// =============================================================================
+/**
+ * Create a snippet of the input around the error position.
+ *
+ * @param input - The full input string
+ * @param offset - Character offset where error occurred
+ * @param contextChars - Number of characters to show around the error
+ * @returns A snippet with error position marker
+ */
+export function createSnippet(input, offset, contextChars = 20) {
+    if (input.length === 0)
+        return '(empty input)';
+    const start = Math.max(0, offset - contextChars);
+    const end = Math.min(input.length, offset + contextChars);
+    let snippet = '';
+    // Add ellipsis if we're not at the start
+    if (start > 0)
+        snippet += '...';
+    // Add the snippet content
+    snippet += input.slice(start, offset);
+    snippet += '→'; // Position marker
+    snippet += input.slice(offset, end);
+    // Add ellipsis if we're not at the end
+    if (end < input.length)
+        snippet += '...';
+    // Escape control characters for display
+    snippet = snippet.replace(/\n/g, '\\n').replace(/\t/g, '\\t').replace(/\r/g, '\\r');
+    return snippet;
+}
+/**
+ * Create a RichParseError.
+ */
+export function createParseError(kind, message, input, offset, context) {
+    return {
+        __error: true,
+        kind,
+        message,
+        position: calculatePosition(input, offset),
+        snippet: createSnippet(input, offset),
+        input,
+        context,
+    };
+}
+/**
+ * Create a "no match" error.
+ */
+export function noMatchError(input, offset) {
+    const position = calculatePosition(input, offset);
+    const remaining = input.slice(offset).trim();
+    const preview = remaining.slice(0, 20) + (remaining.length > 20 ? '...' : '');
+    let message;
+    if (input.trim().length === 0) {
+        message = 'Empty or whitespace-only input';
+    }
+    else if (offset >= input.length) {
+        message = 'Unexpected end of input';
+    }
+    else {
+        message = `No grammar rule matched at position ${position.line}:${position.column}: "${preview}"`;
+    }
+    return createParseError('no_match', message, input, offset);
+}
+/**
+ * Create a "type mismatch" error.
+ */
+export function typeMismatchError(input, offset, expected, actual, parsing) {
+    const position = calculatePosition(input, offset);
+    let message = `Type mismatch at ${position.line}:${position.column}: expected '${expected}', got '${actual}'`;
+    if (parsing) {
+        message += ` while parsing ${parsing}`;
+    }
+    return createParseError('type_mismatch', message, input, offset, {
+        expected,
+        actual,
+        parsing,
+    });
+}
+/**
+ * Create an "unterminated string" error.
+ */
+export function unterminatedStringError(input, offset, quote) {
+    const position = calculatePosition(input, offset);
+    const message = `Unterminated string literal at ${position.line}:${position.column}: missing closing ${quote}`;
+    return createParseError('unterminated_string', message, input, offset, {
+        parsing: 'string literal',
+    });
+}
+/**
+ * Create an "unclosed parenthesis" error.
+ */
+export function unclosedParenError(input, offset) {
+    const position = calculatePosition(input, offset);
+    const message = `Unclosed parenthesis at ${position.line}:${position.column}: missing ')'`;
+    return createParseError('unclosed_paren', message, input, offset, {
+        parsing: 'parenthesized expression',
+    });
+}
+/**
+ * Create an "unexpected token" error.
+ */
+export function unexpectedTokenError(input, offset, found, expected) {
+    const position = calculatePosition(input, offset);
+    let message = `Unexpected token at ${position.line}:${position.column}: found '${found}'`;
+    if (expected) {
+        message += `, expected ${expected}`;
+    }
+    return createParseError('unexpected_token', message, input, offset, {
+        expected,
+        parsing: 'expression',
+    });
+}
+/**
+ * Create an "empty input" error.
+ */
+export function emptyInputError(input) {
+    return createParseError('empty_input', 'Cannot parse empty or whitespace-only input', input, 0);
+}
+/**
+ * Check if a result includes errors.
+ */
+export function hasErrors(result) {
+    return result.length === 3 && result[2].length > 0;
+}
+/**
+ * Get errors from a result, or empty array if none.
+ */
+export function getErrors(result) {
+    if (result.length === 3) {
+        return result[2];
+    }
+    return [];
+}
+// =============================================================================
+// Error Formatting
+// =============================================================================
+/**
+ * Format an error for display with source context.
+ */
+export function formatError(error) {
+    const { position, message, snippet } = error;
+    const lines = [];
+    lines.push(`Error at line ${position.line}, column ${position.column}:`);
+    lines.push(`  ${message}`);
+    lines.push('');
+    lines.push(`  ${snippet}`);
+    if (error.context) {
+        const ctx = error.context;
+        if (ctx.expected && ctx.actual) {
+            lines.push('');
+            lines.push(`  Expected: ${ctx.expected}`);
+            lines.push(`  Actual:   ${ctx.actual}`);
+        }
+    }
+    return lines.join('\n');
+}
+/**
+ * Format multiple errors for display.
+ */
+export function formatErrors(errors) {
+    return errors.map(formatError).join('\n\n');
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAkBH;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa,EAAE,MAAc;IAC7D,MAAM,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAElD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC;AA+CD,gFAAgF;AAChF,2BAA2B;AAC3B,gFAAgF;AAEhF;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,MAAc,EAAE,eAAuB,EAAE;IACpF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,eAAe,CAAC;IAE/C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC;IAE1D,IAAI,OAAO,GAAG,EAAE,CAAC;IAEjB,yCAAyC;IACzC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC;IAEhC,0BAA0B;IAC1B,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtC,OAAO,IAAI,GAAG,CAAC,CAAC,kBAAkB;IAClC,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEpC,uCAAuC;IACvC,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,KAAK,CAAC;IAEzC,wCAAwC;IACxC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAEpF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAoB,EACpB,OAAe,EACf,KAAa,EACb,MAAc,EACd,OAAsB;IAEtB,OAAO;QACL,OAAO,EAAE,IAAI;QACb,IAAI;QACJ,OAAO;QACP,QAAQ,EAAE,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC;QAC1C,OAAO,EAAE,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC;QACrC,KAAK;QACL,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,MAAc;IACxD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7C,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE9E,IAAI,OAAe,CAAC;IACpB,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,GAAG,gCAAgC,CAAC;IAC7C,CAAC;SAAM,IAAI,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAClC,OAAO,GAAG,yBAAyB,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,uCAAuC,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,MAAM,MAAM,OAAO,GAAG,CAAC;IACpG,CAAC;IAED,OAAO,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAC9D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAa,EACb,MAAc,EACd,QAAgB,EAChB,MAAc,EACd,OAAgB;IAEhB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAClD,IAAI,OAAO,GAAG,oBAAoB,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,MAAM,eAAe,QAAQ,WAAW,MAAM,GAAG,CAAC;IAC9G,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,IAAI,kBAAkB,OAAO,EAAE,CAAC;IACzC,CAAC;IAED,OAAO,gBAAgB,CAAC,eAAe,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;QAC/D,QAAQ;QACR,MAAM;QACN,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAa,EACb,MAAc,EACd,KAAa;IAEb,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,kCAAkC,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,MAAM,qBAAqB,KAAK,EAAE,CAAC;IAE/G,OAAO,gBAAgB,CAAC,qBAAqB,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;QACrE,OAAO,EAAE,gBAAgB;KAC1B,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,MAAc;IAC9D,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,2BAA2B,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,MAAM,eAAe,CAAC;IAE3F,OAAO,gBAAgB,CAAC,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;QAChE,OAAO,EAAE,0BAA0B;KACpC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAa,EACb,MAAc,EACd,KAAa,EACb,QAAiB;IAEjB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAClD,IAAI,OAAO,GAAG,uBAAuB,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,MAAM,YAAY,KAAK,GAAG,CAAC;IAC1F,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,IAAI,cAAc,QAAQ,EAAE,CAAC;IACtC,CAAC;IAED,OAAO,gBAAgB,CAAC,kBAAkB,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;QAClE,QAAQ;QACR,OAAO,EAAE,YAAY;KACtB,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,OAAO,gBAAgB,CAAC,aAAa,EAAE,6CAA6C,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAClG,CAAC;AAmBD;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,MAA6B;IACrD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AACrD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,MAA6B;IACrD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,KAAqB;IAC/C,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,iBAAiB,QAAQ,CAAC,IAAI,YAAY,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;IAE3B,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC;QAC1B,IAAI,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,MAAwB;IACnD,OAAO,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC9C,CAAC"}

package/dist/grammar/index.d.ts

@@ -1,43 +1,48 @@
 /**
  * Grammar Type Computation
  *
- * Computes a grammar TYPE from node schemas. The grammar is a flat tuple
+ * Computes a grammar TYPE from operator schemas. The grammar is a flat tuple
  * of precedence levels, sorted from lowest to highest precedence, with
- * atoms as the final element.
+ * built-in atoms as the final element.
  *
  * Example:
- *   [[AddOps], [MulOps], [Atoms]]
+ *   [[AddOps], [MulOps], [BuiltInAtoms]]
  *   // level 0 (lowest prec) → level 1 → atoms (last)
  */
-import type { Pipe, Numbers, Objects, Tuples, Fn, Unions, Call } from "hotscript";
-import type { NodeSchema } from "../schema/index.js";
+import type { Pipe, Numbers, Objects, Tuples, Fn, Unions, Call } from 'hotscript';
+import type { NodeSchema } from '../schema/index.js';
+import type { BUILT_IN_ATOMS } from '../runtime/parser.js';
 /**
  * A grammar is a tuple of levels, where each level is an array of node schemas.
- * Sorted by precedence (lowest first), atoms last.
+ * Sorted by precedence (lowest first), built-in atoms last.
  */
 export type Grammar = readonly (readonly NodeSchema[])[];
+/** Built-in atoms type - derived from the runtime definitions */
+export type BuiltInAtoms = typeof BUILT_IN_ATOMS;
 /**
- * Compare precedence entries: numbers sort ascending, "atom" always comes last.
+ * Compare precedence entries: numbers sort ascending.
  * Entry format: [precedence, nodes[]]
  */
 interface SortByPrecedence extends Fn {
-    return: this["arg0"][0] extends "atom" ? false : this["arg1"][0] extends "atom" ? true : Call<Numbers.LessThanOrEqual, this["arg0"][0], this["arg1"][0]>;
+    return: Call<Numbers.LessThanOrEqual, this['arg0'][0], this['arg1'][0]>;
 }
 /**
- * Compute the grammar tuple from node schemas.
+ * Compute the grammar tuple from operator schemas.
  *
- * 1. Group nodes by precedence
- * 2. Convert to entries and sort (numbers ascending, "atom" last)
+ * 1. Group operators by precedence
+ * 2. Convert to entries and sort (numbers ascending)
  * 3. Extract just the node arrays
+ * 4. Append built-in atoms as the last level
  */
-type ComputeGrammarImpl<TNodes extends readonly NodeSchema[]> = Pipe<[
+type ComputeOperatorLevels<TNodes extends readonly NodeSchema[]> = Pipe<[
     ...TNodes
 ], [
-    Tuples.GroupBy<Objects.Get<"precedence">>,
+    Tuples.GroupBy<Objects.Get<'precedence'>>,
     Objects.Entries,
     Unions.ToTuple,
     Tuples.Sort<SortByPrecedence>,
     Tuples.Map<Tuples.At<1>>
 ]>;
-export type ComputeGrammar<TNodes extends readonly NodeSchema[]> = ComputeGrammarImpl<TNodes> extends infer G extends Grammar ? G : never;
+export type ComputeGrammar<TNodes extends readonly NodeSchema[]> = ComputeOperatorLevels<TNodes> extends infer Levels extends readonly (readonly NodeSchema[])[] ? readonly [...Levels, BuiltInAtoms] : never;
 export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/grammar/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/grammar/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAClF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAM3D;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,CAAC;AAMzD,iEAAiE;AACjE,MAAM,MAAM,YAAY,GAAG,OAAO,cAAc,CAAC;AAMjD;;;GAGG;AACH,UAAU,gBAAiB,SAAQ,EAAE;IACnC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACzE;AAMD;;;;;;;GAOG;AACH,KAAK,qBAAqB,CAAC,MAAM,SAAS,SAAS,UAAU,EAAE,IAAI,IAAI,CACrE;IAAC,GAAG,MAAM;CAAC,EACX;IACE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzC,OAAO,CAAC,OAAO;IACf,MAAM,CAAC,OAAO;IACd,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC;IAC7B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACzB,CACF,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,MAAM,SAAS,SAAS,UAAU,EAAE,IAC7D,qBAAqB,CAAC,MAAM,CAAC,SAAS,MAAM,MAAM,SAAS,SAAS,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,GACzF,SAAS,CAAC,GAAG,MAAM,EAAE,YAAY,CAAC,GAClC,KAAK,CAAC"}

package/dist/grammar/index.js

@@ -1,12 +1,13 @@
 /**
  * Grammar Type Computation
  *
- * Computes a grammar TYPE from node schemas. The grammar is a flat tuple
+ * Computes a grammar TYPE from operator schemas. The grammar is a flat tuple
  * of precedence levels, sorted from lowest to highest precedence, with
- * atoms as the final element.
+ * built-in atoms as the final element.
  *
  * Example:
- *   [[AddOps], [MulOps], [Atoms]]
+ *   [[AddOps], [MulOps], [BuiltInAtoms]]
  *   // level 0 (lowest prec) → level 1 → atoms (last)
  */
 export {};
+//# sourceMappingURL=index.js.map

package/dist/grammar/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/grammar/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG"}

package/dist/index.d.ts

@@ -6,14 +6,22 @@
  * - createParser: Build a type-safe parser from nodes
  * - Parse<Grammar, Input, Context>: Type-level parsing
  */
-export { defineNode, number, string, ident, constVal, lhs, rhs, expr } from "./schema/index.js";
-export type { NodeSchema, PatternSchema, NumberSchema, StringSchema, IdentSchema, ConstSchema, ExprSchema, ExprRole, Precedence, ConfigureFn, EvalFn, SchemaToType, InferBindings, InferEvaluatedBindings, } from "./schema/index.js";
-export { createParser } from "./createParser.js";
-export type { Parser } from "./createParser.js";
-export type { Parse, BinaryNode, ParseError, TypeMismatchError, NoMatchError } from "./parse/index.js";
-export type { ComputeGrammar, Grammar } from "./grammar/index.js";
-export type { Context, EmptyContext } from "./context.js";
-export { emptyContext } from "./context.js";
-export type { ASTNode, LiteralNode, NumberNode, StringNode, IdentNode, ConstNode, } from "./primitive/index.js";
-export { Number, String, Ident, Const, type IParser, type ParseResult, } from "./primitive/index.js";
-export { Union, Tuple, Optional, Many } from "./combinators/index.js";
+export { defineNode, number, string, ident, constVal, lhs, rhs, expr, nullLiteral, booleanLiteral, undefinedLiteral, } from './schema/index.js';
+export type { NodeSchema, PatternSchema, NumberSchema, StringSchema, IdentSchema, ConstSchema, NullSchema, BooleanSchema, UndefinedSchema, ExprSchema, ExprRole, Precedence, ConfigureFn, EvalFn, SchemaToType, InferBindings, InferEvaluatedBindings, UnionResultType, ResultTypeSpec, } from './schema/index.js';
+export { createParser } from './createParser.js';
+export type { Parser, Evaluator, ParseResult, SchemaRecordToData } from './createParser.js';
+export type { Parse, BinaryNode, ParseError, TypeMismatchError, NoMatchError, } from './parse/index.js';
+export type { ComputeGrammar, Grammar } from './grammar/index.js';
+export type { Context, EmptyContext } from './context.js';
+export { emptyContext } from './context.js';
+export type { ASTNode, LiteralNode, NumberNode, StringNode, IdentNode, ConstNode, NullNode, BooleanNode, UndefinedNode, } from './primitive/index.js';
+export { processEscapeSequences, parseWithErrors, formatParseError } from './runtime/parser.js';
+export type { RichParseError, ParseResultWithErrors, ParseWithErrorsResult, } from './runtime/parser.js';
+export { calculatePosition, createSnippet, createParseError, noMatchError, typeMismatchError, unterminatedStringError, unclosedParenError, unexpectedTokenError, emptyInputError, hasErrors, getErrors, formatError, formatErrors, } from './errors.js';
+export type { SourcePosition, ParseErrorKind, ErrorContext } from './errors.js';
+export { evaluate, createEvaluator } from './runtime/eval.js';
+export type { EvalContext } from './runtime/eval.js';
+export { infer } from './runtime/infer.js';
+export type { InferredType } from './runtime/infer.js';
+export type { Infer } from './static/infer.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,OAAO,EACL,UAAU,EACV,MAAM,EACN,MAAM,EACN,KAAK,EACL,QAAQ,EACR,GAAG,EACH,GAAG,EACH,IAAI,EACJ,WAAW,EACX,cAAc,EACd,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,UAAU,EACV,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EACX,UAAU,EACV,aAAa,EACb,eAAe,EACf,UAAU,EACV,QAAQ,EACR,UAAU,EACV,WAAW,EACX,MAAM,EACN,YAAY,EACZ,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,cAAc,GACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAM5F,YAAY,EACV,KAAK,EACL,UAAU,EACV,UAAU,EACV,iBAAiB,EACjB,YAAY,GACb,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClE,YAAY,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAM5C,YAAY,EACV,OAAO,EACP,WAAW,EACX,UAAU,EACV,UAAU,EACV,SAAS,EACT,SAAS,EACT,QAAQ,EACR,WAAW,EACX,aAAa,GACd,MAAM,sBAAsB,CAAC;AAM9B,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAChG,YAAY,EACV,cAAc,EACd,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAM7B,OAAO,EACL,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,eAAe,EACf,SAAS,EACT,SAAS,EACT,WAAW,EACX,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAMhF,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC9D,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAMrD,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,YAAY,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -9,14 +9,23 @@
 // =============================================================================
 // Main API: defineNode & createParser
 // =============================================================================
-export { defineNode, number, string, ident, constVal, lhs, rhs, expr } from "./schema/index.js";
-export { createParser } from "./createParser.js";
-export { emptyContext } from "./context.js";
+export { defineNode, number, string, ident, constVal, lhs, rhs, expr, nullLiteral, booleanLiteral, undefinedLiteral, } from './schema/index.js';
+export { createParser } from './createParser.js';
+export { emptyContext } from './context.js';
 // =============================================================================
-// Legacy Primitives (for backwards compatibility)
+// Runtime Utilities
 // =============================================================================
-export { Number, String, Ident, Const, } from "./primitive/index.js";
+export { processEscapeSequences, parseWithErrors, formatParseError } from './runtime/parser.js';
 // =============================================================================
-// Legacy Combinators (for backwards compatibility)
+// Error Types and Utilities
 // =============================================================================
-export { Union, Tuple, Optional, Many } from "./combinators/index.js";
+export { calculatePosition, createSnippet, createParseError, noMatchError, typeMismatchError, unterminatedStringError, unclosedParenError, unexpectedTokenError, emptyInputError, hasErrors, getErrors, formatError, formatErrors, } from './errors.js';
+// =============================================================================
+// Runtime Evaluation
+// =============================================================================
+export { evaluate, createEvaluator } from './runtime/eval.js';
+// =============================================================================
+// Inference
+// =============================================================================
+export { infer } from './runtime/infer.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,gFAAgF;AAChF,sCAAsC;AACtC,gFAAgF;AAEhF,OAAO,EACL,UAAU,EACV,MAAM,EACN,MAAM,EACN,KAAK,EACL,QAAQ,EACR,GAAG,EACH,GAAG,EACH,IAAI,EACJ,WAAW,EACX,cAAc,EACd,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAuB3B,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAgBjD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAkB5C,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAOhG,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAEhF,OAAO,EACL,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,eAAe,EACf,SAAS,EACT,SAAS,EACT,WAAW,EACX,YAAY,GACb,MAAM,aAAa,CAAC;AAGrB,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAG9D,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC"}