meaoiu 0.1.0

package/dist/api/utils/astUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"astUtils.js","sourceRoot":"","sources":["../../../src/api/utils/astUtils.ts"],"names":[],"mappings":"AAAA,4BAA4B;AAK5B,MAAM,UAAU,YAAY,CAAC,IAAc,EAAE,MAAiC;IAC7E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,8BAAsB;QACtB;YACC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM;QACP;YACC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxB,IAAI,IAAI,CAAC,cAAc;gBAAE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACrD,MAAM;QACP;YACC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,MAAM;QACP;YACC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM;QACP,sCAA8B;QAC9B;YACC,IAAI,IAAI,CAAC,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACzC,MAAM;QACP;YACC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxB,MAAM;QACP;YACC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxB,IAAI,IAAI,CAAC,SAAS;gBAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3C,MAAM;QACP;YACC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM;QACP;YACC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM;QACP;YACC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtB,MAAM;QACP;YACC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtB,MAAM;QACP,4CAAmC;QACnC;YACC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,MAAM;QACP;YACC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM;QACP;YACC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC9B,MAAM;QACP,qCAA6B;QAC7B,qCAA6B;QAC7B,qCAA4B;QAC5B,sCAA6B;QAC7B,mCAA0B;QAC1B,kCAAyB;QACzB;YACC,MAAM;QACP,OAAO,CAAC,CAAC,CAAC;YACT,MAAM,EAAE,GAAU,IAAI,CAAC;YACvB,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAChC,CAAC;IACF,CAAC;AACF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAa,EAAE,IAAY,EAAE,GAAW;IACxE,IAAI,KAAiC,CAAC;IAEtC,SAAS,IAAI,CAAC,IAAc;QAC3B,IAAI,KAAK;YAAE,OAAO;QAElB,IAAI,IAAI,CAAC,IAAI,iCAAwB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YACrG,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACR,CAAC;QAED,YAAY;QACZ,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,KAAK,CAAC;AACd,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAc;IAC5C,MAAM,SAAS,GAAG,IAAI,OAAO,EAAsB,CAAC;IACpD,SAAS,KAAK,CAAC,IAAc,EAAE,MAAiB;QAC/C,IAAI,MAAM;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC;IAEZ,OAAO,SAAS,CAAC;AAClB,CAAC"}

package/dist/api/utils/lspUtils.d.ts

@@ -0,0 +1,16 @@
+export type Position = {
+    line: number;
+    character: number;
+};
+export type Range = {
+    start: Position;
+    end: Position;
+};
+export type MeaoiuLocation = {
+    line: number;
+    col: number;
+    endLine: number;
+    endCol: number;
+};
+export declare function rangeOf({ line, col, endLine, endCol }: MeaoiuLocation): Range;
+//# sourceMappingURL=lspUtils.d.ts.map

package/dist/api/utils/lspUtils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lspUtils.d.ts","sourceRoot":"","sources":["../../../src/api/utils/lspUtils.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,QAAQ,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IACnB,KAAK,EAAE,QAAQ,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5F,wBAAgB,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,cAAc,GAAG,KAAK,CAE7E"}

package/dist/api/utils/lspUtils.js

@@ -0,0 +1,5 @@
+// src/api/utils/lspUtils.ts
+export function rangeOf({ line, col, endLine, endCol }) {
+    return { start: { line, character: col }, end: { line: endLine, character: endCol } };
+}
+//# sourceMappingURL=lspUtils.js.map

package/dist/api/utils/lspUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lspUtils.js","sourceRoot":"","sources":["../../../src/api/utils/lspUtils.ts"],"names":[],"mappings":"AAAA,4BAA4B;AAc5B,MAAM,UAAU,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAkB;IACrE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC;AACvF,CAAC"}

package/dist/api/utils/symbolAnalyzer.d.ts

@@ -0,0 +1,37 @@
+import type * as AST from '../../core/ast.js';
+import type { MeaoiuBuiltInNames } from '../../core/builtIns.js';
+import { type MeaoiuError } from '../../core/error.js';
+import { type Scope, type SymbolInfo } from './symbolTable.js';
+declare class SymbolAnalyzer {
+    readonly errors: MeaoiuError[];
+    readonly symbolMap: Map<AST.Node, SymbolInfo>;
+    readonly nodeScopeMap: Map<AST.Node, Scope>;
+    private currentScope;
+    constructor(rootScope: Scope);
+    private inferExpressionType;
+    visit(node: AST.Node | undefined): void;
+    private visitFunctionDeclaration;
+    private visitVariableDeclaration;
+    private visitAssignmentStatement;
+    private visitArithmeticExpression;
+    private visitComparisonExpression;
+    private visitSequenceExpression;
+    private visitComparisonSequence;
+    private visitLogicalExpression;
+    private visitIdentifier;
+    private markAsMoved;
+    private enterScope;
+    private leaveScope;
+    private findSymbolScope;
+    private declare;
+    private lookup;
+}
+export type AnalyzeResult = {
+    rootScope: Scope;
+    errors: MeaoiuError[];
+    symbolMap: SymbolAnalyzer['symbolMap'];
+    nodeScopeMap: SymbolAnalyzer['nodeScopeMap'];
+};
+export declare function analyzeSymbols(ast: AST.Program, builtInNames: typeof MeaoiuBuiltInNames): AnalyzeResult;
+export {};
+//# sourceMappingURL=symbolAnalyzer.d.ts.map

package/dist/api/utils/symbolAnalyzer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/api/utils/symbolAnalyzer.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,GAAG,MAAM,mBAAmB,CAAC;AAE9C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGzE,OAAO,EAAyB,KAAK,KAAK,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAItF,cAAM,cAAc;IACnB,SAAgB,MAAM,EAAE,WAAW,EAAE,CAAM;IAC3C,SAAgB,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAa;IACjE,SAAgB,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAa;IAC/D,OAAO,CAAC,YAAY,CAAQ;gBAEhB,SAAS,EAAE,KAAK;IAI5B,OAAO,CAAC,mBAAmB;IAqEpB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI;IAyE9C,OAAO,CAAC,wBAAwB;IAoChC,OAAO,CAAC,wBAAwB;IAyBhC,OAAO,CAAC,wBAAwB;IAmChC,OAAO,CAAC,yBAAyB;IAyBjC,OAAO,CAAC,yBAAyB;IA+BjC,OAAO,CAAC,uBAAuB;IAsC/B,OAAO,CAAC,uBAAuB;IAoB/B,OAAO,CAAC,sBAAsB;IAK9B,OAAO,CAAC,eAAe;IAavB,OAAO,CAAC,WAAW;IAWnB,OAAO,CAAC,UAAU;IAMlB,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,OAAO;IAmBf,OAAO,CAAC,MAAM;CA8Bd;AAED,MAAM,MAAM,aAAa,GAAG;IAC3B,SAAS,EAAE,KAAK,CAAC;IACjB,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,SAAS,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC;IACvC,YAAY,EAAE,cAAc,CAAC,cAAc,CAAC,CAAC;CAC7C,CAAC;AAEF,wBAAgB,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,kBAAkB,GAAG,aAAa,CAiBvG"}

package/dist/api/utils/symbolAnalyzer.js

@@ -0,0 +1,440 @@
+// src/api/utils/symbolAnalyzer.ts
+import { errorFrom } from '../../core/error.js';
+import { checkArithmeticOperation, checkComparisonOperation } from '../../core/typedef.js';
+const semanticErrorFrom = (ele, message) => errorFrom(ele, message, 4 /* Phase.SEMANTIC */);
+class SymbolAnalyzer {
+    errors = [];
+    symbolMap = new Map();
+    nodeScopeMap = new Map();
+    currentScope;
+    constructor(rootScope) {
+        this.currentScope = rootScope;
+    }
+    inferExpressionType(node) {
+        switch (node.kind) {
+            case 9 /* NodeKind.NumericLiteral */:
+                return 0 /* MeaoiuType.NUMBER */;
+            case 10 /* NodeKind.StringLiteral */:
+                return 1 /* MeaoiuType.STRING */;
+            case 11 /* NodeKind.BooleanLiteral */:
+            case 21 /* NodeKind.ComparisonExpression */:
+            case 20 /* NodeKind.LogicalExpression */:
+                return 2 /* MeaoiuType.BOOLEAN */;
+            case 12 /* NodeKind.NullLiteral */:
+                return 3 /* MeaoiuType.NULL */;
+            case 13 /* NodeKind.Identifier */:
+                return this.lookup(node.symbol)?.type ?? 6 /* MeaoiuType.UNKNOWN */;
+            case 14 /* NodeKind.BlockExpression */:
+                return node.isCollection ? 5 /* MeaoiuType.COLLECTION */ : 6 /* MeaoiuType.UNKNOWN */;
+            case 17 /* NodeKind.ArithmeticExpression */: {
+                const op = node.operator;
+                if (op !== '+')
+                    return 0 /* MeaoiuType.NUMBER */;
+                let knownType = this.inferExpressionType(node.left);
+                if (knownType === 6 /* MeaoiuType.UNKNOWN */)
+                    knownType = this.inferExpressionType(node.right);
+                return knownType === 0 /* MeaoiuType.NUMBER */ || knownType === 1 /* MeaoiuType.STRING */ || knownType === 5 /* MeaoiuType.COLLECTION */
+                    ? knownType
+                    : 6 /* MeaoiuType.UNKNOWN */;
+            }
+            case 19 /* NodeKind.SequenceExpression */: {
+                const { sections, operators } = node;
+                let accType = 6 /* MeaoiuType.UNKNOWN */;
+                let knownType = this.inferExpressionType(sections[0]);
+                scan: for (let i = 0; i < operators.length; i++) {
+                    if (accType !== 6 /* MeaoiuType.UNKNOWN */)
+                        continue;
+                    const op = operators[i].value;
+                    switch (op) {
+                        case '+':
+                            break;
+                        case '==':
+                        case '!=':
+                            accType = 2 /* MeaoiuType.BOOLEAN */;
+                            break scan;
+                        default:
+                            accType = 0 /* MeaoiuType.NUMBER */;
+                            continue;
+                    }
+                    if (knownType === 6 /* MeaoiuType.UNKNOWN */)
+                        knownType = this.inferExpressionType(sections[i + 1]);
+                    if (knownType === 0 /* MeaoiuType.NUMBER */ ||
+                        knownType === 1 /* MeaoiuType.STRING */ ||
+                        knownType === 5 /* MeaoiuType.COLLECTION */) {
+                        accType = knownType;
+                    }
+                }
+                return accType;
+            }
+            case 23 /* NodeKind.UnaryExpression */:
+                // 高仿/抢走，类型与它操作的参数一致
+                return this.inferExpressionType(node.argument);
+            case 22 /* NodeKind.MemberAccessExpression */: // @ 访问符，目前无法静态知道它会返回什么
+            case 18 /* NodeKind.CallExpression */: // 函数调用，目前无法静态知道返回类型
+            default:
+                return 6 /* MeaoiuType.UNKNOWN */;
+        }
+    }
+    visit(node) {
+        if (!node)
+            return;
+        this.nodeScopeMap.set(node, this.currentScope);
+        switch (node.kind) {
+            case 1 /* NodeKind.Program */:
+            case 14 /* NodeKind.BlockExpression */: {
+                this.enterScope();
+                for (const n of node.body)
+                    this.visit(n);
+                this.leaveScope();
+                break;
+            }
+            case 15 /* NodeKind.IfExpression */: {
+                this.visit(node.condition);
+                this.visit(node.consequent);
+                this.visit(node.alternate);
+                break;
+            }
+            case 16 /* NodeKind.LoopExpression */:
+                this.visit(node.body);
+                break;
+            case 23 /* NodeKind.UnaryExpression */:
+            case 5 /* NodeKind.ReturnStatement */:
+            case 6 /* NodeKind.AmbushStatement */:
+                this.visit(node.argument);
+                break;
+            case 4 /* NodeKind.FunctionDeclaration */:
+                this.visitFunctionDeclaration(node);
+                break;
+            case 2 /* NodeKind.VariableDeclaration */:
+                this.visitVariableDeclaration(node);
+                break;
+            case 3 /* NodeKind.AssignmentStatement */:
+                this.visitAssignmentStatement(node);
+                break;
+            case 8 /* NodeKind.ExpressionStatement */:
+                this.visit(node.expression);
+                break;
+            case 18 /* NodeKind.CallExpression */:
+                this.visit(node.args);
+                this.visit(node.callee);
+                break;
+            case 22 /* NodeKind.MemberAccessExpression */:
+                this.visit(node.object);
+                this.visit(node.property);
+                break;
+            case 17 /* NodeKind.ArithmeticExpression */:
+                this.visitArithmeticExpression(node);
+                break;
+            case 21 /* NodeKind.ComparisonExpression */:
+                this.visitComparisonExpression(node);
+                break;
+            case 19 /* NodeKind.SequenceExpression */:
+                this.visitSequenceExpression(node);
+                break;
+            case 13 /* NodeKind.Identifier */:
+                this.visitIdentifier(node);
+                break;
+            case 20 /* NodeKind.LogicalExpression */:
+                this.visitLogicalExpression(node);
+                break;
+            case 9 /* NodeKind.NumericLiteral */:
+            case 10 /* NodeKind.StringLiteral */:
+            case 11 /* NodeKind.BooleanLiteral */:
+            case 12 /* NodeKind.NullLiteral */:
+            case 7 /* NodeKind.BreakStatement */:
+            case 0 /* NodeKind.ErrorNode */:
+                break;
+            default: // 此处已推断为不可达
+                const _n = node;
+                console.warn(`[符号分析器] 发现不可描述的节点 `, _n);
+        }
+    }
+    visitFunctionDeclaration(node) {
+        this.declare(node.name.symbol, 12 /* SymbolKind.FUNCTION */, 0 /* SymbolTag.NORMAL */, 4 /* MeaoiuType.FUNCTION */, node.name);
+        this.enterScope();
+        for (const paramStmt of node.parameters.body) {
+            if (paramStmt.kind === 2 /* NodeKind.VariableDeclaration */) {
+                // 情况 1: [= a 就是 1 =] 或 [= 蹭 a =]
+                // 这种语句本身就包含了声明逻辑，直接 visit 即可
+                this.visitVariableDeclaration(paramStmt);
+                continue;
+            }
+            if (paramStmt.kind !== 8 /* NodeKind.ExpressionStatement */)
+                continue;
+            const expr = paramStmt.expression;
+            if (expr.kind === 13 /* NodeKind.Identifier */) {
+                // 情况 2: [= a =]
+                // 手动将 'a' 声明为 'parameter'
+                this.declare(expr.symbol, 20 /* SymbolKind.PARAMETER */, 0 /* SymbolTag.NORMAL */, 6 /* MeaoiuType.UNKNOWN */, expr);
+                this.visitIdentifier(expr); // 访问它，以便高亮和引用查找
+            }
+            else if (expr.kind === 23 /* NodeKind.UnaryExpression */ && expr.argument.kind === 13 /* NodeKind.Identifier */) {
+                // 情况 3: [= 高仿 a =] 或 [= 抢走 a =]
+                const idNode = expr.argument;
+                // 手动将 'a' 声明为 'parameter'
+                this.declare(idNode.symbol, 20 /* SymbolKind.PARAMETER */, 0 /* SymbolTag.NORMAL */, 6 /* MeaoiuType.UNKNOWN */, idNode);
+                this.visit(expr); // 访问整个 '高仿 a' 表达式
+            }
+            else {
+                // 情况 4: [= 1+2 =] 或 [= '字面量' =] 或 [= a@1 =]
+                // 没有名字，只访问表达式，不声明
+                this.visit(expr);
+            }
+        }
+        this.visit(node.body);
+        this.leaveScope();
+    }
+    visitVariableDeclaration(node) {
+        const { identifier, initialization: init } = node;
+        let inferredType = 3 /* MeaoiuType.NULL */;
+        let valueRef; // 存储引用的符号
+        let tag = 0 /* SymbolTag.NORMAL */;
+        init: if (init) {
+            this.visit(init.value);
+            inferredType = this.inferExpressionType(init.value);
+            if (init.value.kind !== 13 /* NodeKind.Identifier */)
+                break init;
+            const valueSymbol = this.symbolMap.get(init.value);
+            if (valueSymbol?.tag === 2 /* SymbolTag.DECAYED */)
+                tag = valueSymbol.tag; // 衰变传染
+            // 「就是」创建静态引用或「才是」标记为已移动
+            if (init.operator === 0 /* AssignmentOperator.REFERENCE */)
+                valueRef = valueSymbol;
+            else if (init.operator === 2 /* AssignmentOperator.MOVE */)
+                this.markAsMoved(init.value.symbol);
+            if (tag !== 0 /* SymbolTag.NORMAL */) {
+                this.errors.push(semanticErrorFrom(identifier, `这个 '${identifier.symbol}' 没有灵魂喵！`));
+            }
+        }
+        this.declare(identifier.symbol, 13 /* SymbolKind.VARIABLE */, tag, inferredType, identifier, valueRef);
+    }
+    visitAssignmentStatement(node) {
+        const { value, assignee, operator } = node;
+        this.visit(value);
+        const valueType = this.inferExpressionType(value);
+        assign: if (assignee.kind !== 13 /* NodeKind.Identifier */)
+            this.visit(assignee);
+        else {
+            this.visitIdentifier(assignee, false);
+            const originalSymbol = this.symbolMap.get(assignee); // 取得原始符号
+            if (!originalSymbol)
+                break assign;
+            const symbol = { ...originalSymbol }; // 复制为新符号
+            symbol.type = valueType;
+            const valueSymbol = this.symbolMap.get(value);
+            if (valueSymbol?.tag === 2 /* SymbolTag.DECAYED */)
+                symbol.tag = valueSymbol.tag; // 衰变传染
+            symbol.valueRef =
+                operator === 0 /* AssignmentOperator.REFERENCE */ &&
+                    value.kind === 13 /* NodeKind.Identifier */ &&
+                    symbol.tag !== 2 /* SymbolTag.DECAYED */
+                    ? valueSymbol // '就是' (Reference) 为未衰变符号更新静态引用链
+                    : undefined; // '才是' (Move) 和 '就像' (Copy) 会打断旧的引用链，符号衰变也会使引用失效
+            // 更新符号表
+            this.findSymbolScope(assignee.symbol).symbols.set(assignee.symbol, symbol);
+            this.symbolMap.set(assignee, symbol);
+            if (symbol.tag !== 0 /* SymbolTag.NORMAL */) {
+                this.errors.push(semanticErrorFrom(assignee, `被移过的 '${assignee.symbol}' 失效了喵！`));
+            }
+        }
+        if (operator === 2 /* AssignmentOperator.MOVE */ && value.kind === 13 /* NodeKind.Identifier */)
+            this.markAsMoved(value.symbol);
+    }
+    visitArithmeticExpression(node) {
+        const { operator: op, left, right } = node;
+        this.visit(left);
+        this.visit(right);
+        let leftType = this.inferExpressionType(left);
+        let rightType = this.inferExpressionType(right);
+        switch ((+(leftType === 6 /* MeaoiuType.UNKNOWN */) << 1) | +(rightType === 6 /* MeaoiuType.UNKNOWN */)) {
+            case 0b11: // 都不懂
+                return; // 跳过检查
+            case 0b10: // 左不懂
+                leftType = rightType;
+                break;
+            case 0b01: // 右不懂
+                rightType = leftType;
+                break;
+            case 0b00: // 全都懂
+                break;
+        }
+        const error = checkArithmeticOperation(op, leftType, rightType);
+        if (error)
+            this.errors.push(semanticErrorFrom(node, error));
+    }
+    visitComparisonExpression(node) {
+        const { expressions, operators } = node;
+        let currentLeftType = this.inferExpressionType(expressions[0]);
+        this.visit(expressions[0]); // 访问第一个
+        for (let i = 0; i < operators.length; i++) {
+            const currentRightExpr = expressions[i + 1];
+            let currentRightType = this.inferExpressionType(currentRightExpr); // 必须是 let
+            this.visit(currentRightExpr); // 访问右边
+            switch ((+(currentLeftType === 6 /* MeaoiuType.UNKNOWN */) << 1) | +(currentRightType === 6 /* MeaoiuType.UNKNOWN */)) {
+                case 0b11: // 都不懂
+                    continue; // 跳过检查
+                case 0b10: // 左不懂
+                    currentLeftType = currentRightType;
+                    break;
+                case 0b01: // 右不懂
+                    currentRightType = currentLeftType;
+                    break;
+                case 0b00: // 全都懂
+                    break;
+            }
+            const opToken = operators[i];
+            const error = checkComparisonOperation(opToken.value, currentLeftType, currentRightType);
+            if (error)
+                this.errors.push(semanticErrorFrom(opToken, error));
+            currentLeftType = currentRightType;
+        }
+    }
+    visitSequenceExpression(node) {
+        const { sections, operators } = node;
+        let accType = this.inferExpressionType(sections[0]);
+        this.visit(sections[0]); // 访问第一节
+        for (let i = 0; i < operators.length; i++) {
+            const opToken = operators[i], op = opToken.value;
+            if (op === '==' || op === '!=')
+                return this.visitComparisonSequence(node, i + 1); // 让专用检查函数接力，本函数已结束使命
+            const nextExpr = sections[i + 1];
+            let nextType = this.inferExpressionType(nextExpr);
+            this.visit(nextExpr); // 访问下一节
+            switch ((+(accType === 6 /* MeaoiuType.UNKNOWN */) << 1) | +(nextType === 6 /* MeaoiuType.UNKNOWN */)) {
+                case 0b11: // 都不懂
+                    if (op !== '+')
+                        accType = 0 /* MeaoiuType.NUMBER */; // 非加号，锁定类型
+                    continue; // 跳过检查
+                case 0b10: // 前不懂
+                    accType = nextType;
+                    break;
+                case 0b01: // 后不懂
+                    nextType = accType;
+                    break;
+                case 0b00: // 全都懂
+                    break;
+            }
+            const error = checkArithmeticOperation(op, accType, nextType);
+            if (error) {
+                this.errors.push(semanticErrorFrom(opToken, error));
+                break; // 跳出坏链
+            }
+            accType = nextType;
+        }
+    }
+    visitComparisonSequence(node, startIndex) {
+        const { sections, operators } = node;
+        this.visit(sections[startIndex]); // 访问第一个比较操作的右侧
+        // 遍历链上剩下的所有操作符
+        for (let i = startIndex; i < operators.length; i++) {
+            const opToken = operators[i], op = opToken.value;
+            // 检查是否混入了非比较运算符
+            if (op !== '==' && op !== '!=') {
+                this.errors.push(semanticErrorFrom(opToken, `比较节不能混入 '${op}' 算术符喵!`));
+                break; // 发现错误，中止检查
+            }
+            // 访问下一个元素
+            this.visit(sections[i + 1]);
+        }
+    }
+    visitLogicalExpression(node) {
+        this.visit(node.left);
+        this.visit(node.right);
+    }
+    visitIdentifier(node, checkTag = true) {
+        const symbol = this.lookup(node.symbol); // 默认 resolveChain = true
+        if (!symbol) {
+            this.errors.push(semanticErrorFrom(node, `找不到名字为 '${node.symbol}' 的玩具喵！`));
+            return;
+        }
+        if (checkTag && symbol.tag !== 0 /* SymbolTag.NORMAL */) {
+            this.errors.push(semanticErrorFrom(node, `藏在 '${node.symbol}' 里的东西被移走了喵！`));
+        }
+        symbol.references.push(node);
+        this.symbolMap.set(node, symbol);
+    }
+    markAsMoved(name) {
+        // 查找原始符号
+        const symbolToMove = this.lookup(name, false);
+        if (!symbolToMove)
+            return;
+        // 追踪引用链到末端
+        let finalSymbol = symbolToMove;
+        while (finalSymbol.valueRef)
+            finalSymbol = finalSymbol.valueRef;
+        finalSymbol.tag = 1 /* SymbolTag.MOVED */;
+    }
+    enterScope() {
+        const newScope = { parent: this.currentScope, children: [], symbols: new Map() };
+        this.currentScope.children.push(newScope);
+        this.currentScope = newScope;
+    }
+    leaveScope() {
+        this.currentScope = this.currentScope.parent;
+    }
+    findSymbolScope(name) {
+        for (let scope = this.currentScope; scope; scope = scope.parent) {
+            if (scope.symbols.has(name))
+                return scope;
+        }
+        return undefined;
+    }
+    declare(name, kind, tag, type, declarationNode, valueRef) {
+        if (this.currentScope.symbols.has(name)) {
+            this.errors.push(semanticErrorFrom(declarationNode, `名字 '${name}' 已经被定义过了喵！`));
+            return;
+        }
+        const symbolInfo = { name, kind, tag, type, declarations: [declarationNode], references: [], valueRef };
+        this.currentScope.symbols.set(name, symbolInfo);
+        this.symbolMap.set(declarationNode, symbolInfo);
+    }
+    lookup(name, resolveChain = true) {
+        // 1. 在作用域中找到该名字的“第一环”
+        const scope = this.findSymbolScope(name);
+        if (!scope)
+            return undefined;
+        let foundSymbol = scope.symbols.get(name);
+        // 2. 如果不需要追踪链（比如在声明时），直接返回
+        if (!resolveChain)
+            return foundSymbol;
+        // 3. 追踪引用链，检查整条链上的“已移动”状态
+        for (let current = foundSymbol; current; current = current.valueRef) {
+            if (current.tag === 0 /* SymbolTag.NORMAL */)
+                continue;
+            // 创建一个已衰变的符号对象
+            foundSymbol = {
+                ...foundSymbol,
+                tag: 2 /* SymbolTag.DECAYED */,
+                type: 6 /* MeaoiuType.UNKNOWN */,
+            };
+            // 虚假的引用，仅用于提示
+            foundSymbol.valueRef = {
+                ...foundSymbol,
+                name: current.name, // 保持原始名称
+                valueRef: undefined,
+            };
+            this.currentScope.symbols.set(name, foundSymbol);
+            break;
+        }
+        return foundSymbol;
+    }
+}
+export function analyzeSymbols(ast, builtInNames) {
+    const rootScope = { children: [], symbols: new Map() };
+    for (const name of builtInNames) {
+        rootScope.symbols.set(name, {
+            name,
+            kind: 12 /* SymbolKind.FUNCTION */,
+            tag: 0 /* SymbolTag.NORMAL */,
+            type: 4 /* MeaoiuType.FUNCTION */,
+            declarations: [],
+            references: [],
+            isBuiltIn: true,
+        });
+    }
+    const analyzer = new SymbolAnalyzer(rootScope);
+    analyzer.visit(ast);
+    const { errors, symbolMap, nodeScopeMap } = analyzer;
+    return { rootScope, errors, symbolMap, nodeScopeMap };
+}
+//# sourceMappingURL=symbolAnalyzer.js.map

package/dist/api/utils/symbolAnalyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolAnalyzer.js","sourceRoot":"","sources":["../../../src/api/utils/symbolAnalyzer.ts"],"names":[],"mappings":"AAAA,kCAAkC;AAKlC,OAAO,EAAE,SAAS,EAA2B,MAAM,qBAAqB,CAAC;AAEzE,OAAO,EAAc,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAGvG,MAAM,iBAAiB,GAAG,CAAC,GAAqB,EAAE,OAAe,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,yBAAiB,CAAC;AAE9G,MAAM,cAAc;IACH,MAAM,GAAkB,EAAE,CAAC;IAC3B,SAAS,GAA8B,IAAI,GAAG,EAAE,CAAC;IACjD,YAAY,GAAyB,IAAI,GAAG,EAAE,CAAC;IACvD,YAAY,CAAQ;IAE5B,YAAY,SAAgB;QAC3B,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;IAC/B,CAAC;IAEO,mBAAmB,CAAC,IAAoB;QAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB;gBACC,iCAAyB;YAC1B;gBACC,iCAAyB;YAC1B,sCAA6B;YAC7B,4CAAmC;YACnC;gBACC,kCAA0B;YAC3B;gBACC,+BAAuB;YACxB;gBACC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,8BAAsB,CAAC;YAC7D;gBACC,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,+BAAuB,CAAC,2BAAmB,CAAC;YACvE,2CAAkC,CAAC,CAAC,CAAC;gBACpC,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC;gBACzB,IAAI,EAAE,KAAK,GAAG;oBAAE,iCAAyB;gBAEzC,IAAI,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpD,IAAI,SAAS,+BAAuB;oBAAE,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAEvF,OAAO,SAAS,8BAAsB,IAAI,SAAS,8BAAsB,IAAI,SAAS,kCAA0B;oBAC/G,CAAC,CAAC,SAAS;oBACX,CAAC,2BAAmB,CAAC;YACvB,CAAC;YACD,yCAAgC,CAAC,CAAC,CAAC;gBAClC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC;gBACrC,IAAI,OAAO,6BAAqB,CAAC;gBACjC,IAAI,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;gBAEvD,IAAI,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjD,IAAI,OAAO,+BAAuB;wBAAE,SAAS;oBAC7C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;oBAC/B,QAAQ,EAAE,EAAE,CAAC;wBACZ,KAAK,GAAG;4BACP,MAAM;wBACP,KAAK,IAAI,CAAC;wBACV,KAAK,IAAI;4BACR,OAAO,6BAAqB,CAAC;4BAC7B,MAAM,IAAI,CAAC;wBACZ;4BACC,OAAO,4BAAoB,CAAC;4BAC5B,SAAS;oBACX,CAAC;oBAED,IAAI,SAAS,+BAAuB;wBAAE,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC;oBAE7F,IACC,SAAS,8BAAsB;wBAC/B,SAAS,8BAAsB;wBAC/B,SAAS,kCAA0B,EAClC,CAAC;wBACF,OAAO,GAAG,SAAS,CAAC;oBACrB,CAAC;gBACF,CAAC;gBACD,OAAO,OAAO,CAAC;YAChB,CAAC;YACD;gBACC,oBAAoB;gBACpB,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAChD,8CAAqC,CAAC,uBAAuB;YAC7D,sCAA6B,CAAC,oBAAoB;YAClD;gBACC,kCAA0B;QAC5B,CAAC;IACF,CAAC;IAEM,KAAK,CAAC,IAA0B;QACtC,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,8BAAsB;YACtB,sCAA6B,CAAC,CAAC,CAAC;gBAC/B,IAAI,CAAC,UAAU,EAAE,CAAC;gBAClB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACzC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAClB,MAAM;YACP,CAAC;YACD,mCAA0B,CAAC,CAAC,CAAC;gBAC5B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC5B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3B,MAAM;YACP,CAAC;YACD;gBACC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,MAAM;YACP,uCAA8B;YAC9B,sCAA8B;YAC9B;gBACC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC1B,MAAM;YACP;gBACC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM;YACP;gBACC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM;YACP;gBACC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM;YACP;gBACC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC5B,MAAM;YACP;gBACC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxB,MAAM;YACP;gBACC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC1B,MAAM;YACP;gBACC,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC;gBACrC,MAAM;YACP;gBACC,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC;gBACrC,MAAM;YACP;gBACC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM;YACP;gBACC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAC3B,MAAM;YACP;gBACC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;gBAClC,MAAM;YACP,qCAA6B;YAC7B,qCAA4B;YAC5B,sCAA6B;YAC7B,mCAA0B;YAC1B,qCAA6B;YAC7B;gBACC,MAAM;YACP,SAAS,YAAY;gBACpB,MAAM,EAAE,GAAU,IAAI,CAAC;gBACvB,OAAO,CAAC,IAAI,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC;QACzC,CAAC;IACF,CAAC;IAEO,wBAAwB,CAAC,IAA6B;QAC7D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,uFAA8D,IAAI,CAAC,IAAI,CAAC,CAAC;QACtG,IAAI,CAAC,UAAU,EAAE,CAAC;QAElB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAC9C,IAAI,SAAS,CAAC,IAAI,yCAAiC,EAAE,CAAC;gBACrD,iCAAiC;gBACjC,6BAA6B;gBAC7B,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;gBACzC,SAAS;YACV,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,yCAAiC;gBAAE,SAAS;YAC9D,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC;YAElC,IAAI,IAAI,CAAC,IAAI,iCAAwB,EAAE,CAAC;gBACvC,gBAAgB;gBAChB,0BAA0B;gBAC1B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,uFAA8D,IAAI,CAAC,CAAC;gBAC5F,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB;YAC7C,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,sCAA6B,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,iCAAwB,EAAE,CAAC;gBACjG,gCAAgC;gBAChC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC;gBAC7B,0BAA0B;gBAC1B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,uFAA8D,MAAM,CAAC,CAAC;gBAChG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB;YACrC,CAAC;iBAAM,CAAC;gBACP,4CAA4C;gBAC5C,kBAAkB;gBAClB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClB,CAAC;QACF,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,UAAU,EAAE,CAAC;IACnB,CAAC;IAEO,wBAAwB,CAAC,IAA6B;QAC7D,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;QAClD,IAAI,YAAY,0BAAkB,CAAC;QACnC,IAAI,QAAgC,CAAC,CAAC,UAAU;QAChD,IAAI,GAAG,2BAAmB,CAAC;QAE3B,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;YAChB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,iCAAwB;gBAAE,MAAM,IAAI,CAAC;YAExD,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnD,IAAI,WAAW,EAAE,GAAG,8BAAsB;gBAAE,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO;YAE1E,wBAAwB;YACxB,IAAI,IAAI,CAAC,QAAQ,yCAAiC;gBAAE,QAAQ,GAAG,WAAW,CAAC;iBACtE,IAAI,IAAI,CAAC,QAAQ,oCAA4B;gBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAExF,IAAI,GAAG,6BAAqB,EAAE,CAAC;gBAC9B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,UAAU,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC;YACrF,CAAC;QACF,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,gCAAuB,GAAG,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC/F,CAAC;IAEO,wBAAwB,CAAC,IAA6B;QAC7D,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAElD,MAAM,EAAE,IAAI,QAAQ,CAAC,IAAI,iCAAwB;YAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACnE,CAAC;YACL,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACtC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;YAC9D,IAAI,CAAC,cAAc;gBAAE,MAAM,MAAM,CAAC;YAElC,MAAM,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,CAAC,CAAC,SAAS;YAC/C,MAAM,CAAC,IAAI,GAAG,SAAS,CAAC;YACxB,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,WAAW,EAAE,GAAG,8BAAsB;gBAAE,MAAM,CAAC,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO;YAEjF,MAAM,CAAC,QAAQ;gBACd,QAAQ,yCAAiC;oBACzC,KAAK,CAAC,IAAI,iCAAwB;oBAClC,MAAM,CAAC,GAAG,8BAAsB;oBAC/B,CAAC,CAAC,WAAW,CAAC,iCAAiC;oBAC/C,CAAC,CAAC,SAAS,CAAC,CAAC,iDAAiD;YAEhE,QAAQ;YACR,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC5E,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAErC,IAAI,MAAM,CAAC,GAAG,6BAAqB,EAAE,CAAC;gBACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,SAAS,QAAQ,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC;YAClF,CAAC;QACF,CAAC;QAED,IAAI,QAAQ,oCAA4B,IAAI,KAAK,CAAC,IAAI,iCAAwB;YAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAChH,CAAC;IAEO,yBAAyB,CAAC,IAA8B;QAC/D,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAElB,IAAI,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAEhD,QAAQ,CAAC,CAAC,CAAC,QAAQ,+BAAuB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,+BAAuB,CAAC,EAAE,CAAC;YACzF,KAAK,IAAI,EAAE,MAAM;gBAChB,OAAO,CAAC,OAAO;YAChB,KAAK,IAAI,EAAE,MAAM;gBAChB,QAAQ,GAAG,SAAS,CAAC;gBACrB,MAAM;YACP,KAAK,IAAI,EAAE,MAAM;gBAChB,SAAS,GAAG,QAAQ,CAAC;gBACrB,MAAM;YACP,KAAK,IAAI,EAAE,MAAM;gBAChB,MAAM;QACR,CAAC;QAED,MAAM,KAAK,GAAG,wBAAwB,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,IAAI,KAAK;YAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7D,CAAC;IAEO,yBAAyB,CAAC,IAA8B;QAC/D,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC;QACxC,IAAI,eAAe,GAAG,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC;QAChE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;QAEpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,gBAAgB,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAC7C,IAAI,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU;YAC7E,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO;YAErC,QAAQ,CAAC,CAAC,CAAC,eAAe,+BAAuB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,gBAAgB,+BAAuB,CAAC,EAAE,CAAC;gBACvG,KAAK,IAAI,EAAE,MAAM;oBAChB,SAAS,CAAC,OAAO;gBAClB,KAAK,IAAI,EAAE,MAAM;oBAChB,eAAe,GAAG,gBAAgB,CAAC;oBACnC,MAAM;gBACP,KAAK,IAAI,EAAE,MAAM;oBAChB,gBAAgB,GAAG,eAAe,CAAC;oBACnC,MAAM;gBACP,KAAK,IAAI,EAAE,MAAM;oBAChB,MAAM;YACR,CAAC;YAED,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,wBAAwB,CAAC,OAAO,CAAC,KAAK,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;YACzF,IAAI,KAAK;gBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;YAE/D,eAAe,GAAG,gBAAgB,CAAC;QACpC,CAAC;IACF,CAAC;IAEO,uBAAuB,CAAC,IAA4B;QAC3D,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC;QACrC,IAAI,OAAO,GAAG,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;QACrD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;QAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAE,EAC5B,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC;YACpB,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB;YAEvG,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAClC,IAAI,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;YAClD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAE9B,QAAQ,CAAC,CAAC,CAAC,OAAO,+BAAuB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,+BAAuB,CAAC,EAAE,CAAC;gBACvF,KAAK,IAAI,EAAE,MAAM;oBAChB,IAAI,EAAE,KAAK,GAAG;wBAAE,OAAO,4BAAoB,CAAC,CAAC,WAAW;oBACxD,SAAS,CAAC,OAAO;gBAClB,KAAK,IAAI,EAAE,MAAM;oBAChB,OAAO,GAAG,QAAQ,CAAC;oBACnB,MAAM;gBACP,KAAK,IAAI,EAAE,MAAM;oBAChB,QAAQ,GAAG,OAAO,CAAC;oBACnB,MAAM;gBACP,KAAK,IAAI,EAAE,MAAM;oBAChB,MAAM;YACR,CAAC;YAED,MAAM,KAAK,GAAG,wBAAwB,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC9D,IAAI,KAAK,EAAE,CAAC;gBACX,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;gBACpD,MAAM,CAAC,OAAO;YACf,CAAC;YAED,OAAO,GAAG,QAAQ,CAAC;QACpB,CAAC;IACF,CAAC;IAEO,uBAAuB,CAAC,IAA4B,EAAE,UAAkB;QAC/E,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,eAAe;QAEjD,eAAe;QACf,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAE,EAC5B,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC;YAEpB,gBAAgB;YAChB,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;gBACtE,MAAM,CAAC,YAAY;YACpB,CAAC;YAED,UAAU;YACV,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC;QAC9B,CAAC;IACF,CAAC;IAEO,sBAAsB,CAAC,IAA2B;QACzD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAEO,eAAe,CAAC,IAAoB,EAAE,WAAoB,IAAI;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,yBAAyB;QAClE,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,WAAW,IAAI,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC;YAC3E,OAAO;QACR,CAAC;QACD,IAAI,QAAQ,IAAI,MAAM,CAAC,GAAG,6BAAqB,EAAE,CAAC;YACjD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,IAAI,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClC,CAAC;IAEO,WAAW,CAAC,IAAY;QAC/B,SAAS;QACT,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,YAAY;YAAE,OAAO;QAE1B,WAAW;QACX,IAAI,WAAW,GAAG,YAAY,CAAC;QAC/B,OAAO,WAAW,CAAC,QAAQ;YAAE,WAAW,GAAG,WAAW,CAAC,QAAQ,CAAC;QAChE,WAAW,CAAC,GAAG,0BAAkB,CAAC;IACnC,CAAC;IAEO,UAAU;QACjB,MAAM,QAAQ,GAAU,EAAE,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QACxF,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC;IAC9B,CAAC;IAEO,UAAU;QACjB,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,MAAO,CAAC;IAC/C,CAAC;IAEO,eAAe,CAAC,IAAY;QACnC,KAAK,IAAI,KAAK,GAAsB,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YACpF,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC3C,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IAEO,OAAO,CACd,IAAY,EACZ,IAAgB,EAChB,GAAc,EACd,IAAgB,EAChB,eAA+B,EAC/B,QAAqB;QAErB,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,eAAe,EAAE,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC;YAC/E,OAAO;QACR,CAAC;QAED,MAAM,UAAU,GAAe,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;QAEpH,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;IACjD,CAAC;IAEO,MAAM,CAAC,IAAY,EAAE,eAAwB,IAAI;QACxD,sBAAsB;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,IAAI,WAAW,GAAe,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAEvD,2BAA2B;QAC3B,IAAI,CAAC,YAAY;YAAE,OAAO,WAAW,CAAC;QAEtC,0BAA0B;QAC1B,KAAK,IAAI,OAAO,GAA2B,WAAW,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC7F,IAAI,OAAO,CAAC,GAAG,6BAAqB;gBAAE,SAAS;YAC/C,eAAe;YACf,WAAW,GAAG;gBACb,GAAG,WAAW;gBACd,GAAG,2BAAmB;gBACtB,IAAI,4BAAoB;aACxB,CAAC;YACF,cAAc;YACd,WAAW,CAAC,QAAQ,GAAG;gBACtB,GAAG,WAAW;gBACd,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS;gBAC7B,QAAQ,EAAE,SAAS;aACnB,CAAC;YACF,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM;QACP,CAAC;QAED,OAAO,WAAW,CAAC;IACpB,CAAC;CACD;AASD,MAAM,UAAU,cAAc,CAAC,GAAgB,EAAE,YAAuC;IACvF,MAAM,SAAS,GAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC9D,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QACjC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;YAC3B,IAAI;YACJ,IAAI,8BAAqB;YACzB,GAAG,0BAAkB;YACrB,IAAI,6BAAqB;YACzB,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,SAAS,EAAE,IAAI;SACf,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,cAAc,CAAC,SAAS,CAAC,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IACrD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;AACvD,CAAC"}

package/dist/api/utils/symbolTable.d.ts

@@ -0,0 +1,28 @@
+import type * as AST from '../../core/ast.js';
+import type { MeaoiuType } from '../../core/typedef.js';
+export declare const enum SymbolKind {
+    FUNCTION = 12,
+    VARIABLE = 13,
+    PARAMETER = 20
+}
+export declare const enum SymbolTag {
+    NORMAL = 0,
+    MOVED = 1,
+    DECAYED = 2
+}
+export type SymbolInfo = {
+    name: string;
+    kind: SymbolKind;
+    tag: SymbolTag;
+    type: MeaoiuType;
+    valueRef?: SymbolInfo | undefined;
+    declarations: AST.Identifier[];
+    references: AST.Identifier[];
+    isBuiltIn?: boolean;
+};
+export type Scope = {
+    parent?: Scope;
+    children: Scope[];
+    symbols: Map<string, SymbolInfo>;
+};
+//# sourceMappingURL=symbolTable.d.ts.map

package/dist/api/utils/symbolTable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolTable.d.ts","sourceRoot":"","sources":["../../../src/api/utils/symbolTable.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,GAAG,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,0BAAkB,UAAU;IAC3B,QAAQ,KAAK;IACb,QAAQ,KAAK;IACb,SAAS,KAAK;CACd;AAED,0BAAkB,SAAS;IAC1B,MAAM,IAAI;IACV,KAAK,IAAI;IACT,OAAO,IAAI;CACX;AAGD,MAAM,MAAM,UAAU,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,GAAG,EAAE,SAAS,CAAC;IACf,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;IAClC,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;IAC/B,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;IAC7B,SAAS,CAAC,EAAE,OAAO,CAAC;CACpB,CAAC;AAGF,MAAM,MAAM,KAAK,GAAG;IACnB,MAAM,CAAC,EAAE,KAAK,CAAC;IACf,QAAQ,EAAE,KAAK,EAAE,CAAC;IAClB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CACjC,CAAC"}

package/dist/api/utils/symbolTable.js

@@ -0,0 +1,3 @@
+// src/api/utils/symbolTable.ts
+export {};
+//# sourceMappingURL=symbolTable.js.map

package/dist/api/utils/symbolTable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolTable.js","sourceRoot":"","sources":["../../../src/api/utils/symbolTable.ts"],"names":[],"mappings":"AAAA,+BAA+B"}

package/dist/cli/main.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=main.d.ts.map

package/dist/cli/main.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":""}