bonescript-compiler 0.6.0 → 0.6.2

package/dist/source_map.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"source_map.js","sourceRoot":"","sources":["../src/source_map.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAqBH,MAAa,gBAAgB;IAA7B;QACU,aAAQ,GAAoB,EAAE,CAAC;IA8DzC,CAAC;IA5DC,GAAG,CAAC,OAAsB;QACxB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED;;;OAGG;IACH,eAAe,CACb,aAAqB,EACrB,UAAkB,EAClB,UAAkB,EAClB,GAAgB;QAEhB,MAAM,QAAQ,GAAoB,EAAE,CAAC;QAErC,oCAAoC;QACpC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACnC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CAAC;oBACZ,cAAc,EAAE,aAAa;oBAC7B,cAAc,EAAE,CAAC,EAAE,oCAAoC;oBACvD,WAAW,EAAE,UAAU;oBACvB,WAAW,EAAE,CAAC,EAAK,mCAAmC;oBACtD,aAAa,EAAE,CAAC;oBAChB,UAAU,EAAE,GAAG,CAAC,EAAE;oBAClB,WAAW,EAAE,WAAW,MAAM,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,EAAE;iBACtD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,cAAc,EAAE,aAAa;gBAC7B,cAAc,EAAE,CAAC;gBACjB,WAAW,EAAE,UAAU;gBACvB,WAAW,EAAE,CAAC;gBACd,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG,CAAC,EAAE;gBAClB,WAAW,EAAE,UAAU,KAAK,CAAC,IAAI,GAAG;aACrC,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,UAAU;YACvB,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,UAAkB,EAAE,UAAkB;QAC1C,OAAO;YACL,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,UAAU;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC;IACJ,CAAC;CACF;AA/DD,4CA+DC"}

package/dist/test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"test.js","sourceRoot":"","sources":["../src/test.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AACzB,2CAA6B;AAC7B,mCAA4C;AAC5C,qCAAkC;AAClC,+CAA2C;AAE3C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,wCAAwC,CAAC,CAAC;AAElF,SAAS,IAAI;IACX,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IAEhD,gCAAgC;IAChC,OAAO,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,kBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,iCAAiC;IACjC,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACjE,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,8BAA8B;IAC9B,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,GAAG,CAAC;IACR,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,CAAC,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;QAC5D,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,eAAe,GAAG,CAAC,IAAI,cAAc,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,CAAC,uBAAuB,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;YAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACnC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,kCAAkC;IAClC,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,eAAM,CAAC,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;IAC7D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,+BAA+B;IAC/B,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;IAC/C,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,IAAI,aAAK,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,IAAI,eAAM,CAAC,WAAW,CAAC,CAAC;QAC5C,WAAW,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;IAClD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,uBAAuB,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,aAAK,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;QAClD,IAAI,eAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,yHAAyH,CAAC,CAAC;IACvI,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,uHAAuH,CAAC,CAAC;AACvI,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/test_typechecker.d.ts

@@ -1,5 +0,0 @@
-/**
- * BoneScript Type Checker Tests
- * Verifies the type checker catches errors per spec/04_TYPE_SYSTEM.md.
- */
-export {};

package/dist/test_typechecker.js

@@ -1,126 +0,0 @@
-"use strict";
-/**
- * BoneScript Type Checker Tests
- * Verifies the type checker catches errors per spec/04_TYPE_SYSTEM.md.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-const lexer_1 = require("./lexer");
-const parser_1 = require("./parser");
-const typechecker_1 = require("./typechecker");
-function compile(source) {
-    const tokens = new lexer_1.Lexer(source).tokenize();
-    const ast = new parser_1.Parser(tokens).parse();
-    const checker = new typechecker_1.TypeChecker();
-    return checker.check(ast);
-}
-let passed = 0;
-let failed = 0;
-function expect(name, source, expectedCode) {
-    const errors = compile(source);
-    if (expectedCode === null) {
-        if (errors.length === 0) {
-            console.log(`  ✓ ${name}`);
-            passed++;
-        }
-        else {
-            console.log(`  ✗ ${name}: expected no errors, got ${errors.length}`);
-            for (const e of errors)
-                console.log(`      ${e.code}: ${e.message}`);
-            failed++;
-        }
-    }
-    else {
-        const found = errors.find(e => e.code === expectedCode);
-        if (found) {
-            console.log(`  ✓ ${name} (${expectedCode}: ${found.message})`);
-            passed++;
-        }
-        else {
-            console.log(`  ✗ ${name}: expected ${expectedCode}, got [${errors.map(e => e.code).join(", ")}]`);
-            for (const e of errors)
-                console.log(`      ${e.code}: ${e.message}`);
-            failed++;
-        }
-    }
-}
-console.log("BoneScript Type Checker Tests\n");
-// ─── Valid Programs ──────────────────────────────────────────────────────────
-expect("Valid minimal system", `
-system Minimal {
-  entity User {
-    owns: [name: string]
-  }
-  capability greet(u: User) {
-    requires: [u.name != ""]
-    effects: [u.name = "greeted"]
-    sync: eventual
-  }
-}
-`, null);
-expect("Valid with set operations", `
-system SetOps {
-  entity Bag {
-    owns: [items: set<string>]
-  }
-  capability add_item(b: Bag, item: string) {
-    requires: [b.items.size < 100]
-    effects: [b.items += item]
-    sync: transactional
-  }
-}
-`, null);
-expect("Valid with numeric operations", `
-system NumOps {
-  entity Counter {
-    owns: [value: uint]
-    constraints: [value >= 0, value <= 1000]
-  }
-  capability increment(c: Counter, amount: uint) {
-    requires: [amount > 0]
-    effects: [c.value += amount]
-    sync: eventual
-  }
-}
-`, null);
-// ─── Type Errors ─────────────────────────────────────────────────────────────
-expect("T009: Duplicate field name", `
-system DupField {
-  entity Bad {
-    owns: [name: string, name: uint]
-  }
-}
-`, "T009");
-expect("T010: Undefined state in transition", `
-system BadState {
-  entity Thing {
-    owns: [x: uint]
-    states: active -> nonexistent
-  }
-}
-`, null); // states are just identifiers, both are "defined" by being in the graph
-expect("T012: Flow with less than 2 steps", `
-system BadFlow {
-  entity Item { owns: [x: uint] }
-  flow single_step {
-    step one: do_thing(x)
-  }
-}
-`, "T012");
-expect("T011: Emit undeclared event", `
-system BadEmit {
-  entity User { owns: [name: string] }
-  capability greet(u: User) {
-    requires: [u.name != ""]
-    effects: [u.name = "hi"]
-    emits: NonExistentEvent
-    sync: eventual
-  }
-}
-`, "T011");
-// ─── Summary ─────────────────────────────────────────────────────────────────
-console.log(`\n═══════════════════════════════════════`);
-console.log(`Results: ${passed} passed, ${failed} failed`);
-console.log(`═══════════════════════════════════════`);
-if (failed > 0)
-    process.exit(1);
-//# sourceMappingURL=test_typechecker.js.map

package/dist/test_typechecker.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"test_typechecker.js","sourceRoot":"","sources":["../src/test_typechecker.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAEH,mCAAgC;AAChC,qCAAkC;AAClC,+CAA4C;AAE5C,SAAS,OAAO,CAAC,MAAc;IAC7B,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,yBAAW,EAAE,CAAC;IAClC,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED,IAAI,MAAM,GAAG,CAAC,CAAC;AACf,IAAI,MAAM,GAAG,CAAC,CAAC;AAEf,SAAS,MAAM,CAAC,IAAY,EAAE,MAAc,EAAE,YAA2B;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;YAC7B,MAAM,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,6BAA6B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YACvE,KAAK,MAAM,CAAC,IAAI,MAAM;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACrE,MAAM,EAAE,CAAC;QACX,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACxD,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,KAAK,YAAY,KAAK,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;YACjE,MAAM,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,cAAc,YAAY,UAAU,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpG,KAAK,MAAM,CAAC,IAAI,MAAM;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACrE,MAAM,EAAE,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC;AAED,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;AAE/C,0MAA0M;AAE1M,MAAM,CAAC,sBAAsB,EAAE;;;;;;;;;;;CAW9B,EAAE,IAAI,CAAC,CAAC;AAET,MAAM,CAAC,2BAA2B,EAAE;;;;;;;;;;;CAWnC,EAAE,IAAI,CAAC,CAAC;AAET,MAAM,CAAC,+BAA+B,EAAE;;;;;;;;;;;;CAYvC,EAAE,IAAI,CAAC,CAAC;AAET,gNAAgN;AAEhN,MAAM,CAAC,4BAA4B,EAAE;;;;;;CAMpC,EAAE,MAAM,CAAC,CAAC;AAEX,MAAM,CAAC,qCAAqC,EAAE;;;;;;;CAO7C,EAAE,IAAI,CAAC,CAAC,CAAC,wEAAwE;AAElF,MAAM,CAAC,mCAAmC,EAAE;;;;;;;CAO3C,EAAE,MAAM,CAAC,CAAC;AAEX,MAAM,CAAC,6BAA6B,EAAE;;;;;;;;;;CAUrC,EAAE,MAAM,CAAC,CAAC;AAEX,wNAAwN;AAExN,OAAO,CAAC,GAAG,CAAC,yHAAyH,CAAC,CAAC;AACvI,OAAO,CAAC,GAAG,CAAC,YAAY,MAAM,YAAY,MAAM,SAAS,CAAC,CAAC;AAC3D,OAAO,CAAC,GAAG,CAAC,uHAAuH,CAAC,CAAC;AAErI,IAAI,MAAM,GAAG,CAAC;IAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC"}