freelang-v4 4.3.0

package/dist/channel-jest.test.js

@@ -0,0 +1,148 @@
+"use strict";
+// FreeLang v4 — 채널/Actor 통합 테스트
+Object.defineProperty(exports, "__esModule", { value: true });
+const lexer_1 = require("./lexer");
+const parser_1 = require("./parser");
+const checker_1 = require("./checker");
+const compiler_1 = require("./compiler");
+const vm_1 = require("./vm");
+async function runCode(code) {
+    const lexer = new lexer_1.Lexer(code);
+    const { tokens, errors: lexErrors } = lexer.tokenize();
+    if (lexErrors.length > 0) {
+        throw new Error(`Lex errors: ${lexErrors.map((e) => e.message).join(", ")}`);
+    }
+    const parser = new parser_1.Parser(tokens);
+    const { program, errors: parseErrors } = parser.parse();
+    if (parseErrors.length > 0) {
+        throw new Error(`Parse errors: ${parseErrors.map((e) => e.message).join(", ")}`);
+    }
+    const checker = new checker_1.TypeChecker();
+    const checkErrors = checker.check(program);
+    if (checkErrors.length > 0) {
+        throw new Error(`Type errors: ${checkErrors.map((e) => e.message).join(", ")}`);
+    }
+    const compiler = new compiler_1.Compiler();
+    const bytecode = compiler.compile(program);
+    const vm = new vm_1.VM();
+    const { output, error } = await vm.run(bytecode);
+    if (error) {
+        throw new Error(`Runtime error: ${error}`);
+    }
+    return output;
+}
+describe("Channel/Actor 기본 테스트", () => {
+    // 테스트 1: 채널 생성
+    test("T1: 채널 생성 (chan_new)", async () => {
+        const code = `
+      var ch = channel<i32>();
+      println(str(1));
+    `;
+        const output = await runCode(code);
+        expect(output).toContain("1");
+    });
+    // 테스트 2: 채널 송수신 (기본)
+    test("T2: 채널 송수신 (spawn에서 송신, 메인에서 수신)", async () => {
+        const code = `
+      var ch = channel<i32>();
+
+      spawn {
+        ch <- 42;
+      }
+
+      var x = <- ch;
+      println(str(x));
+    `;
+        const output = await runCode(code);
+        expect(output).toContain("42");
+    });
+    // 테스트 3: 다중 메시지
+    test("T3: 채널을 통한 다중 메시지 송수신", async () => {
+        const code = `
+      var ch = channel<i32>();
+
+      spawn {
+        ch <- 10;
+        ch <- 20;
+        ch <- 30;
+      }
+
+      var a = <- ch;
+      var b = <- ch;
+      var c = <- ch;
+      println(str(a));
+      println(str(b));
+      println(str(c));
+    `;
+        const output = await runCode(code);
+        expect(output).toContain("10");
+        expect(output).toContain("20");
+        expect(output).toContain("30");
+    });
+    // 테스트 4: 다중 Actor (2개)
+    test("T4: 다중 Actor 간 통신 (2 spawns)", async () => {
+        const code = `
+      var ch1 = channel<i32>();
+
+      spawn {
+        ch1 <- 100;
+      }
+
+      var y = <- ch1;
+      println(str(y));
+    `;
+        const output = await runCode(code);
+        expect(output).toContain("100");
+    });
+    // 테스트 5: 채널 타입 체크 (mismatch 감지)
+    test("T5: 채널 타입 미스매치 감지", async () => {
+        const code = `
+      var ch = channel<i32>();
+      ch <- "hello";
+    `;
+        await expect(runCode(code)).rejects.toThrow();
+    });
+    // 테스트 6: Actor 스케줄링 (순서 검증)
+    test("T6: Actor 스케줄링 순서 검증", async () => {
+        const code = `
+      var ch = channel<i32>();
+
+      spawn {
+        ch <- 1;
+        ch <- 2;
+      }
+
+      var x = <- ch;
+      var y = <- ch;
+      println(str(x));
+      println(str(y));
+    `;
+        const output = await runCode(code);
+        expect(output[0]).toBe("1");
+        expect(output[1]).toBe("2");
+    });
+    // 테스트 7: 복잡한 채널 패턴
+    test("T7: 복잡한 채널 패턴 (2개 채널)", async () => {
+        const code = `
+      var ch_a = channel<i32>();
+      var ch_b = channel<i32>();
+
+      spawn {
+        ch_a <- 1;
+      }
+
+      spawn {
+        ch_b <- 2;
+      }
+
+      var a = <- ch_a;
+      var b = <- ch_b;
+      println(str(a));
+      println(str(b));
+    `;
+        const output = await runCode(code);
+        expect(output).toContain("1");
+        expect(output).toContain("2");
+    });
+});
+//# sourceMappingURL=channel-jest.test.js.map

package/dist/channel-jest.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"channel-jest.test.js","sourceRoot":"","sources":["../src/channel-jest.test.ts"],"names":[],"mappings":";AAAA,gCAAgC;;AAEhC,mCAAgC;AAChC,qCAAkC;AAClC,uCAAwC;AACxC,yCAAsC;AACtC,6BAA0B;AAE1B,KAAK,UAAU,OAAO,CAAC,IAAY;IACjC,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,eAAe,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;IACxD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,iBAAiB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,qBAAW,EAAE,CAAC;IAClC,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,gBAAgB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,mBAAQ,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAE3C,MAAM,EAAE,GAAG,IAAI,OAAE,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,EAAE,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,eAAe;IACf,IAAI,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,IAAI,GAAG;;;KAGZ,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,IAAI,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAClD,MAAM,IAAI,GAAG;;;;;;;;;KASZ,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,gBAAgB;IAChB,IAAI,CAAC,uBAAuB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;KAeZ,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,uBAAuB;IACvB,IAAI,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,IAAI,GAAG;;;;;;;;;KASZ,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,gCAAgC;IAChC,IAAI,CAAC,mBAAmB,EAAE,KAAK,IAAI,EAAE;QACnC,MAAM,IAAI,GAAG;;;KAGZ,CAAC;QACF,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,4BAA4B;IAC5B,IAAI,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,IAAI,GAAG;;;;;;;;;;;;KAYZ,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,mBAAmB;IACnB,IAAI,CAAC,uBAAuB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;KAgBZ,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/checker-jest.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/checker-jest.test.js

@@ -0,0 +1,160 @@
+"use strict";
+// FreeLang v4 — TypeChecker 테스트 - Jest Format
+Object.defineProperty(exports, "__esModule", { value: true });
+const lexer_1 = require("./lexer");
+const parser_1 = require("./parser");
+const checker_1 = require("./checker");
+function check(source) {
+    const { tokens, errors: lexErrors } = new lexer_1.Lexer(source).tokenize();
+    if (lexErrors.length > 0)
+        throw new Error(`Lex: ${lexErrors[0].message}`);
+    const { program, errors: parseErrors } = new parser_1.Parser(tokens).parse();
+    if (parseErrors.length > 0)
+        throw new Error(`Parse: ${parseErrors[0].message}`);
+    return new checker_1.TypeChecker().check(program);
+}
+// ============================================================
+// Jest Tests
+// ============================================================
+describe("TypeChecker Tests", () => {
+    describe("타입 추론", () => {
+        it("var x = 42 (i32 추론)", () => {
+            const errors = check("var x = 42");
+            expect(errors.length).toBe(0);
+        });
+        it("var x = 3.14 (f64 추론)", () => {
+            const errors = check("var x = 3.14");
+            expect(errors.length).toBe(0);
+        });
+        it('var x = "hello" (string 추론)', () => {
+            const errors = check('var x = "hello"');
+            expect(errors.length).toBe(0);
+        });
+        it("var x = true (bool 추론)", () => {
+            const errors = check("var x = true");
+            expect(errors.length).toBe(0);
+        });
+        it("var x: i32 = 42", () => {
+            const errors = check("var x: i32 = 42");
+            expect(errors.length).toBe(0);
+        });
+        it("var x: f64 = 3.14", () => {
+            const errors = check("var x: f64 = 3.14");
+            expect(errors.length).toBe(0);
+        });
+    });
+    describe("타입 불일치", () => {
+        it("i32 = string 불일치", () => {
+            const errors = check('var x: i32 = "hello"');
+            expect(errors.length).toBeGreaterThan(0);
+            expect(errors[0].message).toContain("type mismatch");
+        });
+        it("bool = i32 불일치", () => {
+            const errors = check("var x: bool = 42");
+            expect(errors.length).toBeGreaterThan(0);
+            expect(errors[0].message).toContain("type mismatch");
+        });
+    });
+    describe("void 제약", () => {
+        it("void 변수 금지", () => {
+            const errors = check("var x: void = println()");
+            expect(errors.length).toBeGreaterThan(0);
+            expect(errors[0].message).toContain("void");
+        });
+    });
+    describe("산술 연산", () => {
+        it("i32 + i32", () => {
+            const errors = check("fn f() -> i32 { return 1 + 2 }");
+            expect(errors.length).toBe(0);
+        });
+        it("f64 + f64", () => {
+            const errors = check("fn f() -> f64 { return 1.0 + 2.0 }");
+            expect(errors.length).toBe(0);
+        });
+        it("i32 + f64 불일치", () => {
+            const errors = check("fn f() -> i32 { return 1 + 1.0 }");
+            expect(errors.length).toBeGreaterThan(0);
+        });
+        it("string + string", () => {
+            const errors = check('fn f() -> string { return "a" + "b" }');
+            expect(errors.length).toBe(0);
+        });
+    });
+    describe("비교 연산", () => {
+        it("== → bool", () => {
+            const errors = check("fn f() -> bool { return 1 == 2 }");
+            expect(errors.length).toBe(0);
+        });
+        it("< → bool", () => {
+            const errors = check("fn f() -> bool { return 1 < 2 }");
+            expect(errors.length).toBe(0);
+        });
+    });
+    describe("논리 연산", () => {
+        it("&& bool", () => {
+            const errors = check("fn f() -> bool { return true && false }");
+            expect(errors.length).toBe(0);
+        });
+        it("&& 에 i32 사용", () => {
+            const errors = check("fn f() -> bool { return 1 && 2 }");
+            expect(errors.length).toBeGreaterThan(0);
+            expect(errors[0].message).toContain("requires bool");
+        });
+    });
+    describe("단항 연산", () => {
+        it("unary -", () => {
+            const errors = check("fn f() -> i32 { return -42 }");
+            expect(errors.length).toBe(0);
+        });
+        it("unary !", () => {
+            const errors = check("fn f() -> bool { return !true }");
+            expect(errors.length).toBe(0);
+        });
+        it("! 에 i32 사용", () => {
+            const errors = check("fn f() -> bool { return !42 }");
+            expect(errors.length).toBeGreaterThan(0);
+            expect(errors[0].message).toContain("requires bool");
+        });
+    });
+    describe("함수 검사", () => {
+        it("반환 타입 불일치", () => {
+            const errors = check('fn f() -> i32 { return "hello" }');
+            expect(errors.length).toBeGreaterThan(0);
+            expect(errors[0].message).toContain("return type mismatch");
+        });
+        it("인자 수 부족", () => {
+            const errors = check(`fn add(a: i32, b: i32) -> i32 { return a + b }
+add(1)`);
+            expect(errors.length).toBeGreaterThan(0);
+        });
+        it("인자 타입 불일치", () => {
+            const errors = check(`fn add(a: i32, b: i32) -> i32 { return a + b }
+add(1, "two")`);
+            expect(errors.length).toBeGreaterThan(0);
+        });
+        it("함수 전방참조", () => {
+            const errors = check(`
+fn main() -> void { println(str(add(1, 2))) }
+fn add(a: i32, b: i32) -> i32 { return a + b }
+`);
+            expect(errors.length).toBe(0);
+        });
+        it("함수 중복 선언", () => {
+            const errors = check(`fn f() -> void { }
+fn f() -> void { }`);
+            expect(errors.length).toBeGreaterThan(0);
+        });
+    });
+    describe("불변성", () => {
+        it("var 재할당 허용", () => {
+            const errors = check("var x = 1\nx = 2");
+            expect(errors.length).toBe(0);
+        });
+        it("let 재할당 금지", () => {
+            const errors = check("let x = 1\nx = 2");
+            expect(errors.length).toBeGreaterThan(0);
+            expect(errors[0].message).toContain("immutable");
+        });
+    });
+});
+//# sourceMappingURL=checker-jest.test.js.map

package/dist/checker-jest.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker-jest.test.js","sourceRoot":"","sources":["../src/checker-jest.test.ts"],"names":[],"mappings":";AAAA,8CAA8C;;AAE9C,mCAAgC;AAChC,qCAAkC;AAClC,uCAAoD;AAEpD,SAAS,KAAK,CAAC,MAAc;IAC3B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1E,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;IACpE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,UAAU,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAChF,OAAO,IAAI,qBAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED,+DAA+D;AAC/D,aAAa;AACb,+DAA+D;AAE/D,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;YACnC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC;YACrC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC;YACxC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC;YACrC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC;YACxC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtB,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;YACxB,MAAM,MAAM,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,MAAM,GAAG,KAAK,CAAC,yBAAyB,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;YACnB,MAAM,MAAM,GAAG,KAAK,CAAC,gCAAgC,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;YACnB,MAAM,MAAM,GAAG,KAAK,CAAC,oCAAoC,CAAC,CAAC;YAC3D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,kCAAkC,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,MAAM,MAAM,GAAG,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC9D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;YACnB,MAAM,MAAM,GAAG,KAAK,CAAC,kCAAkC,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,iCAAiC,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,MAAM,GAAG,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAChE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,MAAM,GAAG,KAAK,CAAC,kCAAkC,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,MAAM,GAAG,KAAK,CAAC,8BAA8B,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,MAAM,GAAG,KAAK,CAAC,iCAAiC,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,MAAM,GAAG,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACtD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;YACnB,MAAM,MAAM,GAAG,KAAK,CAAC,kCAAkC,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,MAAM,GAAG,KAAK,CAClB;OACD,CACA,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;YACnB,MAAM,MAAM,GAAG,KAAK,CAClB;cACM,CACP,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,MAAM,GAAG,KAAK,CAAC;;;CAG1B,CAAC,CAAC;YACG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC;mBACR,CAAC,CAAC;YACf,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE;QACnB,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,MAAM,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,MAAM,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/checker.d.ts

@@ -0,0 +1,149 @@
+import { Program, Expr } from "./ast";
+export type Type = {
+    kind: "i32";
+} | {
+    kind: "i64";
+} | {
+    kind: "f64";
+} | {
+    kind: "bool";
+} | {
+    kind: "string";
+} | {
+    kind: "void";
+} | {
+    kind: "array";
+    element: Type;
+} | {
+    kind: "channel";
+    element: Type;
+} | {
+    kind: "option";
+    element: Type;
+} | {
+    kind: "result";
+    ok: Type;
+    err: Type;
+} | {
+    kind: "promise";
+    element: Type;
+} | {
+    kind: "struct";
+    fields: Map<string, Type>;
+} | {
+    kind: "fn";
+    params: Type[];
+    returnType: Type;
+} | {
+    kind: "type_param";
+    name: string;
+} | {
+    kind: "generic_ref";
+    name: string;
+    typeArgs: Type[];
+} | {
+    kind: "trait";
+    name: string;
+    methods: Map<string, {
+        params: Type[];
+        returnType: Type;
+    }>;
+} | {
+    kind: "unknown";
+};
+export type CheckError = {
+    message: string;
+    line: number;
+    col: number;
+};
+type FnInfo = {
+    params: {
+        name: string;
+        type: Type;
+    }[];
+    returnType: Type;
+};
+type GenericFnDef = {
+    typeParams: string[];
+    params: {
+        name: string;
+        type: Type;
+    }[];
+    returnType: Type;
+};
+type GenericStructDef = {
+    typeParams: string[];
+    fields: Map<string, Type>;
+};
+export declare class TypeChecker {
+    private errors;
+    private functions;
+    private structs;
+    private traits;
+    private impls;
+    private genericFunctions;
+    private genericStructs;
+    private instantiatedFunctions;
+    private instantiatedStructs;
+    private scope;
+    private currentReturnType;
+    constructor();
+    check(program: Program): CheckError[];
+    private registerFunction;
+    private registerBuiltinFunctions;
+    private registerStruct;
+    private registerTrait;
+    private registerImpl;
+    private checkStmt;
+    private checkVarDecl;
+    private checkFnDecl;
+    private checkIfStmt;
+    private checkMatchStmt;
+    private checkMatchArm;
+    private checkPattern;
+    private checkForStmt;
+    private checkForOfStmt;
+    private checkWhileStmt;
+    private checkBreakStmt;
+    private checkContinueStmt;
+    private checkSpawnStmt;
+    private checkReturnStmt;
+    private checkExprStmt;
+    private checkImportDecl;
+    private checkExportDecl;
+    checkExpr(expr: Expr): Type;
+    private checkIdent;
+    private checkBinary;
+    private checkUnary;
+    private checkAwait;
+    private checkCall;
+    private checkIndex;
+    private checkFieldAccess;
+    private findStructName;
+    private findImplMethod;
+    private checkAssign;
+    private checkTry;
+    private checkIfExpr;
+    private checkMatchExpr;
+    private checkArrayLit;
+    private checkStructLit;
+    private checkFnLit;
+    private checkBlockExpr;
+    private coerceNumeric;
+    private isBuiltin;
+    private getBuiltinReturnType;
+    private checkChanNew;
+    private checkChanSend;
+    private checkChanRecv;
+    private error;
+    getInstantiatedFunctions(): Map<string, FnInfo>;
+    getInstantiatedStructs(): Map<string, Type>;
+    getGenericFunctions(): Map<string, GenericFnDef>;
+    getGenericStructs(): Map<string, GenericStructDef>;
+    getStructs(): Map<string, Type>;
+    private typeToMangledName;
+    private mangleFunctionName;
+    instantiateFunction(name: string, typeArgs: Type[]): FnInfo | null;
+    instantiateStruct(name: string, typeArgs: Type[]): Type;
+}
+export {};