@manifesto-ai/compiler 1.6.2 → 1.7.0

package/dist/parser/ast.d.ts

@@ -1,344 +0,0 @@
-/**
- * AST Node Types for MEL Parser
- * Based on MEL SPEC v0.3.3 Section 4
- */
-import type { SourceLocation } from "../lexer/source-location.js";
-/**
- * Base interface for all AST nodes
- */
-export interface ASTNode {
-    location: SourceLocation;
-}
-/**
- * Root node of a MEL program
- */
-export interface ProgramNode extends ASTNode {
-    kind: "program";
-    imports: ImportNode[];
-    domain: DomainNode;
-}
-/**
- * Import declaration
- */
-export interface ImportNode extends ASTNode {
-    kind: "import";
-    names: string[];
-    from: string;
-}
-/**
- * Domain declaration
- */
-export interface DomainNode extends ASTNode {
-    kind: "domain";
-    name: string;
-    /** v0.3.3: Named type declarations */
-    types: TypeDeclNode[];
-    members: DomainMember[];
-}
-/**
- * Domain member types
- */
-export type DomainMember = StateNode | ComputedNode | ActionNode;
-/**
- * Type declaration (v0.3.3)
- * Syntax: type Name = TypeExpr
- */
-export interface TypeDeclNode extends ASTNode {
-    kind: "typeDecl";
-    name: string;
-    typeExpr: TypeExprNode;
-}
-/**
- * State block declaration
- */
-export interface StateNode extends ASTNode {
-    kind: "state";
-    fields: StateFieldNode[];
-}
-/**
- * State field declaration
- */
-export interface StateFieldNode extends ASTNode {
-    kind: "stateField";
-    name: string;
-    typeExpr: TypeExprNode;
-    initializer?: ExprNode;
-}
-/**
- * Computed value declaration
- */
-export interface ComputedNode extends ASTNode {
-    kind: "computed";
-    name: string;
-    expression: ExprNode;
-}
-/**
- * Action declaration
- */
-export interface ActionNode extends ASTNode {
-    kind: "action";
-    name: string;
-    params: ParamNode[];
-    /** v0.3.2: Optional availability condition */
-    available?: ExprNode;
-    body: GuardedStmtNode[];
-}
-/**
- * Parameter declaration
- */
-export interface ParamNode extends ASTNode {
-    kind: "param";
-    name: string;
-    typeExpr: TypeExprNode;
-}
-/**
- * Guarded statement types (top-level in action body)
- */
-export type GuardedStmtNode = WhenStmtNode | OnceStmtNode | OnceIntentStmtNode;
-/**
- * Inner statement types (inside guards)
- */
-export type InnerStmtNode = PatchStmtNode | EffectStmtNode | WhenStmtNode | OnceStmtNode | OnceIntentStmtNode | FailStmtNode | StopStmtNode;
-/**
- * When guard statement
- */
-export interface WhenStmtNode extends ASTNode {
-    kind: "when";
-    condition: ExprNode;
-    body: InnerStmtNode[];
-}
-/**
- * Once guard statement (per-intent idempotency)
- */
-export interface OnceStmtNode extends ASTNode {
-    kind: "once";
-    marker: PathNode;
-    condition?: ExprNode;
-    body: InnerStmtNode[];
-}
-/**
- * Once-intent guard statement (per-intent idempotency sugar)
- */
-export interface OnceIntentStmtNode extends ASTNode {
-    kind: "onceIntent";
-    condition?: ExprNode;
-    body: InnerStmtNode[];
-}
-/**
- * Patch statement
- */
-export interface PatchStmtNode extends ASTNode {
-    kind: "patch";
-    path: PathNode;
-    op: "set" | "unset" | "merge";
-    value?: ExprNode;
-}
-/**
- * Effect statement
- */
-export interface EffectStmtNode extends ASTNode {
-    kind: "effect";
-    effectType: string;
-    args: EffectArgNode[];
-}
-/**
- * Effect argument
- */
-export interface EffectArgNode extends ASTNode {
-    kind: "effectArg";
-    name: string;
-    value: ExprNode | PathNode;
-    isPath: boolean;
-}
-/**
- * Fail statement (v0.3.2) - terminates flow with error
- * Compiles to FlowNode { kind: "fail", code, message }
- */
-export interface FailStmtNode extends ASTNode {
-    kind: "fail";
-    code: string;
-    message?: ExprNode;
-}
-/**
- * Stop statement (v0.3.2) - early exit, no error
- * Compiles to FlowNode { kind: "halt", reason }
- */
-export interface StopStmtNode extends ASTNode {
-    kind: "stop";
-    reason: string;
-}
-/**
- * Type expression node
- */
-export type TypeExprNode = SimpleTypeNode | UnionTypeNode | ArrayTypeNode | RecordTypeNode | LiteralTypeNode | ObjectTypeNode;
-export interface SimpleTypeNode extends ASTNode {
-    kind: "simpleType";
-    name: string;
-}
-export interface UnionTypeNode extends ASTNode {
-    kind: "unionType";
-    types: TypeExprNode[];
-}
-export interface ArrayTypeNode extends ASTNode {
-    kind: "arrayType";
-    elementType: TypeExprNode;
-}
-export interface RecordTypeNode extends ASTNode {
-    kind: "recordType";
-    keyType: TypeExprNode;
-    valueType: TypeExprNode;
-}
-export interface LiteralTypeNode extends ASTNode {
-    kind: "literalType";
-    value: string | number | boolean | null;
-}
-/**
- * Object type node (v0.3.3)
- * Represents inline object types: { field: Type, ... }
- * Note: In state fields, this triggers W012 warning (use named type instead)
- */
-export interface ObjectTypeNode extends ASTNode {
-    kind: "objectType";
-    fields: TypeFieldNode[];
-}
-/**
- * Type field within an object type
- */
-export interface TypeFieldNode extends ASTNode {
-    kind: "typeField";
-    name: string;
-    typeExpr: TypeExprNode;
-    optional: boolean;
-}
-/**
- * All expression types
- */
-export type ExprNode = LiteralExprNode | IdentifierExprNode | SystemIdentExprNode | IterationVarExprNode | PropertyAccessExprNode | IndexAccessExprNode | FunctionCallExprNode | UnaryExprNode | BinaryExprNode | TernaryExprNode | ObjectLiteralExprNode | ArrayLiteralExprNode;
-/**
- * Literal expression (number, string, boolean, null)
- */
-export interface LiteralExprNode extends ASTNode {
-    kind: "literal";
-    value: unknown;
-    literalType: "number" | "string" | "boolean" | "null";
-}
-/**
- * Identifier expression
- */
-export interface IdentifierExprNode extends ASTNode {
-    kind: "identifier";
-    name: string;
-}
-/**
- * System identifier expression ($system.*, $meta.*, $input.*)
- */
-export interface SystemIdentExprNode extends ASTNode {
-    kind: "systemIdent";
-    path: string[];
-}
-/**
- * Iteration variable expression ($item only)
- * v0.3.2: $acc removed - reduce pattern deprecated
- */
-export interface IterationVarExprNode extends ASTNode {
-    kind: "iterationVar";
-    name: "item";
-}
-/**
- * Property access expression (a.b)
- */
-export interface PropertyAccessExprNode extends ASTNode {
-    kind: "propertyAccess";
-    object: ExprNode;
-    property: string;
-}
-/**
- * Index access expression (a[b])
- */
-export interface IndexAccessExprNode extends ASTNode {
-    kind: "indexAccess";
-    object: ExprNode;
-    index: ExprNode;
-}
-/**
- * Function call expression
- */
-export interface FunctionCallExprNode extends ASTNode {
-    kind: "functionCall";
-    name: string;
-    args: ExprNode[];
-}
-/**
- * Unary expression (!a, -a)
- */
-export interface UnaryExprNode extends ASTNode {
-    kind: "unary";
-    operator: "!" | "-";
-    operand: ExprNode;
-}
-/**
- * Binary operators
- */
-export type BinaryOperator = "+" | "-" | "*" | "/" | "%" | "==" | "!=" | "<" | "<=" | ">" | ">=" | "&&" | "||" | "??";
-/**
- * Binary expression (a + b, a && b, etc.)
- */
-export interface BinaryExprNode extends ASTNode {
-    kind: "binary";
-    operator: BinaryOperator;
-    left: ExprNode;
-    right: ExprNode;
-}
-/**
- * Ternary expression (a ? b : c)
- */
-export interface TernaryExprNode extends ASTNode {
-    kind: "ternary";
-    condition: ExprNode;
-    consequent: ExprNode;
-    alternate: ExprNode;
-}
-/**
- * Object literal expression ({ a: 1, b: 2 })
- */
-export interface ObjectLiteralExprNode extends ASTNode {
-    kind: "objectLiteral";
-    properties: ObjectPropertyNode[];
-}
-export interface ObjectPropertyNode extends ASTNode {
-    kind: "objectProperty";
-    key: string;
-    value: ExprNode;
-}
-/**
- * Array literal expression ([1, 2, 3])
- */
-export interface ArrayLiteralExprNode extends ASTNode {
-    kind: "arrayLiteral";
-    elements: ExprNode[];
-}
-/**
- * Path node for patch targets and effect destinations
- */
-export interface PathNode extends ASTNode {
-    kind: "path";
-    segments: PathSegmentNode[];
-}
-export type PathSegmentNode = PropertySegmentNode | IndexSegmentNode;
-export interface PropertySegmentNode extends ASTNode {
-    kind: "propertySegment";
-    name: string;
-}
-export interface IndexSegmentNode extends ASTNode {
-    kind: "indexSegment";
-    index: ExprNode;
-}
-/**
- * Check if a node is an expression
- */
-export declare function isExprNode(node: ASTNode): node is ExprNode;
-/**
- * Check if a node is a statement
- */
-export declare function isStmtNode(node: ASTNode): node is InnerStmtNode;
-//# sourceMappingURL=ast.d.ts.map

package/dist/parser/ast.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAIlE;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAID;;GAEG;AACH,MAAM,WAAW,WAAY,SAAQ,OAAO;IAC1C,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,MAAM,EAAE,UAAU,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,YAAY,GAAG,UAAU,CAAC;AAEjE;;;GAGG;AACH,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,YAAY,CAAC;CACxB;AAID;;GAEG;AACH,MAAM,WAAW,SAAU,SAAQ,OAAO;IACxC,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,cAAc,EAAE,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,YAAY,CAAC;IACvB,WAAW,CAAC,EAAE,QAAQ,CAAC;CACxB;AAID;;GAEG;AACH,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,QAAQ,CAAC;CACtB;AAID;;GAEG;AACH,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,8CAA8C;IAC9C,SAAS,CAAC,EAAE,QAAQ,CAAC;IACrB,IAAI,EAAE,eAAe,EAAE,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,SAAU,SAAQ,OAAO;IACxC,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,YAAY,CAAC;CACxB;AAID;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,YAAY,GAAG,YAAY,GAAG,kBAAkB,CAAC;AAE/E;;GAEG;AACH,MAAM,MAAM,aAAa,GACrB,aAAa,GACb,cAAc,GACd,YAAY,GACZ,YAAY,GACZ,kBAAkB,GAClB,YAAY,GACZ,YAAY,CAAC;AAEjB;;GAEG;AACH,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,QAAQ,CAAC;IACpB,IAAI,EAAE,aAAa,EAAE,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,QAAQ,CAAC;IACjB,SAAS,CAAC,EAAE,QAAQ,CAAC;IACrB,IAAI,EAAE,aAAa,EAAE,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,YAAY,CAAC;IACnB,SAAS,CAAC,EAAE,QAAQ,CAAC;IACrB,IAAI,EAAE,aAAa,EAAE,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,QAAQ,CAAC;IACf,EAAE,EAAE,KAAK,GAAG,OAAO,GAAG,OAAO,CAAC;IAC9B,KAAK,CAAC,EAAE,QAAQ,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,aAAa,EAAE,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC3B,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,QAAQ,CAAC;CACpB;AAED;;;GAGG;AACH,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAID;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,aAAa,GACb,aAAa,GACb,cAAc,GACd,eAAe,GACf,cAAc,CAAC;AAEnB,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,YAAY,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,WAAW,CAAC;IAClB,WAAW,EAAE,YAAY,CAAC;CAC3B;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,YAAY,CAAC;IACtB,SAAS,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,YAAY,CAAC;IACvB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAID;;GAEG;AACH,MAAM,MAAM,QAAQ,GAChB,eAAe,GACf,kBAAkB,GAClB,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,mBAAmB,GACnB,oBAAoB,GACpB,aAAa,GACb,cAAc,GACd,eAAe,GACf,qBAAqB,GACrB,oBAAoB,CAAC;AAEzB;;GAEG;AACH,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,CAAC;CACvD;AAED;;GAEG;AACH,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,mBAAoB,SAAQ,OAAO;IAClD,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAqB,SAAQ,OAAO;IACnD,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,OAAO;IACrD,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAoB,SAAQ,OAAO;IAClD,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,QAAQ,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,OAAO;IACnD,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,EAAE,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,GAAG,GAAG,GAAG,CAAC;IACpB,OAAO,EAAE,QAAQ,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GACtB,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAC3B,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GACrC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAEvB;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,cAAc,CAAC;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,QAAQ,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,EAAE,QAAQ,CAAC;IACpB,UAAU,EAAE,QAAQ,CAAC;IACrB,SAAS,EAAE,QAAQ,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,OAAO;IACpD,IAAI,EAAE,eAAe,CAAC;IACtB,UAAU,EAAE,kBAAkB,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,gBAAgB,CAAC;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,QAAQ,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,OAAO;IACnD,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB;AAID;;GAEG;AACH,MAAM,WAAW,QAAS,SAAQ,OAAO;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B;AAED,MAAM,MAAM,eAAe,GAAG,mBAAmB,GAAG,gBAAgB,CAAC;AAErE,MAAM,WAAW,mBAAoB,SAAQ,OAAO;IAClD,IAAI,EAAE,iBAAiB,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,gBAAiB,SAAQ,OAAO;IAC/C,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,QAAQ,CAAC;CACjB;AAID;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,QAAQ,CAO1D;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,aAAa,CAG/D"}

package/dist/parser/ast.js

@@ -1,24 +0,0 @@
-/**
- * AST Node Types for MEL Parser
- * Based on MEL SPEC v0.3.3 Section 4
- */
-// ============ Helpers ============
-/**
- * Check if a node is an expression
- */
-export function isExprNode(node) {
-    const exprKinds = [
-        "literal", "identifier", "systemIdent", "iterationVar",
-        "propertyAccess", "indexAccess", "functionCall",
-        "unary", "binary", "ternary", "objectLiteral", "arrayLiteral"
-    ];
-    return exprKinds.includes(node.kind);
-}
-/**
- * Check if a node is a statement
- */
-export function isStmtNode(node) {
-    const stmtKinds = ["when", "once", "onceIntent", "patch", "effect", "fail", "stop"];
-    return stmtKinds.includes(node.kind);
-}
-//# sourceMappingURL=ast.js.map

package/dist/parser/ast.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA4aH,oCAAoC;AAEpC;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,MAAM,SAAS,GAAG;QAChB,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc;QACtD,gBAAgB,EAAE,aAAa,EAAE,cAAc;QAC/C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,cAAc;KAC9D,CAAC;IACF,OAAO,SAAS,CAAC,QAAQ,CAAE,IAAiB,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACpF,OAAO,SAAS,CAAC,QAAQ,CAAE,IAAsB,CAAC,IAAI,CAAC,CAAC;AAC1D,CAAC"}

package/dist/parser/index.d.ts

@@ -1,7 +0,0 @@
-/**
- * Parser Module - Parses MEL tokens into AST
- */
-export * from "./ast.js";
-export * from "./precedence.js";
-export * from "./parser.js";
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC"}

package/dist/parser/index.js

@@ -1,7 +0,0 @@
-/**
- * Parser Module - Parses MEL tokens into AST
- */
-export * from "./ast.js";
-export * from "./precedence.js";
-export * from "./parser.js";
-//# sourceMappingURL=index.js.map

package/dist/parser/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC"}

package/dist/parser/parser.d.ts

@@ -1,92 +0,0 @@
-/**
- * MEL Parser
- * Recursive descent parser with Pratt parsing for expressions
- * Based on MEL SPEC v0.3.3 Section 4
- */
-import type { Diagnostic } from "../diagnostics/types.js";
-import type { Token } from "../lexer/tokens.js";
-import { type ProgramNode } from "./ast.js";
-/**
- * Result of parsing
- */
-export interface ParseResult {
-    program: ProgramNode | null;
-    diagnostics: Diagnostic[];
-}
-/**
- * Parser for MEL source code
- */
-export declare class Parser {
-    private tokens;
-    private current;
-    private diagnostics;
-    constructor(tokens: Token[]);
-    /**
-     * Parse tokens into an AST
-     */
-    parse(): ParseResult;
-    private parseProgram;
-    private parseImport;
-    private parseDomain;
-    /**
-     * v0.3.3: Parse type declaration
-     * Syntax: type Name = TypeExpr
-     */
-    private parseTypeDecl;
-    private parseDomainMember;
-    private parseState;
-    private parseStateField;
-    private parseComputed;
-    private parseAction;
-    private parseParam;
-    private parseGuardedStmt;
-    private parseWhenStmt;
-    private parseOnceStmt;
-    private parseOnceIntentStmt;
-    private parseInnerStmt;
-    private parsePatchStmt;
-    private parseEffectStmt;
-    private parseEffectArg;
-    /**
-     * v0.3.2: Parse fail statement
-     * FailStmt ::= 'fail' StringLiteral ('with' Expr)?
-     */
-    private parseFailStmt;
-    /**
-     * v0.3.2: Parse stop statement
-     * StopStmt ::= 'stop' StringLiteral
-     */
-    private parseStopStmt;
-    private parseTypeExpr;
-    private parseBaseType;
-    /**
-     * v0.3.3: Parse object type
-     * Syntax: { field: Type, field?: Type, ... }
-     */
-    private parseObjectType;
-    private parseExpression;
-    private parseTernary;
-    private parsePrimary;
-    private parseFunctionCall;
-    private parsePostfix;
-    private parseObjectLiteral;
-    private parseArrayLiteral;
-    private parsePath;
-    private isUnaryContext;
-    private peek;
-    private peekNext;
-    private previous;
-    private isAtEnd;
-    private advance;
-    private check;
-    private isOnceIntentContext;
-    private match;
-    private consume;
-    private error;
-    private errorAtCurrent;
-}
-/**
- * Parse tokens into an AST
- */
-export declare function parse(tokens: Token[]): ParseResult;
-//# sourceMappingURL=parser.d.ts.map

package/dist/parser/parser.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAa,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EACL,KAAK,WAAW,EA0BjB,MAAM,UAAU,CAAC;AAQlB;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED;;GAEG;AACH,qBAAa,MAAM;IACjB,OAAO,CAAC,MAAM,CAAU;IACxB,OAAO,CAAC,OAAO,CAAK;IACpB,OAAO,CAAC,WAAW,CAAoB;gBAE3B,MAAM,EAAE,KAAK,EAAE;IAI3B;;OAEG;IACH,KAAK,IAAI,WAAW;IAYpB,OAAO,CAAC,YAAY;IAoBpB,OAAO,CAAC,WAAW;IAqBnB,OAAO,CAAC,WAAW;IAiCnB;;;OAGG;IACH,OAAO,CAAC,aAAa;IAcrB,OAAO,CAAC,iBAAiB;IAYzB,OAAO,CAAC,UAAU;IAkBlB,OAAO,CAAC,eAAe;IAwBvB,OAAO,CAAC,aAAa;IAgBrB,OAAO,CAAC,WAAW;IAyCnB,OAAO,CAAC,UAAU;IAelB,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,aAAa;IAqBrB,OAAO,CAAC,aAAa;IA8BrB,OAAO,CAAC,mBAAmB;IA0B3B,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,cAAc;IA+BtB,OAAO,CAAC,eAAe;IA6BvB,OAAO,CAAC,cAAc;IAmBtB;;;OAGG;IACH,OAAO,CAAC,aAAa;IAqBrB;;;OAGG;IACH,OAAO,CAAC,aAAa;IAcrB,OAAO,CAAC,aAAa;IAmBrB,OAAO,CAAC,aAAa;IA+ErB;;;OAGG;IACH,OAAO,CAAC,eAAe;IAiCvB,OAAO,CAAC,eAAe;IAkCvB,OAAO,CAAC,YAAY;IAepB,OAAO,CAAC,YAAY;IAuHpB,OAAO,CAAC,iBAAiB;IAoBzB,OAAO,CAAC,YAAY;IA0BpB,OAAO,CAAC,kBAAkB;IA8B1B,OAAO,CAAC,iBAAiB;IAsBzB,OAAO,CAAC,SAAS;IA4CjB,OAAO,CAAC,cAAc;IAatB,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,QAAQ;IAOhB,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,OAAO;IAKf,OAAO,CAAC,KAAK;IAKb,OAAO,CAAC,mBAAmB;IAQ3B,OAAO,CAAC,KAAK;IAUb,OAAO,CAAC,OAAO;IAKf,OAAO,CAAC,KAAK;IASb,OAAO,CAAC,cAAc;CASvB;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,WAAW,CAGlD"}