@manifesto-ai/compiler 1.6.2 → 1.8.0

package/dist/vite.js

@@ -1,34 +1,14 @@
-/**
- * Vite plugin for MEL files.
- */
-import { compileMelToModuleCode } from "./mel-module.js";
-function normalizeId(id) {
-    const [withoutQuery] = id.split("?", 1);
-    return withoutQuery;
-}
-function testRegex(regex, value) {
-    regex.lastIndex = 0;
-    return regex.test(value);
-}
-/**
- * Compile `.mel` files into ESM modules that export compiled DomainSchema.
- */
-export function melPlugin(options = {}) {
-    const include = options.include ?? /\.mel$/;
-    return {
-        name: "manifesto:mel",
-        enforce: "pre",
-        transform(source, id) {
-            const sourceId = normalizeId(id);
-            if (!testRegex(include, sourceId)) {
-                return null;
-            }
-            return {
-                code: compileMelToModuleCode(source, sourceId),
-                map: null,
-            };
-        },
-    };
-}
-export default melPlugin;
+import {
+  unpluginMel
+} from "./chunk-BH25NHMN.js";
+import "./chunk-D62NIFP4.js";
+import "./chunk-MKLDAZ2Z.js";
+
+// src/vite.ts
+var melPlugin = unpluginMel.vite;
+var vite_default = melPlugin;
+export {
+  vite_default as default,
+  melPlugin
+};
 //# sourceMappingURL=vite.js.map

package/dist/vite.js.map

@@ -1 +1 @@
-{"version":3,"file":"vite.js","sourceRoot":"","sources":["../src/vite.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAUzD,SAAS,WAAW,CAAC,EAAU;IAC7B,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACxC,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,KAAa;IAC7C,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;IACpB,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,UAA4B,EAAE;IACtD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,QAAQ,CAAC;IAE5C,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,KAAK;QACd,SAAS,CAAC,MAAc,EAAE,EAAU;YAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAClC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,OAAO;gBACL,IAAI,EAAE,sBAAsB,CAAC,MAAM,EAAE,QAAQ,CAAC;gBAC9C,GAAG,EAAE,IAAI;aACV,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,eAAe,SAAS,CAAC"}
+{"version":3,"sources":["../src/vite.ts"],"sourcesContent":["/**\n * Vite plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type { MelPluginOptions, MelCodegenOptions } from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.vite;\nexport default melPlugin;\n"],"mappings":";;;;;;;AAOO,IAAM,YAAY,YAAY;AACrC,IAAO,eAAQ;","names":[]}

package/dist/webpack.d.ts

@@ -0,0 +1,8 @@
+import * as unplugin from 'unplugin';
+import { M as MelPluginOptions } from './unplugin-6wnvFiEo.js';
+export { a as MelCodegenOptions } from './unplugin-6wnvFiEo.js';
+import '@manifesto-ai/codegen';
+
+declare const melPlugin: (options: MelPluginOptions) => unplugin.WebpackPluginInstance;
+
+export { MelPluginOptions, melPlugin as default, melPlugin };

package/dist/webpack.js

@@ -0,0 +1,14 @@
+import {
+  unpluginMel
+} from "./chunk-BH25NHMN.js";
+import "./chunk-D62NIFP4.js";
+import "./chunk-MKLDAZ2Z.js";
+
+// src/webpack.ts
+var melPlugin = unpluginMel.webpack;
+var webpack_default = melPlugin;
+export {
+  webpack_default as default,
+  melPlugin
+};
+//# sourceMappingURL=webpack.js.map

package/dist/webpack.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/webpack.ts"],"sourcesContent":["/**\n * Webpack plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type { MelPluginOptions, MelCodegenOptions } from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.webpack;\nexport default melPlugin;\n"],"mappings":";;;;;;;AAOO,IAAM,YAAY,YAAY;AACrC,IAAO,kBAAQ;","names":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@manifesto-ai/compiler",
-  "version": "1.6.2",
+  "version": "1.8.0",
   "description": "Manifesto Compiler - MEL (Manifesto Expression Language) to DomainSchema compiler",
   "author": "eggplantiny <eggplantiny@gmail.com>",
   "license": "MIT",
@@ -20,8 +20,7 @@
     "semantic",
     "domain-schema",
     "deterministic",
-    "schema-generation",
-    "ai"
+    "schema-generation"
   ],
   "type": "module",
   "main": "./dist/index.js",
@@ -33,36 +32,53 @@
     },
     "./vite": {
       "types": "./dist/vite.d.ts",
-      "import": "./dist/vite.js",
-      "default": "./dist/vite.js"
+      "import": "./dist/vite.js"
+    },
+    "./webpack": {
+      "types": "./dist/webpack.d.ts",
+      "import": "./dist/webpack.js"
+    },
+    "./rollup": {
+      "types": "./dist/rollup.d.ts",
+      "import": "./dist/rollup.js"
+    },
+    "./esbuild": {
+      "types": "./dist/esbuild.d.ts",
+      "import": "./dist/esbuild.js"
+    },
+    "./rspack": {
+      "types": "./dist/rspack.d.ts",
+      "import": "./dist/rspack.js"
+    },
+    "./node-loader": {
+      "types": "./dist/node-loader.d.ts",
+      "import": "./dist/node-loader.js"
     },
     "./loader": {
-      "types": "./dist/loader.d.ts",
-      "import": "./dist/loader.js",
-      "require": "./loader.cjs",
-      "default": "./dist/loader.js"
+      "types": "./dist/node-loader.d.ts",
+      "import": "./dist/node-loader.js"
     }
   },
   "peerDependencies": {
     "@anthropic-ai/sdk": "^0.26.0",
+    "@manifesto-ai/codegen": "^0.1.0",
     "@manifesto-ai/core": "^2.0.0",
     "@manifesto-ai/host": "^2.0.0",
     "openai": "^4.0.0",
     "vite": "^5.0.0 || ^6.0.0 || ^7.0.0",
-    "webpack": "^5.0.0",
     "zod": "^4.3.6"
   },
   "peerDependenciesMeta": {
     "@anthropic-ai/sdk": {
       "optional": true
     },
-    "openai": {
+    "@manifesto-ai/codegen": {
       "optional": true
     },
-    "vite": {
+    "openai": {
       "optional": true
     },
-    "webpack": {
+    "vite": {
       "optional": true
     }
   },
@@ -71,28 +87,30 @@
     "ink-select-input": "^6.2.0",
     "ink-spinner": "^5.0.0",
     "meow": "^14.0.0",
-    "react": "^19.2.4"
+    "react": "^19.2.4",
+    "unplugin": "^3.0.0"
   },
   "devDependencies": {
     "@anthropic-ai/sdk": "^0.72.1",
-    "@types/node": "^25.2.3",
+    "@types/node": "^25.5.0",
     "@types/react": "^19.2.14",
     "dotenv": "^17.3.1",
-    "openai": "^6.22.0",
+    "openai": "^6.32.0",
     "tsx": "^4.21.0",
     "typescript": "^5.9.3",
     "vite": "^7.3.1",
-    "vitest": "^4.0.18",
-    "webpack": "^5.105.2",
+    "vitest": "^4.1.0",
+    "webpack": "^5.105.3",
     "zod": "^4.3.6",
-    "@manifesto-ai/core": "2.5.0"
+    "@manifesto-ai/core": "2.7.0",
+    "@manifesto-ai/codegen": "0.1.2",
+    "@manifesto-ai/world": "2.4.2"
   },
   "files": [
-    "dist",
-    "loader.cjs"
+    "dist"
   ],
   "scripts": {
-    "build": "tsc",
+    "build": "tsup",
     "test": "vitest run",
     "test:watch": "vitest",
     "example": "npx tsx examples/simple-compile.ts",

package/dist/analyzer/index.d.ts

@@ -1,6 +0,0 @@
-/**
- * Analyzer Module - Semantic analysis for MEL
- */
-export * from "./scope.js";
-export * from "./validator.js";
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/analyzer/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC"}

package/dist/analyzer/index.js

@@ -1,6 +0,0 @@
-/**
- * Analyzer Module - Semantic analysis for MEL
- */
-export * from "./scope.js";
-export * from "./validator.js";
-//# sourceMappingURL=index.js.map

package/dist/analyzer/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/analyzer/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC"}

package/dist/analyzer/scope.d.ts

@@ -1,77 +0,0 @@
-/**
- * Scope Analysis for MEL
- * Tracks variable scopes and resolves identifiers
- * Based on MEL SPEC v0.3.1 Section 4.10
- */
-import type { ProgramNode } from "../parser/ast.js";
-import type { Diagnostic } from "../diagnostics/types.js";
-import type { SourceLocation } from "../lexer/source-location.js";
-/**
- * Symbol kinds
- */
-export type SymbolKind = "state" | "computed" | "param" | "action" | "iteration";
-/**
- * Symbol information
- */
-export interface Symbol {
-    name: string;
-    kind: SymbolKind;
-    location: SourceLocation;
-    type?: string;
-}
-/**
- * Scope represents a lexical scope
- */
-export declare class Scope {
-    readonly parent: Scope | null;
-    readonly symbols: Map<string, Symbol>;
-    readonly kind: "domain" | "action" | "guard";
-    constructor(kind: "domain" | "action" | "guard", parent?: Scope | null);
-    /**
-     * Define a new symbol in this scope
-     */
-    define(symbol: Symbol): void;
-    /**
-     * Look up a symbol, searching parent scopes if not found
-     */
-    lookup(name: string): Symbol | undefined;
-    /**
-     * Check if a symbol is defined in this scope (not parent scopes)
-     */
-    isDefined(name: string): boolean;
-}
-/**
- * Result of scope analysis
- */
-export interface ScopeAnalysisResult {
-    scopes: Map<string, Scope>;
-    diagnostics: Diagnostic[];
-}
-/**
- * Scope Analyzer - builds scope tree and checks for errors
- */
-export declare class ScopeAnalyzer {
-    private diagnostics;
-    private scopes;
-    private currentScope;
-    private domainScope;
-    /**
-     * Analyze a MEL program
-     */
-    analyze(program: ProgramNode): ScopeAnalysisResult;
-    private analyzeDomain;
-    private analyzeComputedExpr;
-    private analyzeAction;
-    private analyzeStmt;
-    private analyzeExpr;
-    private checkIdentifier;
-    private checkSystemIdent;
-    private validatePath;
-    private defineSymbol;
-    private error;
-}
-/**
- * Analyze a MEL program for scope issues
- */
-export declare function analyzeScope(program: ProgramNode): ScopeAnalysisResult;
-//# sourceMappingURL=scope.d.ts.map

package/dist/analyzer/scope.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../../src/analyzer/scope.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,WAAW,EASZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAIlE;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,WAAW,CAAC;AAEjF;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,cAAc,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,qBAAa,KAAK;IAChB,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAa;IAClD,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;gBAEjC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,EAAE,MAAM,GAAE,KAAK,GAAG,IAAW;IAK5E;;OAEG;IACH,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAI5B;;OAEG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAMxC;;OAEG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;CAGjC;AAID;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC3B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED;;GAEG;AACH,qBAAa,aAAa;IACxB,OAAO,CAAC,WAAW,CAAoB;IACvC,OAAO,CAAC,MAAM,CAAiC;IAC/C,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,WAAW,CAAsB;IAEzC;;OAEG;IACH,OAAO,CAAC,OAAO,EAAE,WAAW,GAAG,mBAAmB;IAclD,OAAO,CAAC,aAAa;IA0CrB,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,aAAa;IAuBrB,OAAO,CAAC,WAAW;IAgDnB,OAAO,CAAC,WAAW;IAgEnB,OAAO,CAAC,eAAe;IAqBvB,OAAO,CAAC,gBAAgB;IAuCxB,OAAO,CAAC,YAAY;IAiBpB,OAAO,CAAC,YAAY;IAepB,OAAO,CAAC,KAAK;CAQd;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,WAAW,GAAG,mBAAmB,CAGtE"}

package/dist/analyzer/scope.js

@@ -1,296 +0,0 @@
-/**
- * Scope Analysis for MEL
- * Tracks variable scopes and resolves identifiers
- * Based on MEL SPEC v0.3.1 Section 4.10
- */
-/**
- * Scope represents a lexical scope
- */
-export class Scope {
-    parent;
-    symbols = new Map();
-    kind;
-    constructor(kind, parent = null) {
-        this.kind = kind;
-        this.parent = parent;
-    }
-    /**
-     * Define a new symbol in this scope
-     */
-    define(symbol) {
-        this.symbols.set(symbol.name, symbol);
-    }
-    /**
-     * Look up a symbol, searching parent scopes if not found
-     */
-    lookup(name) {
-        const symbol = this.symbols.get(name);
-        if (symbol)
-            return symbol;
-        return this.parent?.lookup(name);
-    }
-    /**
-     * Check if a symbol is defined in this scope (not parent scopes)
-     */
-    isDefined(name) {
-        return this.symbols.has(name);
-    }
-}
-/**
- * Scope Analyzer - builds scope tree and checks for errors
- */
-export class ScopeAnalyzer {
-    diagnostics = [];
-    scopes = new Map();
-    currentScope = null;
-    domainScope = null;
-    /**
-     * Analyze a MEL program
-     */
-    analyze(program) {
-        this.diagnostics = [];
-        this.scopes = new Map();
-        this.currentScope = null;
-        this.domainScope = null;
-        this.analyzeDomain(program.domain);
-        return {
-            scopes: this.scopes,
-            diagnostics: this.diagnostics,
-        };
-    }
-    analyzeDomain(domain) {
-        // Create domain scope
-        const scope = new Scope("domain");
-        this.domainScope = scope;
-        this.currentScope = scope;
-        this.scopes.set("domain", scope);
-        // First pass: collect all state and computed names
-        for (const member of domain.members) {
-            if (member.kind === "state") {
-                for (const field of member.fields) {
-                    this.defineSymbol({
-                        name: field.name,
-                        kind: "state",
-                        location: field.location,
-                    });
-                }
-            }
-            else if (member.kind === "computed") {
-                this.defineSymbol({
-                    name: member.name,
-                    kind: "computed",
-                    location: member.location,
-                });
-            }
-            else if (member.kind === "action") {
-                this.defineSymbol({
-                    name: member.name,
-                    kind: "action",
-                    location: member.location,
-                });
-            }
-        }
-        // Second pass: analyze expressions and bodies
-        for (const member of domain.members) {
-            if (member.kind === "computed") {
-                this.analyzeComputedExpr(member);
-            }
-            else if (member.kind === "action") {
-                this.analyzeAction(member);
-            }
-        }
-    }
-    analyzeComputedExpr(computed) {
-        // Computed expressions have access to state and other computed values
-        this.analyzeExpr(computed.expression, "computed");
-    }
-    analyzeAction(action) {
-        // Create action scope with params
-        const scope = new Scope("action", this.domainScope);
-        this.currentScope = scope;
-        this.scopes.set(`action.${action.name}`, scope);
-        // Define parameters
-        for (const param of action.params) {
-            scope.define({
-                name: param.name,
-                kind: "param",
-                location: param.location,
-            });
-        }
-        // Analyze body
-        for (const stmt of action.body) {
-            this.analyzeStmt(stmt);
-        }
-        this.currentScope = this.domainScope;
-    }
-    analyzeStmt(stmt) {
-        switch (stmt.kind) {
-            case "when":
-                this.analyzeExpr(stmt.condition, "action");
-                for (const inner of stmt.body) {
-                    this.analyzeStmt(inner);
-                }
-                break;
-            case "onceIntent":
-                if (stmt.condition) {
-                    this.analyzeExpr(stmt.condition, "action");
-                }
-                for (const inner of stmt.body) {
-                    this.analyzeStmt(inner);
-                }
-                break;
-            case "once":
-                // Marker is a path, need to validate
-                this.validatePath(stmt.marker);
-                if (stmt.condition) {
-                    this.analyzeExpr(stmt.condition, "action");
-                }
-                for (const inner of stmt.body) {
-                    this.analyzeStmt(inner);
-                }
-                break;
-            case "patch":
-                this.validatePath(stmt.path);
-                if (stmt.value) {
-                    this.analyzeExpr(stmt.value, "action");
-                }
-                break;
-            case "effect":
-                for (const arg of stmt.args) {
-                    if (arg.isPath) {
-                        this.validatePath(arg.value);
-                    }
-                    else {
-                        this.analyzeExpr(arg.value, "action");
-                    }
-                }
-                break;
-        }
-    }
-    analyzeExpr(expr, context) {
-        switch (expr.kind) {
-            case "identifier":
-                this.checkIdentifier(expr.name, expr.location, context);
-                break;
-            case "systemIdent":
-                this.checkSystemIdent(expr.path, expr.location, context);
-                break;
-            case "propertyAccess":
-                this.analyzeExpr(expr.object, context);
-                break;
-            case "indexAccess":
-                this.analyzeExpr(expr.object, context);
-                this.analyzeExpr(expr.index, context);
-                break;
-            case "functionCall":
-                for (const arg of expr.args) {
-                    this.analyzeExpr(arg, context);
-                }
-                break;
-            case "binary":
-                this.analyzeExpr(expr.left, context);
-                this.analyzeExpr(expr.right, context);
-                break;
-            case "unary":
-                this.analyzeExpr(expr.operand, context);
-                break;
-            case "ternary":
-                this.analyzeExpr(expr.condition, context);
-                this.analyzeExpr(expr.consequent, context);
-                this.analyzeExpr(expr.alternate, context);
-                break;
-            case "objectLiteral":
-                for (const prop of expr.properties) {
-                    this.analyzeExpr(prop.value, context);
-                }
-                break;
-            case "arrayLiteral":
-                for (const elem of expr.elements) {
-                    this.analyzeExpr(elem, context);
-                }
-                break;
-            case "iterationVar":
-                // v0.3.2: $item only (reduce pattern deprecated, $acc removed)
-                // $item is valid in filter/map predicates
-                // For now, we don't validate the context
-                break;
-            case "literal":
-                // Nothing to check
-                break;
-        }
-    }
-    checkIdentifier(name, location, context) {
-        const symbol = this.currentScope?.lookup(name);
-        if (!symbol) {
-            this.error(`Undefined identifier '${name}'`, location, "E_UNDEFINED");
-            return;
-        }
-        // Check access rules
-        if (context === "computed") {
-            // Computed can only access state and other computed values
-            if (symbol.kind === "param") {
-                this.error(`Cannot access parameter '${name}' in computed expression`, location, "E_INVALID_ACCESS");
-            }
-        }
-    }
-    checkSystemIdent(path, location, context) {
-        const [namespace, ...rest] = path;
-        // E001: $system.* in computed
-        if (namespace === "system" && context === "computed") {
-            this.error(`Cannot use $system.* in computed expressions (non-deterministic)`, location, "E001");
-        }
-        // E003: Invalid $system reference
-        if (namespace === "system") {
-            const validKeys = ["uuid", "timestamp", "random"];
-            const key = rest[0];
-            if (key && !validKeys.includes(key)) {
-                this.error(`Invalid system value '$system.${key}'. Valid values: ${validKeys.join(", ")}`, location, "E003");
-            }
-        }
-        // E003: Invalid $meta reference
-        if (namespace === "meta") {
-            const validKeys = ["intentId", "actionName", "timestamp"];
-            const key = rest[0];
-            if (key && !validKeys.includes(key)) {
-                this.error(`Invalid meta value '$meta.${key}'. Valid values: ${validKeys.join(", ")}`, location, "E003");
-            }
-        }
-    }
-    validatePath(path) {
-        if (!path || !path.segments)
-            return;
-        // Check first segment is a valid identifier
-        const first = path.segments[0];
-        if (first?.kind === "propertySegment") {
-            const symbol = this.currentScope?.lookup(first.name);
-            if (!symbol) {
-                this.error(`Undefined identifier '${first.name}' in path`, path.location, "E_UNDEFINED");
-            }
-        }
-    }
-    defineSymbol(symbol) {
-        if (!this.currentScope)
-            return;
-        if (this.currentScope.isDefined(symbol.name)) {
-            this.error(`Duplicate identifier '${symbol.name}'`, symbol.location, "E_DUPLICATE");
-            return;
-        }
-        this.currentScope.define(symbol);
-    }
-    error(message, location, code) {
-        this.diagnostics.push({
-            severity: "error",
-            code,
-            message,
-            location,
-        });
-    }
-}
-/**
- * Analyze a MEL program for scope issues
- */
-export function analyzeScope(program) {
-    const analyzer = new ScopeAnalyzer();
-    return analyzer.analyze(program);
-}
-//# sourceMappingURL=scope.js.map

package/dist/analyzer/scope.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/analyzer/scope.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAiCH;;GAEG;AACH,MAAM,OAAO,KAAK;IACP,MAAM,CAAe;IACrB,OAAO,GAAwB,IAAI,GAAG,EAAE,CAAC;IACzC,IAAI,CAAgC;IAE7C,YAAY,IAAmC,EAAE,SAAuB,IAAI;QAC1E,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,MAAc;QACnB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,IAAY;QACjB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,OAAO,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,IAAY;QACpB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;CACF;AAYD;;GAEG;AACH,MAAM,OAAO,aAAa;IAChB,WAAW,GAAiB,EAAE,CAAC;IAC/B,MAAM,GAAuB,IAAI,GAAG,EAAE,CAAC;IACvC,YAAY,GAAiB,IAAI,CAAC;IAClC,WAAW,GAAiB,IAAI,CAAC;IAEzC;;OAEG;IACH,OAAO,CAAC,OAAoB;QAC1B,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;QACzB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QAExB,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAEnC,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC;IACJ,CAAC;IAEO,aAAa,CAAC,MAAkB;QACtC,sBAAsB;QACtB,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;QACzB,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAEjC,mDAAmD;QACnD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;oBAClC,IAAI,CAAC,YAAY,CAAC;wBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,IAAI,EAAE,OAAO;wBACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;qBACzB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACtC,IAAI,CAAC,YAAY,CAAC;oBAChB,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,MAAM,CAAC,QAAQ;iBAC1B,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACpC,IAAI,CAAC,YAAY,CAAC;oBAChB,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,MAAM,CAAC,QAAQ;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC/B,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACnC,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACpC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAEO,mBAAmB,CAAC,QAAsB;QAChD,sEAAsE;QACtE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACpD,CAAC;IAEO,aAAa,CAAC,MAAkB;QACtC,kCAAkC;QAClC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACpD,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;QAEhD,oBAAoB;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,KAAK,CAAC,MAAM,CAAC;gBACX,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;aACzB,CAAC,CAAC;QACL,CAAC;QAED,eAAe;QACf,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC;IACvC,CAAC;IAEO,WAAW,CAAC,IAAqC;QACvD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM;gBACT,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC3C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC9B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBAC1B,CAAC;gBACD,MAAM;YAER,KAAK,YAAY;gBACf,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;oBACnB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC7C,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC9B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBAC1B,CAAC;gBACD,MAAM;YAER,KAAK,MAAM;gBACT,qCAAqC;gBACrC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC/B,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;oBACnB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC7C,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC9B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBAC1B,CAAC;gBACD,MAAM;YAER,KAAK,OAAO;gBACV,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBACzC,CAAC;gBACD,MAAM;YAER,KAAK,QAAQ;gBACX,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC5B,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;wBACf,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAY,CAAC,CAAC;oBACtC,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAiB,EAAE,QAAQ,CAAC,CAAC;oBACpD,CAAC;gBACH,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,IAAc,EAAE,OAA8B;QAChE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY;gBACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACxD,MAAM;YAER,KAAK,aAAa;gBAChB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACzD,MAAM;YAER,KAAK,gBAAgB;gBACnB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBACvC,MAAM;YAER,KAAK,aAAa;gBAChB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBACvC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACtC,MAAM;YAER,KAAK,cAAc;gBACjB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC5B,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBACjC,CAAC;gBACD,MAAM;YAER,KAAK,QAAQ;gBACX,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACrC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACtC,MAAM;YAER,KAAK,OAAO;gBACV,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACxC,MAAM;YAER,KAAK,SAAS;gBACZ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC1C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC3C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC1C,MAAM;YAER,KAAK,eAAe;gBAClB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACnC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACxC,CAAC;gBACD,MAAM;YAER,KAAK,cAAc;gBACjB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAClC,CAAC;gBACD,MAAM;YAER,KAAK,cAAc;gBACjB,+DAA+D;gBAC/D,0CAA0C;gBAC1C,yCAAyC;gBACzC,MAAM;YAER,KAAK,SAAS;gBACZ,mBAAmB;gBACnB,MAAM;QACV,CAAC;IACH,CAAC;IAEO,eAAe,CAAC,IAAY,EAAE,QAAwB,EAAE,OAA8B;QAC5F,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAE/C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,IAAI,CAAC,KAAK,CAAC,yBAAyB,IAAI,GAAG,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;YACtE,OAAO;QACT,CAAC;QAED,qBAAqB;QACrB,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,2DAA2D;YAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,IAAI,CAAC,KAAK,CACR,4BAA4B,IAAI,0BAA0B,EAC1D,QAAQ,EACR,kBAAkB,CACnB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAEO,gBAAgB,CAAC,IAAc,EAAE,QAAwB,EAAE,OAA8B;QAC/F,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;QAElC,8BAA8B;QAC9B,IAAI,SAAS,KAAK,QAAQ,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YACrD,IAAI,CAAC,KAAK,CACR,kEAAkE,EAClE,QAAQ,EACR,MAAM,CACP,CAAC;QACJ,CAAC;QAED,kCAAkC;QAClC,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;YAClD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,KAAK,CACR,iCAAiC,GAAG,oBAAoB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC9E,QAAQ,EACR,MAAM,CACP,CAAC;YACJ,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,KAAK,CACR,6BAA6B,GAAG,oBAAoB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC1E,QAAQ,EACR,MAAM,CACP,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAAS;QAC5B,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO;QAEpC,4CAA4C;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,KAAK,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,IAAI,CAAC,KAAK,CACR,yBAAyB,KAAK,CAAC,IAAI,WAAW,EAC9C,IAAI,CAAC,QAAQ,EACb,aAAa,CACd,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,MAAc;QACjC,IAAI,CAAC,IAAI,CAAC,YAAY;YAAE,OAAO;QAE/B,IAAI,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,KAAK,CACR,yBAAyB,MAAM,CAAC,IAAI,GAAG,EACvC,MAAM,CAAC,QAAQ,EACf,aAAa,CACd,CAAC;YACF,OAAO;QACT,CAAC;QAED,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAEO,KAAK,CAAC,OAAe,EAAE,QAAwB,EAAE,IAAY;QACnE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,QAAQ,EAAE,OAAO;YACjB,IAAI;YACJ,OAAO;YACP,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,OAAoB;IAC/C,MAAM,QAAQ,GAAG,IAAI,aAAa,EAAE,CAAC;IACrC,OAAO,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC"}