luau2ts 0.2.1 → 0.2.3

package/dist/compile/macros/stdlib.js

@@ -0,0 +1,140 @@
+import ts from 'typescript';
+import { registerMacro } from './index.js';
+const { factory } = ts;
+// ─── table.* ───────────────────────────────────────────────────────────────
+// `table.insert(t, v)` → `t.push(v)`
+// `table.insert(t, i, v)` → `t.splice(i-1, 0, v)` (1-indexed → 0-indexed)
+registerMacro('table.insert', ({ compiledArgs }) => {
+    const [target, second, third] = compiledArgs;
+    if (!target)
+        return undefined;
+    if (third !== undefined) {
+        // 3-arg form: insert at position.
+        const indexExpr = factory.createBinaryExpression(second, factory.createToken(ts.SyntaxKind.MinusToken), factory.createNumericLiteral(1));
+        return factory.createCallExpression(factory.createPropertyAccessExpression(target, factory.createIdentifier('splice')), undefined, [indexExpr, factory.createNumericLiteral(0), third]);
+    }
+    if (second === undefined)
+        return undefined;
+    return factory.createCallExpression(factory.createPropertyAccessExpression(target, factory.createIdentifier('push')), undefined, [second]);
+}, 'rbxts');
+// `table.remove(t)` → `t.pop()`
+// `table.remove(t, i)` → `t.splice(i-1, 1)[0]`
+registerMacro('table.remove', ({ compiledArgs }) => {
+    const [target, idx] = compiledArgs;
+    if (!target)
+        return undefined;
+    if (idx === undefined) {
+        return factory.createCallExpression(factory.createPropertyAccessExpression(target, factory.createIdentifier('pop')), undefined, []);
+    }
+    const indexExpr = factory.createBinaryExpression(idx, factory.createToken(ts.SyntaxKind.MinusToken), factory.createNumericLiteral(1));
+    return factory.createElementAccessExpression(factory.createCallExpression(factory.createPropertyAccessExpression(target, factory.createIdentifier('splice')), undefined, [indexExpr, factory.createNumericLiteral(1)]), factory.createNumericLiteral(0));
+}, 'rbxts');
+// `table.concat(t, sep)` → `t.join(sep)`
+registerMacro('table.concat', ({ compiledArgs }) => {
+    const [target, sep] = compiledArgs;
+    if (!target)
+        return undefined;
+    return factory.createCallExpression(factory.createPropertyAccessExpression(target, factory.createIdentifier('join')), undefined, sep ? [sep] : []);
+}, 'rbxts');
+// `table.sort(t, cmp?)` → `t.sort(cmp)`
+registerMacro('table.sort', ({ compiledArgs }) => {
+    const [target, cmp] = compiledArgs;
+    if (!target)
+        return undefined;
+    return factory.createCallExpression(factory.createPropertyAccessExpression(target, factory.createIdentifier('sort')), undefined, cmp ? [cmp] : []);
+}, 'rbxts');
+// `table.find(t, v)` → `t.indexOf(v) + 1` (Lua returns 1-indexed; nil → 0+1 = 1
+// would clash, so the conversion is approximate. Use `t.indexOf(v) !== -1`
+// idioms in TS instead. We emit `t.indexOf(v) + 1` which gives 0 on miss
+// — matching the Lua semantics shape since 0 is falsy in Luau but TRUTHY
+// in JS. This divergence is documented; users who rely on the falsy-on-
+// miss should rewrite to `t.indexOf(v) !== -1`).
+registerMacro('table.find', ({ compiledArgs }) => {
+    const [target, value] = compiledArgs;
+    if (!target || !value)
+        return undefined;
+    return factory.createBinaryExpression(factory.createCallExpression(factory.createPropertyAccessExpression(target, factory.createIdentifier('indexOf')), undefined, [value]), factory.createToken(ts.SyntaxKind.PlusToken), factory.createNumericLiteral(1));
+}, 'rbxts');
+// `table.create(n, v)` → `new Array(n).fill(v)` (or `new Array(n)` when v is omitted)
+registerMacro('table.create', ({ compiledArgs }) => {
+    const [n, v] = compiledArgs;
+    if (!n)
+        return undefined;
+    const arr = factory.createNewExpression(factory.createIdentifier('Array'), undefined, [n]);
+    if (v === undefined)
+        return arr;
+    return factory.createCallExpression(factory.createPropertyAccessExpression(arr, factory.createIdentifier('fill')), undefined, [v]);
+}, 'rbxts');
+// `table.clone(t)` → `[...t]` (shallow)
+registerMacro('table.clone', ({ compiledArgs }) => {
+    const [target] = compiledArgs;
+    if (!target)
+        return undefined;
+    return factory.createArrayLiteralExpression([factory.createSpreadElement(target)], false);
+}, 'rbxts');
+// `table.unpack(t)` → `...t`. The spread element only makes sense in a
+// call-position context, so emit `[...t]` to give a plain expression we can
+// reuse. Users who need actual unpacking write multi-return destructuring.
+registerMacro('table.unpack', ({ compiledArgs }) => {
+    const [target] = compiledArgs;
+    if (!target)
+        return undefined;
+    return factory.createArrayLiteralExpression([factory.createSpreadElement(target)], false);
+}, 'rbxts');
+// ─── string.* method-form rewrites ─────────────────────────────────────────
+// `string.split(s, sep)` → `s.split(sep)`
+// `string.upper(s)` → `s.toUpperCase()`
+// `string.lower(s)` → `s.toLowerCase()`
+// `string.reverse(s)` → `[...s].reverse().join('')`
+// `string.len(s)` → `s.length`
+// `string.rep(s, n)` → `s.repeat(n)`
+function emitStringMethod(method, argsAfterTarget = 0) {
+    return ({ compiledArgs }) => {
+        const [target, ...rest] = compiledArgs;
+        if (!target)
+            return undefined;
+        return factory.createCallExpression(factory.createPropertyAccessExpression(target, factory.createIdentifier(method)), undefined, rest.slice(0, argsAfterTarget));
+    };
+}
+registerMacro('string.split', emitStringMethod('split', 1), 'rbxts');
+registerMacro('string.upper', emitStringMethod('toUpperCase', 0), 'rbxts');
+registerMacro('string.lower', emitStringMethod('toLowerCase', 0), 'rbxts');
+registerMacro('string.rep', emitStringMethod('repeat', 1), 'rbxts');
+registerMacro('string.len', ({ compiledArgs }) => {
+    if (!compiledArgs[0])
+        return undefined;
+    return factory.createPropertyAccessExpression(compiledArgs[0], factory.createIdentifier('length'));
+}, 'rbxts');
+registerMacro('string.reverse', ({ compiledArgs }) => {
+    const [target] = compiledArgs;
+    if (!target)
+        return undefined;
+    // [...s].reverse().join('')
+    return factory.createCallExpression(factory.createPropertyAccessExpression(factory.createCallExpression(factory.createPropertyAccessExpression(factory.createArrayLiteralExpression([factory.createSpreadElement(target)], false), factory.createIdentifier('reverse')), undefined, []), factory.createIdentifier('join')), undefined, [factory.createStringLiteral('')]);
+}, 'rbxts');
+// ─── math.* — direct JS Math passthrough ──────────────────────────────────
+function emitMathPassthrough(name) {
+    return ({ compiledArgs }) => factory.createCallExpression(factory.createPropertyAccessExpression(factory.createIdentifier('Math'), factory.createIdentifier(name)), undefined, compiledArgs);
+}
+for (const m of [
+    'floor', 'ceil', 'abs', 'sqrt', 'max', 'min',
+    'sin', 'cos', 'tan', 'asin', 'acos', 'atan', 'atan2',
+    'sinh', 'cosh', 'tanh', 'exp', 'log', 'log2', 'log10',
+    'sign', 'round', 'random',
+]) {
+    registerMacro(`math.${m}`, emitMathPassthrough(m), 'rbxts');
+}
+// `math.huge` and `math.pi` are property accesses, not calls — handled
+// separately as expression-level rewrites would need a different hook. Our
+// `math` namespace export already exposes them, so they pass through.
+// `math.clamp(x, lo, hi)` → `Math.min(Math.max(x, lo), hi)`
+registerMacro('math.clamp', ({ compiledArgs }) => {
+    const [x, lo, hi] = compiledArgs;
+    if (!x || !lo || !hi)
+        return undefined;
+    return factory.createCallExpression(factory.createPropertyAccessExpression(factory.createIdentifier('Math'), factory.createIdentifier('min')), undefined, [
+        factory.createCallExpression(factory.createPropertyAccessExpression(factory.createIdentifier('Math'), factory.createIdentifier('max')), undefined, [x, lo]),
+        hi,
+    ]);
+}, 'rbxts');
+//# sourceMappingURL=stdlib.js.map

package/dist/compile/macros/stdlib.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stdlib.js","sourceRoot":"","sources":["../../../src/compile/macros/stdlib.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAkB,MAAM,YAAY,CAAC;AAE3D,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAEvB,8EAA8E;AAE9E,qCAAqC;AACrC,0EAA0E;AAC1E,aAAa,CACX,cAAc,EACd,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,YAAY,CAAC;IAC7C,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,kCAAkC;QAClC,MAAM,SAAS,GAAG,OAAO,CAAC,sBAAsB,CAC9C,MAAO,EACP,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAC7C,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAChC,CAAC;QACF,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,EAClF,SAAS,EACT,CAAC,SAAS,EAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAChF,SAAS,EACT,CAAC,MAAM,CAAC,CACT,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,gCAAgC;AAChC,+CAA+C;AAC/C,aAAa,CACX,cAAc,EACd,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,YAAY,CAAC;IACnC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAC/E,SAAS,EACT,EAAE,CACH,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,sBAAsB,CAC9C,GAAG,EACH,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAC7C,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAChC,CAAC;IACF,OAAO,OAAO,CAAC,6BAA6B,CAC1C,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,EAClF,SAAS,EACT,CAAC,SAAS,EAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAC7C,EACD,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAChC,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,yCAAyC;AACzC,aAAa,CACX,cAAc,EACd,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,YAAY,CAAC;IACnC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAChF,SAAS,EACT,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CACjB,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,wCAAwC;AACxC,aAAa,CACX,YAAY,EACZ,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,YAAY,CAAC;IACnC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAChF,SAAS,EACT,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CACjB,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,gFAAgF;AAChF,2EAA2E;AAC3E,yEAAyE;AACzE,yEAAyE;AACzE,wEAAwE;AACxE,iDAAiD;AACjD,aAAa,CACX,YAAY,EACZ,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,YAAY,CAAC;IACrC,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO,OAAO,CAAC,sBAAsB,CACnC,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,EACnF,SAAS,EACT,CAAC,KAAK,CAAC,CACR,EACD,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAC5C,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAChC,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,sFAAsF;AACtF,aAAa,CACX,cAAc,EACd,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,YAAY,CAAC;IAC5B,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CACrC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACjC,SAAS,EACT,CAAC,CAAC,CAAC,CACJ,CAAC;IACF,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAChC,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CAAC,GAAG,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAC7E,SAAS,EACT,CAAC,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,wCAAwC;AACxC,aAAa,CACX,aAAa,EACb,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC;IAC9B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,OAAO,CAAC,4BAA4B,CACzC,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,EACrC,KAAK,CACN,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,uEAAuE;AACvE,4EAA4E;AAC5E,2EAA2E;AAC3E,aAAa,CACX,cAAc,EACd,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC;IAC9B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,OAAO,CAAC,4BAA4B,CACzC,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,EACrC,KAAK,CACN,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,8EAA8E;AAE9E,0CAA0C;AAC1C,wCAAwC;AACxC,wCAAwC;AACxC,oDAAoD;AACpD,+BAA+B;AAC/B,qCAAqC;AAErC,SAAS,gBAAgB,CAAC,MAAc,EAAE,eAAe,GAAG,CAAC;IAC3D,OAAO,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;QACrC,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,YAAY,CAAC;QACvC,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAChF,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,CAC/B,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,aAAa,CAAC,cAAc,EAAE,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AACrE,aAAa,CAAC,cAAc,EAAE,gBAAgB,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AAC3E,aAAa,CAAC,cAAc,EAAE,gBAAgB,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AAC3E,aAAa,CAAC,YAAY,EAAE,gBAAgB,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AAEpE,aAAa,CACX,YAAY,EACZ,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,OAAO,OAAO,CAAC,8BAA8B,CAC3C,YAAY,CAAC,CAAC,CAAC,EACf,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CACnC,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,aAAa,CACX,gBAAgB,EAChB,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC;IAC9B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,4BAA4B;IAC5B,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,4BAA4B,CAClC,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,EACrC,KAAK,CACN,EACD,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CACpC,EACD,SAAS,EACT,EAAE,CACH,EACD,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CACjC,EACD,SAAS,EACT,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,CAClC,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC;AAEF,6EAA6E;AAE7E,SAAS,mBAAmB,CAAC,IAAY;IACvC,OAAO,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE,CACrC,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAChC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAC/B,EACD,SAAS,EACT,YAAY,CACb,CAAC;AACN,CAAC;AAED,KAAK,MAAM,CAAC,IAAI;IACd,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK;IAC5C,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;IACpD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO;IACrD,MAAM,EAAE,OAAO,EAAE,QAAQ;CAC1B,EAAE,CAAC;IACF,aAAa,CAAC,QAAQ,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AAC9D,CAAC;AAED,uEAAuE;AACvE,2EAA2E;AAC3E,sEAAsE;AAEtE,4DAA4D;AAC5D,aAAa,CACX,YAAY,EACZ,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,YAAY,CAAC;IACjC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IACvC,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAChC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAChC,EACD,SAAS,EACT;QACE,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAChC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAChC,EACD,SAAS,EACT,CAAC,CAAC,EAAE,EAAE,CAAC,CACR;QACD,EAAE;KACH,CACF,CAAC;AACJ,CAAC,EACD,OAAO,CACR,CAAC"}

package/dist/compile/rbxts-runtime.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=rbxts-runtime.d.ts.map

package/dist/compile/rbxts-runtime.d.ts.map

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

package/dist/compile/rbxts-runtime.js

@@ -0,0 +1,163 @@
+import ts from 'typescript';
+import { registerMacro } from './macros/index.js';
+const { factory } = ts;
+// ─── async / await / generator ─────────────────────────────────────────────
+// `TS.async(fn)` wraps a function in an async closure. Roblox-ts uses this
+// at every `async function` declaration boundary.
+registerMacro('TS.async', ({ compiledArgs }) => {
+    const inner = compiledArgs[0];
+    if (!inner)
+        return undefined;
+    // Emit: ((...args) => Promise.resolve().then(() => fn(...args)))
+    // The Promise.resolve hop ensures the body always runs in a microtask,
+    // matching `async function` semantics.
+    const argsParam = factory.createParameterDeclaration(undefined, factory.createToken(ts.SyntaxKind.DotDotDotToken), 'args');
+    return factory.createParenthesizedExpression(factory.createArrowFunction([factory.createModifier(ts.SyntaxKind.AsyncKeyword)], undefined, [argsParam], undefined, factory.createToken(ts.SyntaxKind.EqualsGreaterThanToken), factory.createCallExpression(inner, undefined, [factory.createSpreadElement(factory.createIdentifier('args'))])));
+}, 'always');
+// `TS.await(promise)` → `(await promise)`.
+registerMacro('TS.await', ({ compiledArgs }) => {
+    const p = compiledArgs[0];
+    if (!p)
+        return undefined;
+    return factory.createParenthesizedExpression(factory.createAwaitExpression(p));
+}, 'always');
+// `TS.try(tryFn, catchFn?, finallyFn?)` → Promise-style chain. The
+// expression form is necessary because we can't emit a TS try-statement
+// from inside a value-position macro. Real Roblox-ts implementation uses
+// pcall under the hood; we use Promise.try/catch/finally semantics with
+// awaited execution so synchronous throws still surface.
+registerMacro('TS.try', ({ compiledArgs }) => {
+    const [tryFn, catchFn, finallyFn] = compiledArgs;
+    if (!tryFn)
+        return undefined;
+    // Promise.resolve().then(() => tryFn()).catch(catchFn).finally(finallyFn)
+    let chain = factory.createCallExpression(factory.createPropertyAccessExpression(factory.createCallExpression(factory.createPropertyAccessExpression(factory.createIdentifier('Promise'), factory.createIdentifier('resolve')), undefined, []), factory.createIdentifier('then')), undefined, [tryFn]);
+    if (catchFn) {
+        chain = factory.createCallExpression(factory.createPropertyAccessExpression(chain, factory.createIdentifier('catch')), undefined, [catchFn]);
+    }
+    if (finallyFn) {
+        chain = factory.createCallExpression(factory.createPropertyAccessExpression(chain, factory.createIdentifier('finally')), undefined, [finallyFn]);
+    }
+    return chain;
+}, 'always');
+// `TS.generator(fn)` — Roblox-ts wraps a generator-returning function so
+// it conforms to its iteration protocol (`{next, done, value}`). On the JS
+// side the same protocol is built-in for `function*` declarations. The
+// safest lowering: keep `fn` as-is and wrap with a thin adapter that
+// invokes the iterator factory the user produced.
+registerMacro('TS.generator', ({ compiledArgs }) => compiledArgs[0], 'always');
+// ─── instanceof / import / Object_assign ───────────────────────────────────
+registerMacro('TS.instanceof', ({ compiledArgs }) => {
+    const [v, t] = compiledArgs;
+    if (!v || !t)
+        return undefined;
+    return factory.createParenthesizedExpression(factory.createBinaryExpression(v, factory.createToken(ts.SyntaxKind.InstanceOfKeyword), t));
+}, 'always');
+// `TS.import(loader, ...path)` → `await import("path")`. We accept the
+// loader argument because roblox-ts emits it but ignore it; the JS module
+// system is the loader.
+registerMacro('TS.import', ({ compiledArgs }) => {
+    // Find the first string-literal argument and use it as the module path.
+    // Any other arguments are joined as path segments after the first.
+    const stringArgs = compiledArgs.filter((a) => ts.isStringLiteral(a));
+    if (stringArgs.length === 0)
+        return undefined;
+    const moduleName = stringArgs.map((s) => s.text).join('/');
+    return factory.createParenthesizedExpression(factory.createAwaitExpression(factory.createCallExpression(factory.createToken(ts.SyntaxKind.ImportKeyword), undefined, [factory.createStringLiteral(moduleName)])));
+}, 'always');
+registerMacro('TS.Object_assign', ({ compiledArgs }) => factory.createCallExpression(factory.createPropertyAccessExpression(factory.createIdentifier('Object'), factory.createIdentifier('assign')), undefined, compiledArgs), 'always');
+function emitBitOp(opFactory) {
+    return ({ compiledArgs }) => {
+        if (compiledArgs.length === 0)
+            return undefined;
+        let acc = compiledArgs[0];
+        for (let i = 1; i < compiledArgs.length; i++) {
+            acc = factory.createBinaryExpression(acc, opFactory(), compiledArgs[i]);
+        }
+        return factory.createParenthesizedExpression(factory.createBinaryExpression(acc, factory.createToken(ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken), factory.createNumericLiteral(0)));
+    };
+}
+registerMacro('TS.bit_band', emitBitOp(() => factory.createToken(ts.SyntaxKind.AmpersandToken)), 'always');
+registerMacro('TS.bit_bor', emitBitOp(() => factory.createToken(ts.SyntaxKind.BarToken)), 'always');
+registerMacro('TS.bit_bxor', emitBitOp(() => factory.createToken(ts.SyntaxKind.CaretToken)), 'always');
+registerMacro('TS.bit_lshift', emitBitOp(() => factory.createToken(ts.SyntaxKind.LessThanLessThanToken)), 'always');
+registerMacro('TS.bit_rshift', emitBitOp(() => factory.createToken(ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken)), 'always');
+// `TS.bit_bnot(x)` — unary; `(~x) >>> 0`.
+registerMacro('TS.bit_bnot', ({ compiledArgs }) => {
+    if (!compiledArgs[0])
+        return undefined;
+    return factory.createParenthesizedExpression(factory.createBinaryExpression(factory.createPrefixUnaryExpression(ts.SyntaxKind.TildeToken, compiledArgs[0]), factory.createToken(ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken), factory.createNumericLiteral(0)));
+}, 'always');
+// ─── number helpers ────────────────────────────────────────────────────────
+function emitMathCall(method) {
+    return ({ compiledArgs }) => factory.createCallExpression(factory.createPropertyAccessExpression(factory.createIdentifier('Math'), factory.createIdentifier(method)), undefined, compiledArgs);
+}
+registerMacro('TS.round', emitMathCall('round'), 'always');
+registerMacro('TS.math_floor', emitMathCall('floor'), 'always');
+registerMacro('TS.math_ceil', emitMathCall('ceil'), 'always');
+registerMacro('TS.math_abs', emitMathCall('abs'), 'always');
+registerMacro('TS.math_max', emitMathCall('max'), 'always');
+registerMacro('TS.math_min', emitMathCall('min'), 'always');
+registerMacro('TS.math_sqrt', emitMathCall('sqrt'), 'always');
+// ─── string helpers ────────────────────────────────────────────────────────
+// Most TS.string_* helpers in roblox-ts are just method calls on the string
+// itself. Lower them by emitting `s.<method>(args)`.
+function emitStringMethod(method) {
+    return ({ compiledArgs }) => {
+        if (!compiledArgs[0])
+            return undefined;
+        return factory.createCallExpression(factory.createPropertyAccessExpression(compiledArgs[0], factory.createIdentifier(method)), undefined, compiledArgs.slice(1));
+    };
+}
+registerMacro('TS.string_split', emitStringMethod('split'), 'always');
+registerMacro('TS.string_includes', emitStringMethod('includes'), 'always');
+registerMacro('TS.string_indexOf', emitStringMethod('indexOf'), 'always');
+registerMacro('TS.string_startsWith', emitStringMethod('startsWith'), 'always');
+registerMacro('TS.string_endsWith', emitStringMethod('endsWith'), 'always');
+registerMacro('TS.string_padStart', emitStringMethod('padStart'), 'always');
+registerMacro('TS.string_padEnd', emitStringMethod('padEnd'), 'always');
+registerMacro('TS.string_slice', emitStringMethod('slice'), 'always');
+registerMacro('TS.string_substring', emitStringMethod('substring'), 'always');
+registerMacro('TS.string_substr', emitStringMethod('substr'), 'always');
+registerMacro('TS.string_trim', emitStringMethod('trim'), 'always');
+registerMacro('TS.string_trimStart', emitStringMethod('trimStart'), 'always');
+registerMacro('TS.string_trimEnd', emitStringMethod('trimEnd'), 'always');
+registerMacro('TS.string_concat', emitStringMethod('concat'), 'always');
+registerMacro('TS.string_replace', emitStringMethod('replace'), 'always');
+registerMacro('TS.string_replaceAll', emitStringMethod('replaceAll'), 'always');
+registerMacro('TS.string_repeat', emitStringMethod('repeat'), 'always');
+registerMacro('TS.string_toLowerCase', emitStringMethod('toLowerCase'), 'always');
+registerMacro('TS.string_toUpperCase', emitStringMethod('toUpperCase'), 'always');
+// ─── array helpers ─────────────────────────────────────────────────────────
+function emitArrayMethod(method) {
+    return ({ compiledArgs }) => {
+        if (!compiledArgs[0])
+            return undefined;
+        return factory.createCallExpression(factory.createPropertyAccessExpression(compiledArgs[0], factory.createIdentifier(method)), undefined, compiledArgs.slice(1));
+    };
+}
+registerMacro('TS.array_push', emitArrayMethod('push'), 'always');
+registerMacro('TS.array_unshift', emitArrayMethod('unshift'), 'always');
+registerMacro('TS.array_pop', emitArrayMethod('pop'), 'always');
+registerMacro('TS.array_shift', emitArrayMethod('shift'), 'always');
+registerMacro('TS.array_concat', emitArrayMethod('concat'), 'always');
+registerMacro('TS.array_join', emitArrayMethod('join'), 'always');
+registerMacro('TS.array_reverse', emitArrayMethod('reverse'), 'always');
+registerMacro('TS.array_slice', emitArrayMethod('slice'), 'always');
+registerMacro('TS.array_splice', emitArrayMethod('splice'), 'always');
+registerMacro('TS.array_indexOf', emitArrayMethod('indexOf'), 'always');
+registerMacro('TS.array_lastIndexOf', emitArrayMethod('lastIndexOf'), 'always');
+registerMacro('TS.array_includes', emitArrayMethod('includes'), 'always');
+registerMacro('TS.array_find', emitArrayMethod('find'), 'always');
+registerMacro('TS.array_findIndex', emitArrayMethod('findIndex'), 'always');
+registerMacro('TS.array_forEach', emitArrayMethod('forEach'), 'always');
+registerMacro('TS.array_map', emitArrayMethod('map'), 'always');
+registerMacro('TS.array_filter', emitArrayMethod('filter'), 'always');
+registerMacro('TS.array_reduce', emitArrayMethod('reduce'), 'always');
+registerMacro('TS.array_reduceRight', emitArrayMethod('reduceRight'), 'always');
+registerMacro('TS.array_every', emitArrayMethod('every'), 'always');
+registerMacro('TS.array_some', emitArrayMethod('some'), 'always');
+registerMacro('TS.array_sort', emitArrayMethod('sort'), 'always');
+registerMacro('TS.array_flat', emitArrayMethod('flat'), 'always');
+registerMacro('TS.array_flatMap', emitArrayMethod('flatMap'), 'always');
+//# sourceMappingURL=rbxts-runtime.js.map

package/dist/compile/rbxts-runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rbxts-runtime.js","sourceRoot":"","sources":["../../src/compile/rbxts-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAkB,MAAM,mBAAmB,CAAC;AAElE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAEvB,8EAA8E;AAE9E,2EAA2E;AAC3E,kDAAkD;AAClD,aAAa,CACX,UAAU,EACV,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,iEAAiE;IACjE,uEAAuE;IACvE,uCAAuC;IACvC,MAAM,SAAS,GAAG,OAAO,CAAC,0BAA0B,CAClD,SAAS,EACT,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EACjD,MAAM,CACP,CAAC;IACF,OAAO,OAAO,CAAC,6BAA6B,CAC1C,OAAO,CAAC,mBAAmB,CACzB,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,EACpD,SAAS,EACT,CAAC,SAAS,CAAC,EACX,SAAS,EACT,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,EACzD,OAAO,CAAC,oBAAoB,CAC1B,KAAK,EACL,SAAS,EACT,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAChE,CACF,CACF,CAAC;AACJ,CAAC,EACD,QAAQ,CACT,CAAC;AAEF,2CAA2C;AAC3C,aAAa,CACX,UAAU,EACV,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,OAAO,OAAO,CAAC,6BAA6B,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AACjF,CAAC,EACD,QAAQ,CACT,CAAC;AAEF,mEAAmE;AACnE,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AACxE,yDAAyD;AACzD,aAAa,CACX,QAAQ,EACR,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,GAAG,YAAY,CAAC;IACjD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,0EAA0E;IAC1E,IAAI,KAAK,GAAkB,OAAO,CAAC,oBAAoB,CACrD,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,EACnC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CACpC,EACD,SAAS,EACT,EAAE,CACH,EACD,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CACjC,EACD,SAAS,EACT,CAAC,KAAK,CAAC,CACR,CAAC;IACF,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,GAAG,OAAO,CAAC,oBAAoB,CAClC,OAAO,CAAC,8BAA8B,CAAC,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,EAChF,SAAS,EACT,CAAC,OAAO,CAAC,CACV,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,GAAG,OAAO,CAAC,oBAAoB,CAClC,OAAO,CAAC,8BAA8B,CAAC,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,EAClF,SAAS,EACT,CAAC,SAAS,CAAC,CACZ,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,EACD,QAAQ,CACT,CAAC;AAEF,yEAAyE;AACzE,2EAA2E;AAC3E,uEAAuE;AACvE,qEAAqE;AACrE,kDAAkD;AAClD,aAAa,CACX,cAAc,EACd,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAChD,QAAQ,CACT,CAAC;AAEF,8EAA8E;AAE9E,aAAa,CACX,eAAe,EACf,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,YAAY,CAAC;IAC5B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/B,OAAO,OAAO,CAAC,6BAA6B,CAC1C,OAAO,CAAC,sBAAsB,CAC5B,CAAC,EACD,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,EACpD,CAAC,CACF,CACF,CAAC;AACJ,CAAC,EACD,QAAQ,CACT,CAAC;AAEF,uEAAuE;AACvE,0EAA0E;AAC1E,wBAAwB;AACxB,aAAa,CACX,WAAW,EACX,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,wEAAwE;IACxE,mEAAmE;IACnE,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CACpC,CAAC,CAAgB,EAAyB,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CACnE,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7E,OAAO,OAAO,CAAC,6BAA6B,CAC1C,OAAO,CAAC,qBAAqB,CAC3B,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAA6B,EAC5E,SAAS,EACT,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAC1C,CACF,CACF,CAAC;AACJ,CAAC,EACD,QAAQ,CACT,CAAC;AAEF,aAAa,CACX,kBAAkB,EAClB,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE,CAC9B,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAClC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CACnC,EACD,SAAS,EACT,YAAY,CACb,EACH,QAAQ,CACT,CAAC;AAcF,SAAS,SAAS,CAAC,SAA2B;IAC5C,OAAO,CAAC,EAAE,YAAY,EAAqC,EAAE,EAAE;QAC7D,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAChD,IAAI,GAAG,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,GAAG,GAAG,OAAO,CAAC,sBAAsB,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,YAAY,CAAC,CAAC,CAAE,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,OAAO,CAAC,6BAA6B,CAC1C,OAAO,CAAC,sBAAsB,CAC5B,GAAG,EACH,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,sCAAsC,CAAC,EACzE,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAChC,CACF,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,aAAa,CAAC,aAAa,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC3G,aAAa,CAAC,YAAY,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;AACpG,aAAa,CAAC,aAAa,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;AACvG,aAAa,CAAC,eAAe,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;AACpH,aAAa,CAAC,eAAe,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,sCAAsC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;AAErI,0CAA0C;AAC1C,aAAa,CACX,aAAa,EACb,CAAC,EAAE,YAAY,EAAa,EAAE,EAAE;IAC9B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,OAAO,OAAO,CAAC,6BAA6B,CAC1C,OAAO,CAAC,sBAAsB,CAC5B,OAAO,CAAC,2BAA2B,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAC9E,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,sCAAsC,CAAC,EACzE,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAChC,CACF,CAAC;AACJ,CAAC,EACD,QAAQ,CACT,CAAC;AAEF,8EAA8E;AAE9E,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO,CAAC,EAAE,YAAY,EAAqC,EAAE,EAAE,CAC7D,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAChC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CACjC,EACD,SAAS,EACT,YAAY,CACb,CAAC;AACN,CAAC;AAED,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC3D,aAAa,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AAChE,aAAa,CAAC,cAAc,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC9D,aAAa,CAAC,aAAa,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC5D,aAAa,CAAC,aAAa,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC5D,aAAa,CAAC,aAAa,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC5D,aAAa,CAAC,cAAc,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;AAE9D,8EAA8E;AAC9E,4EAA4E;AAC5E,qDAAqD;AAErD,SAAS,gBAAgB,CAAC,MAAc;IACtC,OAAO,CAAC,EAAE,YAAY,EAAqC,EAAE,EAAE;QAC7D,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QACvC,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EACzF,SAAS,EACT,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CACtB,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,aAAa,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AACtE,aAAa,CAAC,oBAAoB,EAAE,gBAAgB,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC5E,aAAa,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC1E,aAAa,CAAC,sBAAsB,EAAE,gBAAgB,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,CAAC;AAChF,aAAa,CAAC,oBAAoB,EAAE,gBAAgB,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC5E,aAAa,CAAC,oBAAoB,EAAE,gBAAgB,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC5E,aAAa,CAAC,kBAAkB,EAAE,gBAAgB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AACxE,aAAa,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AACtE,aAAa,CAAC,qBAAqB,EAAE,gBAAgB,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC9E,aAAa,CAAC,kBAAkB,EAAE,gBAAgB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AACxE,aAAa,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;AACpE,aAAa,CAAC,qBAAqB,EAAE,gBAAgB,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC9E,aAAa,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC1E,aAAa,CAAC,kBAAkB,EAAE,gBAAgB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AACxE,aAAa,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC1E,aAAa,CAAC,sBAAsB,EAAE,gBAAgB,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,CAAC;AAChF,aAAa,CAAC,kBAAkB,EAAE,gBAAgB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AACxE,aAAa,CAAC,uBAAuB,EAAE,gBAAgB,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,CAAC;AAClF,aAAa,CAAC,uBAAuB,EAAE,gBAAgB,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,CAAC;AAElF,8EAA8E;AAE9E,SAAS,eAAe,CAAC,MAAc;IACrC,OAAO,CAAC,EAAE,YAAY,EAAqC,EAAE,EAAE;QAC7D,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QACvC,OAAO,OAAO,CAAC,oBAAoB,CACjC,OAAO,CAAC,8BAA8B,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EACzF,SAAS,EACT,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CACtB,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,aAAa,CAAC,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;AAClE,aAAa,CAAC,kBAAkB,EAAE,eAAe,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;AACxE,aAAa,CAAC,cAAc,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;AAChE,aAAa,CAAC,gBAAgB,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AACpE,aAAa,CAAC,iBAAiB,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AACtE,aAAa,CAAC,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;AAClE,aAAa,CAAC,kBAAkB,EAAE,eAAe,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;AACxE,aAAa,CAAC,gBAAgB,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AACpE,aAAa,CAAC,iBAAiB,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AACtE,aAAa,CAAC,kBAAkB,EAAE,eAAe,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;AACxE,aAAa,CAAC,sBAAsB,EAAE,eAAe,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,CAAC;AAChF,aAAa,CAAC,mBAAmB,EAAE,eAAe,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC1E,aAAa,CAAC,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;AAClE,aAAa,CAAC,oBAAoB,EAAE,eAAe,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC5E,aAAa,CAAC,kBAAkB,EAAE,eAAe,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;AACxE,aAAa,CAAC,cAAc,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;AAChE,aAAa,CAAC,iBAAiB,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AACtE,aAAa,CAAC,iBAAiB,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AACtE,aAAa,CAAC,sBAAsB,EAAE,eAAe,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,CAAC;AAChF,aAAa,CAAC,gBAAgB,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AACpE,aAAa,CAAC,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;AAClE,aAAa,CAAC,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;AAClE,aAAa,CAAC,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;AAClE,aAAa,CAAC,kBAAkB,EAAE,eAAe,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC"}

package/dist/compile/sourcemap.d.ts

@@ -0,0 +1,25 @@
+export interface SourceMapMapping {
+    /** Line in the generated TS (0-indexed). */
+    generatedLine: number;
+    /** Column in the generated TS (0-indexed). */
+    generatedColumn: number;
+    /** Line in the original .luau (0-indexed). */
+    originalLine: number;
+    /** Column in the original .luau (0-indexed). */
+    originalColumn: number;
+}
+export interface SourceMap {
+    version: 3;
+    file: string;
+    sources: [string];
+    sourcesContent: [string];
+    names: [];
+    mappings: string;
+}
+export declare function buildSourceMap(generatedFile: string, originalFile: string, originalContent: string, mappings: SourceMapMapping[]): SourceMap;
+/** Encode a sourcemap as a base64 data URL suitable for appending to TS output.
+ *  Returns a string of the form `// # source` + `MappingURL=data:...` so the
+ *  sourcemap directive is consumed by JS tooling but ignored when this file
+ *  is itself loaded as TypeScript. */
+export declare function inlineSourceMapURL(map: SourceMap): string;
+//# sourceMappingURL=sourcemap.d.ts.map

package/dist/compile/sourcemap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sourcemap.d.ts","sourceRoot":"","sources":["../../src/compile/sourcemap.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,gBAAgB;IAC/B,4CAA4C;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,eAAe,EAAE,MAAM,CAAC;IACxB,8CAA8C;IAC9C,YAAY,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;IAClB,cAAc,EAAE,CAAC,MAAM,CAAC,CAAC;IACzB,KAAK,EAAE,EAAE,CAAC;IACV,QAAQ,EAAE,MAAM,CAAC;CAClB;AAgBD,wBAAgB,cAAc,CAC5B,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,gBAAgB,EAAE,GAC3B,SAAS,CA8CX;AAED;;;sCAGsC;AACtC,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM,CAOzD"}

package/dist/compile/sourcemap.js

@@ -0,0 +1,71 @@
+const BASE64_CHARS = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/';
+function encodeVlqSigned(value) {
+    let v = value < 0 ? (-value << 1) | 1 : value << 1;
+    let out = '';
+    do {
+        let digit = v & 0b11111;
+        v >>>= 5;
+        if (v > 0)
+            digit |= 0b100000; // continuation bit
+        out += BASE64_CHARS[digit];
+    } while (v > 0);
+    return out;
+}
+export function buildSourceMap(generatedFile, originalFile, originalContent, mappings) {
+    // Group by generated line.
+    const lines = new Map();
+    let maxLine = 0;
+    for (const m of mappings) {
+        if (m.generatedLine > maxLine)
+            maxLine = m.generatedLine;
+        let bucket = lines.get(m.generatedLine);
+        if (!bucket) {
+            bucket = [];
+            lines.set(m.generatedLine, bucket);
+        }
+        bucket.push(m);
+    }
+    // VLQ encoding state — last absolute values across mappings.
+    let prevGenCol = 0;
+    let prevOrigLine = 0;
+    let prevOrigCol = 0;
+    const out = [];
+    for (let line = 0; line <= maxLine; line++) {
+        if (line > 0)
+            prevGenCol = 0; // reset gen column at each line
+        const bucket = (lines.get(line) ?? []).sort((a, b) => a.generatedColumn - b.generatedColumn);
+        const segments = [];
+        for (const m of bucket) {
+            let s = '';
+            s += encodeVlqSigned(m.generatedColumn - prevGenCol);
+            s += encodeVlqSigned(0); // source index — only one source
+            s += encodeVlqSigned(m.originalLine - prevOrigLine);
+            s += encodeVlqSigned(m.originalColumn - prevOrigCol);
+            segments.push(s);
+            prevGenCol = m.generatedColumn;
+            prevOrigLine = m.originalLine;
+            prevOrigCol = m.originalColumn;
+        }
+        out.push(segments.join(','));
+    }
+    return {
+        version: 3,
+        file: generatedFile,
+        sources: [originalFile],
+        sourcesContent: [originalContent],
+        names: [],
+        mappings: out.join(';'),
+    };
+}
+/** Encode a sourcemap as a base64 data URL suitable for appending to TS output.
+ *  Returns a string of the form `// # source` + `MappingURL=data:...` so the
+ *  sourcemap directive is consumed by JS tooling but ignored when this file
+ *  is itself loaded as TypeScript. */
+export function inlineSourceMapURL(map) {
+    const json = JSON.stringify(map);
+    const base64 = typeof Buffer !== 'undefined'
+        ? Buffer.from(json, 'utf8').toString('base64')
+        : btoa(unescape(encodeURIComponent(json)));
+    return `//# sourceMappingURL=data:application/json;base64,${base64}\n`;
+}
+//# sourceMappingURL=sourcemap.js.map

package/dist/compile/sourcemap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sourcemap.js","sourceRoot":"","sources":["../../src/compile/sourcemap.ts"],"names":[],"mappings":"AAoBA,MAAM,YAAY,GAAG,kEAAkE,CAAC;AAExF,SAAS,eAAe,CAAC,KAAa;IACpC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IACnD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,GAAG,CAAC;QACF,IAAI,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC;QACxB,CAAC,MAAM,CAAC,CAAC;QACT,IAAI,CAAC,GAAG,CAAC;YAAE,KAAK,IAAI,QAAQ,CAAC,CAAC,mBAAmB;QACjD,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE;IAChB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,aAAqB,EACrB,YAAoB,EACpB,eAAuB,EACvB,QAA4B;IAE5B,2BAA2B;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;IACpD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,aAAa,GAAG,OAAO;YAAE,OAAO,GAAG,CAAC,CAAC,aAAa,CAAC;QACzD,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,EAAE,CAAC;YACZ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IAED,6DAA6D;IAC7D,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,IAAI,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,IAAI,GAAG,CAAC;YAAE,UAAU,GAAG,CAAC,CAAC,CAAC,gCAAgC;QAC9D,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC;QAC7F,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,GAAG,EAAE,CAAC;YACX,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,eAAe,GAAG,UAAU,CAAC,CAAC;YACrD,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC;YAC1D,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,YAAY,GAAG,YAAY,CAAC,CAAC;YACpD,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,cAAc,GAAG,WAAW,CAAC,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,UAAU,GAAG,CAAC,CAAC,eAAe,CAAC;YAC/B,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;YAC9B,WAAW,GAAG,CAAC,CAAC,cAAc,CAAC;QACjC,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,CAAC,YAAY,CAAC;QACvB,cAAc,EAAE,CAAC,eAAe,CAAC;QACjC,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;KACxB,CAAC;AACJ,CAAC;AAED;;;sCAGsC;AACtC,MAAM,UAAU,kBAAkB,CAAC,GAAc;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,MAAM,GACV,OAAO,MAAM,KAAK,WAAW;QAC3B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC9C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,OAAO,qDAAqD,MAAM,IAAI,CAAC;AACzE,CAAC"}

package/dist/compile/type.d.ts

@@ -0,0 +1,6 @@
+import ts from 'typescript';
+import type { TypeNode, TypePack } from '../parser/index.js';
+export declare function compileType(t: TypeNode | null | undefined): ts.TypeNode;
+/** Compile a type-pack into a single TS type usable as a return type. */
+export declare function compileTypePack(pack: TypePack | null): ts.TypeNode;
+//# sourceMappingURL=type.d.ts.map

package/dist/compile/type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type.d.ts","sourceRoot":"","sources":["../../src/compile/type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAEV,QAAQ,EACR,QAAQ,EAGT,MAAM,oBAAoB,CAAC;AAc5B,wBAAgB,WAAW,CAAC,CAAC,EAAE,QAAQ,GAAG,IAAI,GAAG,SAAS,GAAG,EAAE,CAAC,QAAQ,CAmCvE;AA6FD,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC,QAAQ,CAkBlE"}

package/dist/compile/type.js

@@ -0,0 +1,122 @@
+import ts from 'typescript';
+const { factory } = ts;
+const PRIMITIVE_TYPE_NAMES = {
+    number: ts.SyntaxKind.NumberKeyword,
+    string: ts.SyntaxKind.StringKeyword,
+    boolean: ts.SyntaxKind.BooleanKeyword,
+    any: ts.SyntaxKind.AnyKeyword,
+    unknown: ts.SyntaxKind.UnknownKeyword,
+    never: ts.SyntaxKind.NeverKeyword,
+    void: ts.SyntaxKind.VoidKeyword,
+};
+export function compileType(t) {
+    if (!t)
+        return factory.createKeywordTypeNode(ts.SyntaxKind.UnknownKeyword);
+    switch (t.type) {
+        case 'TypeReference':
+            return compileTypeReference(t);
+        case 'TypeOptional':
+            // Bare `?` — only appears as part of `T?` desugared into `T | nil` by
+            // the parser, so this case usually rides inside a TypeUnion. Emit `null`.
+            return factory.createLiteralTypeNode(factory.createNull());
+        case 'TypeUnion':
+            return factory.createUnionTypeNode(t.types.map(compileType));
+        case 'TypeIntersection':
+            return factory.createIntersectionTypeNode(t.types.map(compileType));
+        case 'TypeTypeof':
+            // `typeof x` — emit a typeof query node referencing the expression's
+            // identifier when possible.
+            if (t.expr.type === 'Local' || t.expr.type === 'Global') {
+                return factory.createTypeQueryNode(factory.createIdentifier(t.expr.name));
+            }
+            return factory.createKeywordTypeNode(ts.SyntaxKind.UnknownKeyword);
+        case 'TypeSingletonBool':
+            return factory.createLiteralTypeNode(t.value ? factory.createTrue() : factory.createFalse());
+        case 'TypeSingletonString':
+            return factory.createLiteralTypeNode(factory.createStringLiteral(t.value));
+        case 'TypeGroup':
+            return factory.createParenthesizedType(compileType(t.groupType));
+        case 'TypeTable':
+            return compileTypeTable(t);
+        case 'TypeFunction':
+            return compileTypeFunction(t);
+        case 'TypeError':
+        case 'UnknownType':
+        default:
+            return factory.createKeywordTypeNode(ts.SyntaxKind.UnknownKeyword);
+    }
+}
+function compileTypeReference(t) {
+    if (t.name === 'nil')
+        return factory.createLiteralTypeNode(factory.createNull());
+    const kw = PRIMITIVE_TYPE_NAMES[t.name];
+    if (kw !== undefined && !t.prefix && t.parameters.length === 0) {
+        return factory.createKeywordTypeNode(kw);
+    }
+    const name = t.prefix
+        ? factory.createQualifiedName(factory.createIdentifier(t.prefix), t.name)
+        : factory.createIdentifier(t.name);
+    const typeArgs = t.parameters
+        .map((p) => {
+        if (!p)
+            return undefined;
+        if (p.kind === 'type')
+            return compileType(p.value);
+        // Type-pack parameters (rare in our scope) — fall through to unknown.
+        return factory.createKeywordTypeNode(ts.SyntaxKind.UnknownKeyword);
+    })
+        .filter((x) => x !== undefined);
+    return factory.createTypeReferenceNode(name, typeArgs.length > 0 ? typeArgs : undefined);
+}
+function compileTypeTable(t) {
+    const members = [];
+    for (const prop of t.props) {
+        members.push(factory.createPropertySignature(undefined, factory.createIdentifier(prop.name), undefined, compileType(prop.propType)));
+    }
+    if (t.indexer) {
+        members.push(factory.createIndexSignature(undefined, [
+            factory.createParameterDeclaration(undefined, undefined, factory.createIdentifier('key'), undefined, compileType(t.indexer.indexType)),
+        ], compileType(t.indexer.resultType)));
+    }
+    return factory.createTypeLiteralNode(members);
+}
+function compileTypeFunction(t) {
+    const params = [];
+    for (let i = 0; i < t.argTypes.types.length; i += 1) {
+        const argType = t.argTypes.types[i];
+        const argName = t.argNames[i];
+        params.push(factory.createParameterDeclaration(undefined, undefined, factory.createIdentifier(argName?.name ?? `arg${i}`), undefined, compileType(argType)));
+    }
+    if (t.argTypes.tailType) {
+        const tail = t.argTypes.tailType;
+        const restType = tail.type === 'TypePackVariadic'
+            ? factory.createArrayTypeNode(compileType(tail.variadicType))
+            : factory.createArrayTypeNode(factory.createKeywordTypeNode(ts.SyntaxKind.UnknownKeyword));
+        params.push(factory.createParameterDeclaration(undefined, factory.createToken(ts.SyntaxKind.DotDotDotToken), factory.createIdentifier('rest'), undefined, restType));
+    }
+    const ret = compileTypePack(t.returnTypes);
+    return factory.createFunctionTypeNode(undefined, params, ret);
+}
+/** Compile a type-pack into a single TS type usable as a return type. */
+export function compileTypePack(pack) {
+    if (!pack)
+        return factory.createKeywordTypeNode(ts.SyntaxKind.VoidKeyword);
+    switch (pack.type) {
+        case 'TypePackExplicit': {
+            const types = pack.typeList.types;
+            if (types.length === 0 && !pack.typeList.tailType) {
+                return factory.createKeywordTypeNode(ts.SyntaxKind.VoidKeyword);
+            }
+            if (types.length === 1 && !pack.typeList.tailType)
+                return compileType(types[0]);
+            return factory.createTupleTypeNode(types.map(compileType));
+        }
+        case 'TypePackVariadic':
+            return factory.createArrayTypeNode(compileType(pack.variadicType));
+        case 'TypePackGeneric':
+            return factory.createTypeReferenceNode(pack.genericName);
+        default:
+            return factory.createKeywordTypeNode(ts.SyntaxKind.UnknownKeyword);
+    }
+}
+//# sourceMappingURL=type.js.map

package/dist/compile/type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type.js","sourceRoot":"","sources":["../../src/compile/type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAS5B,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAEvB,MAAM,oBAAoB,GAA6C;IACrE,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa;IACnC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa;IACnC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc;IACrC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU;IAC7B,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc;IACrC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY;IACjC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW;CAChC,CAAC;AAEF,MAAM,UAAU,WAAW,CAAC,CAA8B;IACxD,IAAI,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IAC3E,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,eAAe;YAClB,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,cAAc;YACjB,sEAAsE;YACtE,0EAA0E;YAC1E,OAAO,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;QAC7D,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;QAC/D,KAAK,kBAAkB;YACrB,OAAO,OAAO,CAAC,0BAA0B,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;QACtE,KAAK,YAAY;YACf,qEAAqE;YACrE,4BAA4B;YAC5B,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxD,OAAO,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5E,CAAC;YACD,OAAO,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QACrE,KAAK,mBAAmB;YACtB,OAAO,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/F,KAAK,qBAAqB;YACxB,OAAO,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7E,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,uBAAuB,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACnE,KAAK,WAAW;YACd,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC7B,KAAK,cAAc;YACjB,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB;YACE,OAAO,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,CAAoB;IAChD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAEjF,MAAM,EAAE,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,OAAO,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM;QACnB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QACzE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAErC,MAAM,QAAQ,GAAG,CAAC,CAAC,UAAU;SAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,IAAI,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnD,sEAAsE;QACtE,OAAO,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IACrE,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAEpD,OAAO,OAAO,CAAC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAgB;IACxC,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CACV,OAAO,CAAC,uBAAuB,CAC7B,SAAS,EACT,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EACnC,SAAS,EACT,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAC3B,CACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,OAAO,CAAC,IAAI,CACV,OAAO,CAAC,oBAAoB,CAC1B,SAAS,EACT;YACE,OAAO,CAAC,0BAA0B,CAChC,SAAS,EACT,SAAS,EACT,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAC/B,SAAS,EACT,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CACjC;SACF,EACD,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAClC,CACF,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAmB;IAC9C,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QACrC,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,IAAI,CACT,OAAO,CAAC,0BAA0B,CAChC,SAAS,EACT,SAAS,EACT,OAAO,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,IAAI,MAAM,CAAC,EAAE,CAAC,EACpD,SAAS,EACT,WAAW,CAAC,OAAO,CAAC,CACrB,CACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACjC,MAAM,QAAQ,GACZ,IAAI,CAAC,IAAI,KAAK,kBAAkB;YAC9B,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC7D,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;QAC/F,MAAM,CAAC,IAAI,CACT,OAAO,CAAC,0BAA0B,CAChC,SAAS,EACT,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EACjD,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAChC,SAAS,EACT,QAAQ,CACT,CACF,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAC3C,OAAO,OAAO,CAAC,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,IAAqB;IACnD,IAAI,CAAC,IAAI;QAAE,OAAO,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC3E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAClC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAClD,OAAO,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;YAClE,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBAAE,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;YACjF,OAAO,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7D,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,OAAO,CAAC,mBAAmB,CAAC,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QACrE,KAAK,iBAAiB;YACpB,OAAO,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3D;YACE,OAAO,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IACvE,CAAC;AACH,CAAC"}