@tsonic/emitter 0.0.1 → 0.0.3

package/dist/specialization/call-site-rewriting.test.js

@@ -0,0 +1,92 @@
+/**
+ * Tests for Call-Site Rewriting
+ * Covers spec/15-generics.md §5 - Call-Site Rewriting and Monomorphisation
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../emitter.js";
+describe("Call-Site Rewriting (spec/15 §5)", () => {
+    it("should emit call with explicit type arguments", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/main.ts",
+            namespace: "MyApp",
+            className: "main",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: {
+                                    kind: "call",
+                                    callee: { kind: "identifier", name: "identity" },
+                                    arguments: [{ kind: "literal", value: "hello" }],
+                                    isOptional: false,
+                                    typeArguments: [{ kind: "primitiveType", name: "string" }],
+                                    requiresSpecialization: false,
+                                },
+                            },
+                        ],
+                    },
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("identity<string>(");
+    });
+    it("should emit specialized call when requiresSpecialization is true", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/main.ts",
+            namespace: "MyApp",
+            className: "main",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: {
+                                    kind: "call",
+                                    callee: { kind: "identifier", name: "process" },
+                                    arguments: [{ kind: "literal", value: "data" }],
+                                    isOptional: false,
+                                    typeArguments: [{ kind: "primitiveType", name: "string" }],
+                                    requiresSpecialization: true,
+                                },
+                            },
+                        ],
+                    },
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Should generate specialized name
+        expect(result).to.include("process__string(");
+        expect(result).not.to.include("process<string>(");
+    });
+});
+//# sourceMappingURL=call-site-rewriting.test.js.map

package/dist/specialization/call-site-rewriting.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-rewriting.test.js","sourceRoot":"","sources":["../../src/specialization/call-site-rewriting.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE;oCACV,IAAI,EAAE,MAAM;oCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE;oCAChD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;oCAChD,UAAU,EAAE,KAAK;oCACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;oCAC1D,sBAAsB,EAAE,KAAK;iCAC9B;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE;oCACV,IAAI,EAAE,MAAM;oCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;oCAC/C,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;oCAC/C,UAAU,EAAE,KAAK;oCACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;oCAC1D,sBAAsB,EAAE,IAAI;iCAC7B;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,mCAAmC;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/specialization/collection/expressions.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Specialization collection from expressions
+ */
+import { IrModule, IrExpression } from "@tsonic/frontend";
+import { SpecializationRequest } from "../types.js";
+/**
+ * Collect specializations from an expression
+ */
+export declare const collectFromExpression: (expr: IrExpression, requests: SpecializationRequest[], seen: Set<string>, module: IrModule) => void;
+//# sourceMappingURL=expressions.d.ts.map

package/dist/specialization/collection/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/specialization/collection/expressions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,QAAQ,EACR,YAAY,EAGb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAIpD;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,YAAY,EAClB,UAAU,qBAAqB,EAAE,EACjC,MAAM,GAAG,CAAC,MAAM,CAAC,EACjB,QAAQ,QAAQ,KACf,IAiKF,CAAC"}

package/dist/specialization/collection/expressions.js

@@ -0,0 +1,142 @@
+/**
+ * Specialization collection from expressions
+ */
+import { createSpecializationKey } from "../helpers.js";
+import { collectFromStatement } from "./statements.js";
+/**
+ * Collect specializations from an expression
+ */
+export const collectFromExpression = (expr, requests, seen, module) => {
+    switch (expr.kind) {
+        case "call":
+            // Check if this call requires specialization
+            if (expr.requiresSpecialization &&
+                expr.typeArguments &&
+                expr.typeArguments.length > 0) {
+                // Get function name from callee
+                if (expr.callee.kind === "identifier") {
+                    const funcName = expr.callee.name;
+                    const key = createSpecializationKey(funcName, expr.typeArguments);
+                    if (!seen.has(key)) {
+                        seen.add(key);
+                        // Find the function declaration in the module
+                        const funcDecl = module.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === funcName);
+                        if (funcDecl) {
+                            requests.push({
+                                kind: "function",
+                                name: funcName,
+                                typeArguments: expr.typeArguments,
+                                declaration: funcDecl,
+                            });
+                        }
+                    }
+                }
+            }
+            // Recurse into callee and arguments
+            collectFromExpression(expr.callee, requests, seen, module);
+            for (const arg of expr.arguments) {
+                if (arg.kind !== "spread") {
+                    collectFromExpression(arg, requests, seen, module);
+                }
+            }
+            break;
+        case "new":
+            // Check if this constructor call requires specialization
+            if (expr.requiresSpecialization &&
+                expr.typeArguments &&
+                expr.typeArguments.length > 0) {
+                if (expr.callee.kind === "identifier") {
+                    const className = expr.callee.name;
+                    const key = createSpecializationKey(className, expr.typeArguments);
+                    if (!seen.has(key)) {
+                        seen.add(key);
+                        // Find the class declaration in the module
+                        const classDecl = module.body.find((stmt) => stmt.kind === "classDeclaration" && stmt.name === className);
+                        if (classDecl) {
+                            requests.push({
+                                kind: "class",
+                                name: className,
+                                typeArguments: expr.typeArguments,
+                                declaration: classDecl,
+                            });
+                        }
+                    }
+                }
+            }
+            // Recurse into callee and arguments
+            collectFromExpression(expr.callee, requests, seen, module);
+            for (const arg of expr.arguments) {
+                if (arg.kind !== "spread") {
+                    collectFromExpression(arg, requests, seen, module);
+                }
+            }
+            break;
+        case "binary":
+        case "logical":
+            collectFromExpression(expr.left, requests, seen, module);
+            collectFromExpression(expr.right, requests, seen, module);
+            break;
+        case "unary":
+        case "update":
+        case "await":
+            collectFromExpression(expr.expression, requests, seen, module);
+            break;
+        case "assignment":
+            if ("kind" in expr.left) {
+                collectFromExpression(expr.left, requests, seen, module);
+            }
+            collectFromExpression(expr.right, requests, seen, module);
+            break;
+        case "conditional":
+            collectFromExpression(expr.condition, requests, seen, module);
+            collectFromExpression(expr.whenTrue, requests, seen, module);
+            collectFromExpression(expr.whenFalse, requests, seen, module);
+            break;
+        case "memberAccess":
+            collectFromExpression(expr.object, requests, seen, module);
+            if (typeof expr.property !== "string") {
+                collectFromExpression(expr.property, requests, seen, module);
+            }
+            break;
+        case "array":
+            for (const elem of expr.elements) {
+                if (elem === undefined)
+                    continue;
+                if ("kind" in elem && elem.kind === "spread") {
+                    collectFromExpression(elem.expression, requests, seen, module);
+                }
+                else {
+                    collectFromExpression(elem, requests, seen, module);
+                }
+            }
+            break;
+        case "object":
+            for (const prop of expr.properties) {
+                if (prop.kind === "property") {
+                    if (typeof prop.key !== "string") {
+                        collectFromExpression(prop.key, requests, seen, module);
+                    }
+                    collectFromExpression(prop.value, requests, seen, module);
+                }
+                else if (prop.kind === "spread") {
+                    collectFromExpression(prop.expression, requests, seen, module);
+                }
+            }
+            break;
+        case "arrowFunction":
+        case "functionExpression":
+            if (typeof expr.body === "object" && "kind" in expr.body) {
+                if (expr.body.kind === "blockStatement") {
+                    collectFromStatement(expr.body, requests, seen, module);
+                }
+                else {
+                    collectFromExpression(expr.body, requests, seen, module);
+                }
+            }
+            break;
+        // Literals, identifiers, etc. don't contain expressions
+        default:
+            break;
+    }
+};
+//# sourceMappingURL=expressions.js.map

package/dist/specialization/collection/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/specialization/collection/expressions.ts"],"names":[],"mappings":"AAAA;;GAEG;AASH,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEvD;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAkB,EAClB,QAAiC,EACjC,IAAiB,EACjB,MAAgB,EACV,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,6CAA6C;YAC7C,IACE,IAAI,CAAC,sBAAsB;gBAC3B,IAAI,CAAC,aAAa;gBAClB,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAC7B,CAAC;gBACD,gCAAgC;gBAChC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;oBAClC,MAAM,GAAG,GAAG,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;oBAElE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAEd,8CAA8C;wBAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAC/B,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC3B,CAAC;wBAEvC,IAAI,QAAQ,EAAE,CAAC;4BACb,QAAQ,CAAC,IAAI,CAAC;gCACZ,IAAI,EAAE,UAAU;gCAChB,IAAI,EAAE,QAAQ;gCACd,aAAa,EAAE,IAAI,CAAC,aAAa;gCACjC,WAAW,EAAE,QAAQ;6BACtB,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,oCAAoC;YACpC,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,qBAAqB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;YACD,MAAM;QAER,KAAK,KAAK;YACR,yDAAyD;YACzD,IACE,IAAI,CAAC,sBAAsB;gBAC3B,IAAI,CAAC,aAAa;gBAClB,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAC7B,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACtC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;oBACnC,MAAM,GAAG,GAAG,uBAAuB,CAAC,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;oBAEnE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAEd,2CAA2C;wBAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAChC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;wBAEpC,IAAI,SAAS,EAAE,CAAC;4BACd,QAAQ,CAAC,IAAI,CAAC;gCACZ,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,SAAS;gCACf,aAAa,EAAE,IAAI,CAAC,aAAa;gCACjC,WAAW,EAAE,SAAS;6BACvB,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,oCAAoC;YACpC,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,qBAAqB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;YACD,MAAM;QAER,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACzD,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM;QAER,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC/D,MAAM;QAER,KAAK,YAAY;YACf,IAAI,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxB,qBAAqB,CACnB,IAAI,CAAC,IAAoB,EACzB,QAAQ,EACR,IAAI,EACJ,MAAM,CACP,CAAC;YACJ,CAAC;YACD,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM;QAER,KAAK,aAAa;YAChB,qBAAqB,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC9D,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC7D,qBAAqB,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC9D,MAAM;QAER,KAAK,cAAc;YACjB,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3D,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACtC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC/D,CAAC;YACD,MAAM;QAER,KAAK,OAAO;YACV,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACjC,IAAI,IAAI,KAAK,SAAS;oBAAE,SAAS;gBACjC,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7C,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBACjE,CAAC;qBAAM,CAAC;oBACN,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBACtD,CAAC;YACH,CAAC;YACD,MAAM;QAER,KAAK,QAAQ;YACX,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC7B,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;wBACjC,qBAAqB,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC1D,CAAC;oBACD,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC5D,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAClC,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;YACD,MAAM;QAER,KAAK,eAAe,CAAC;QACrB,KAAK,oBAAoB;YACvB,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACzD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBACxC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC1D,CAAC;qBAAM,CAAC;oBACN,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC;YACD,MAAM;QAER,wDAAwD;QACxD;YACE,MAAM;IACV,CAAC;AACH,CAAC,CAAC"}

package/dist/specialization/collection/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Specialization collection - Public API
+ */
+export { collectSpecializations } from "./orchestrator.js";
+export { collectFromStatement } from "./statements.js";
+export { collectFromExpression } from "./expressions.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/specialization/collection/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/specialization/collection/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC"}

package/{src/specialization/collection/index.ts → dist/specialization/collection/index.js}

@@ -1,7 +1,7 @@
 /**
  * Specialization collection - Public API
  */
-
 export { collectSpecializations } from "./orchestrator.js";
 export { collectFromStatement } from "./statements.js";
 export { collectFromExpression } from "./expressions.js";
+//# sourceMappingURL=index.js.map

package/dist/specialization/collection/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/specialization/collection/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/specialization/collection/orchestrator.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Main specialization collection orchestration
+ */
+import { IrModule } from "@tsonic/frontend";
+import { SpecializationRequest } from "../types.js";
+/**
+ * Collect all specialization requests from a module
+ * Walks the IR tree looking for calls/news with requiresSpecialization flag
+ */
+export declare const collectSpecializations: (module: IrModule) => readonly SpecializationRequest[];
+//# sourceMappingURL=orchestrator.d.ts.map

package/dist/specialization/collection/orchestrator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../src/specialization/collection/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAGpD;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GACjC,QAAQ,QAAQ,KACf,SAAS,qBAAqB,EAUhC,CAAC"}

package/dist/specialization/collection/orchestrator.js

@@ -0,0 +1,18 @@
+/**
+ * Main specialization collection orchestration
+ */
+import { collectFromStatement } from "./statements.js";
+/**
+ * Collect all specialization requests from a module
+ * Walks the IR tree looking for calls/news with requiresSpecialization flag
+ */
+export const collectSpecializations = (module) => {
+    const requests = [];
+    const seen = new Set(); // Avoid duplicates
+    // Walk through all statements and expressions to find specialization needs
+    for (const stmt of module.body) {
+        collectFromStatement(stmt, requests, seen, module);
+    }
+    return requests;
+};
+//# sourceMappingURL=orchestrator.js.map

package/dist/specialization/collection/orchestrator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../../src/specialization/collection/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEvD;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,MAAgB,EACkB,EAAE;IACpC,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC,CAAC,mBAAmB;IAEnD,2EAA2E;IAC3E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}

package/dist/specialization/collection/statements.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Specialization collection from statements
+ */
+import { IrModule, IrStatement } from "@tsonic/frontend";
+import { SpecializationRequest } from "../types.js";
+/**
+ * Collect specializations from a statement
+ */
+export declare const collectFromStatement: (stmt: IrStatement, requests: SpecializationRequest[], seen: Set<string>, module: IrModule) => void;
+//# sourceMappingURL=statements.d.ts.map

package/dist/specialization/collection/statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/specialization/collection/statements.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAGpD;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,WAAW,EACjB,UAAU,qBAAqB,EAAE,EACjC,MAAM,GAAG,CAAC,MAAM,CAAC,EACjB,QAAQ,QAAQ,KACf,IA0EF,CAAC"}

package/dist/specialization/collection/statements.js

@@ -0,0 +1,75 @@
+/**
+ * Specialization collection from statements
+ */
+import { collectFromExpression } from "./expressions.js";
+/**
+ * Collect specializations from a statement
+ */
+export const collectFromStatement = (stmt, requests, seen, module) => {
+    switch (stmt.kind) {
+        case "expressionStatement":
+            collectFromExpression(stmt.expression, requests, seen, module);
+            break;
+        case "variableDeclaration":
+            for (const decl of stmt.declarations) {
+                if (decl.initializer) {
+                    collectFromExpression(decl.initializer, requests, seen, module);
+                }
+            }
+            break;
+        case "returnStatement":
+            if (stmt.expression) {
+                collectFromExpression(stmt.expression, requests, seen, module);
+            }
+            break;
+        case "ifStatement":
+            collectFromExpression(stmt.condition, requests, seen, module);
+            collectFromStatement(stmt.thenStatement, requests, seen, module);
+            if (stmt.elseStatement) {
+                collectFromStatement(stmt.elseStatement, requests, seen, module);
+            }
+            break;
+        case "blockStatement":
+            for (const s of stmt.statements) {
+                collectFromStatement(s, requests, seen, module);
+            }
+            break;
+        case "whileStatement":
+            collectFromExpression(stmt.condition, requests, seen, module);
+            collectFromStatement(stmt.body, requests, seen, module);
+            break;
+        case "forStatement":
+            if (stmt.initializer) {
+                if (stmt.initializer.kind === "variableDeclaration") {
+                    collectFromStatement(stmt.initializer, requests, seen, module);
+                }
+                else {
+                    collectFromExpression(stmt.initializer, requests, seen, module);
+                }
+            }
+            if (stmt.condition) {
+                collectFromExpression(stmt.condition, requests, seen, module);
+            }
+            if (stmt.update) {
+                collectFromExpression(stmt.update, requests, seen, module);
+            }
+            collectFromStatement(stmt.body, requests, seen, module);
+            break;
+        case "functionDeclaration":
+            if (stmt.body) {
+                collectFromStatement(stmt.body, requests, seen, module);
+            }
+            break;
+        case "classDeclaration":
+            for (const member of stmt.members) {
+                if (member.kind === "methodDeclaration" && member.body) {
+                    collectFromStatement(member.body, requests, seen, module);
+                }
+            }
+            break;
+        // Other statement types don't contain expressions
+        default:
+            break;
+    }
+};
+//# sourceMappingURL=statements.js.map

package/dist/specialization/collection/statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/specialization/collection/statements.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAEzD;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAiB,EACjB,QAAiC,EACjC,IAAiB,EACjB,MAAgB,EACV,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC/D,MAAM;QAER,KAAK,qBAAqB;YACxB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC;YACD,MAAM;QAER,KAAK,iBAAiB;YACpB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACjE,CAAC;YACD,MAAM;QAER,KAAK,aAAa;YAChB,qBAAqB,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC9D,oBAAoB,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACjE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,oBAAoB,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACnE,CAAC;YACD,MAAM;QAER,KAAK,gBAAgB;YACnB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,oBAAoB,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAClD,CAAC;YACD,MAAM;QAER,KAAK,gBAAgB;YACnB,qBAAqB,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC9D,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACxD,MAAM;QAER,KAAK,cAAc;YACjB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACpD,oBAAoB,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBACjE,CAAC;qBAAM,CAAC;oBACN,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,qBAAqB,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAChE,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC7D,CAAC;YACD,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACxD,MAAM;QAER,KAAK,qBAAqB;YACxB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1D,CAAC;YACD,MAAM;QAER,KAAK,kBAAkB;YACrB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBACvD,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;YACD,MAAM;QAER,kDAAkD;QAClD;YACE,MAAM;IACV,CAAC;AACH,CAAC,CAAC"}

package/dist/specialization/collection.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Collect specialization requests from IR
+ * Main dispatcher - re-exports from collection/ subdirectory
+ */
+export { collectSpecializations, collectFromStatement, collectFromExpression, } from "./collection/index.js";
+//# sourceMappingURL=collection.d.ts.map

package/dist/specialization/collection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../../src/specialization/collection.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC"}

package/dist/specialization/collection.js

@@ -0,0 +1,6 @@
+/**
+ * Collect specialization requests from IR
+ * Main dispatcher - re-exports from collection/ subdirectory
+ */
+export { collectSpecializations, collectFromStatement, collectFromExpression, } from "./collection/index.js";
+//# sourceMappingURL=collection.js.map

package/dist/specialization/collection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection.js","sourceRoot":"","sources":["../../src/specialization/collection.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC"}

package/dist/specialization/generation.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Generate specialized declarations from requests
+ */
+import { EmitterContext } from "../types.js";
+import { SpecializationRequest } from "./types.js";
+/**
+ * Generate specialized declarations from requests
+ * Returns C# code for the specialized declarations
+ */
+export declare const generateSpecializations: (requests: readonly SpecializationRequest[], context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=generation.d.ts.map

package/dist/specialization/generation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generation.d.ts","sourceRoot":"","sources":["../../src/specialization/generation.ts"],"names":[],"mappings":"AAAA;;GAEG;AAQH,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAWnD;;;GAGG;AACH,eAAO,MAAM,uBAAuB,GAClC,UAAU,SAAS,qBAAqB,EAAE,EAC1C,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CA2BzB,CAAC"}

package/dist/specialization/generation.js

@@ -0,0 +1,137 @@
+/**
+ * Generate specialized declarations from requests
+ */
+import { emitStatement } from "../statement-emitter.js";
+import { generateSpecializedFunctionName, generateSpecializedClassName, } from "./naming.js";
+import { substituteType, substituteStatement, substituteExpression, } from "./substitution.js";
+/**
+ * Generate specialized declarations from requests
+ * Returns C# code for the specialized declarations
+ */
+export const generateSpecializations = (requests, context) => {
+    if (requests.length === 0) {
+        return ["", context];
+    }
+    const parts = [];
+    let currentContext = context;
+    for (const request of requests) {
+        if (request.kind === "function") {
+            const [code, newContext] = generateSpecializedFunction(request, currentContext);
+            parts.push(code);
+            currentContext = newContext;
+        }
+        else if (request.kind === "class") {
+            const [code, newContext] = generateSpecializedClass(request, currentContext);
+            parts.push(code);
+            currentContext = newContext;
+        }
+    }
+    return [parts.join("\n\n"), currentContext];
+};
+/**
+ * Generate a specialized function by substituting type parameters
+ */
+const generateSpecializedFunction = (request, context) => {
+    const funcDecl = request.declaration;
+    // Create type substitution map
+    const substitutions = new Map();
+    if (funcDecl.typeParameters) {
+        funcDecl.typeParameters.forEach((tp, index) => {
+            const typeArg = request.typeArguments[index];
+            if (typeArg) {
+                substitutions.set(tp.name, typeArg);
+            }
+        });
+    }
+    // Substitute types in the function declaration
+    const specializedDecl = {
+        ...funcDecl,
+        name: generateSpecializedFunctionName(funcDecl.name, request.typeArguments),
+        typeParameters: undefined, // Remove type parameters
+        parameters: funcDecl.parameters.map((param) => ({
+            ...param,
+            type: param.type ? substituteType(param.type, substitutions) : undefined,
+        })),
+        returnType: funcDecl.returnType
+            ? substituteType(funcDecl.returnType, substitutions)
+            : undefined,
+        body: substituteStatement(funcDecl.body, substitutions),
+    };
+    // Emit the specialized function using the statement emitter
+    return emitStatement(specializedDecl, context);
+};
+/**
+ * Generate a specialized class by substituting type parameters
+ */
+const generateSpecializedClass = (request, context) => {
+    const classDecl = request.declaration;
+    // Create type substitution map
+    const substitutions = new Map();
+    if (classDecl.typeParameters) {
+        classDecl.typeParameters.forEach((tp, index) => {
+            const typeArg = request.typeArguments[index];
+            if (typeArg) {
+                substitutions.set(tp.name, typeArg);
+            }
+        });
+    }
+    // Generate specialized class name
+    const specializedName = generateSpecializedClassName(classDecl.name, request.typeArguments);
+    // Substitute types in class members
+    const specializedMembers = classDecl.members.map((member) => {
+        if (member.kind === "propertyDeclaration") {
+            return {
+                ...member,
+                type: member.type
+                    ? substituteType(member.type, substitutions)
+                    : undefined,
+            };
+        }
+        else if (member.kind === "methodDeclaration") {
+            return {
+                ...member,
+                parameters: member.parameters.map((param) => ({
+                    ...param,
+                    type: param.type
+                        ? substituteType(param.type, substitutions)
+                        : undefined,
+                })),
+                returnType: member.returnType
+                    ? substituteType(member.returnType, substitutions)
+                    : undefined,
+                body: member.body
+                    ? substituteStatement(member.body, substitutions)
+                    : undefined,
+            };
+        }
+        else if (member.kind === "constructorDeclaration") {
+            return {
+                ...member,
+                parameters: member.parameters.map((param) => ({
+                    ...param,
+                    type: param.type
+                        ? substituteType(param.type, substitutions)
+                        : undefined,
+                })),
+                body: member.body
+                    ? substituteStatement(member.body, substitutions)
+                    : undefined,
+            };
+        }
+        return member;
+    });
+    // Create specialized class declaration
+    const specializedDecl = {
+        ...classDecl,
+        name: specializedName,
+        typeParameters: undefined, // Remove type parameters
+        members: specializedMembers,
+        superClass: classDecl.superClass
+            ? substituteExpression(classDecl.superClass, substitutions)
+            : undefined,
+        implements: classDecl.implements.map((iface) => substituteType(iface, substitutions)),
+    };
+    // Emit the specialized class using the statement emitter
+    return emitStatement(specializedDecl, context);
+};
+//# sourceMappingURL=generation.js.map

package/dist/specialization/generation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generation.js","sourceRoot":"","sources":["../../src/specialization/generation.ts"],"names":[],"mappings":"AAAA;;GAEG;AASH,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EACL,+BAA+B,EAC/B,4BAA4B,GAC7B,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,mBAAmB,CAAC;AAE3B;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAA0C,EAC1C,OAAuB,EACG,EAAE;IAC5B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,2BAA2B,CACpD,OAAO,EACP,cAAc,CACf,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,wBAAwB,CACjD,OAAO,EACP,cAAc,CACf,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,2BAA2B,GAAG,CAClC,OAA8B,EAC9B,OAAuB,EACG,EAAE;IAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAoC,CAAC;IAE9D,+BAA+B;IAC/B,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC5B,QAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YAC5C,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,OAAO,EAAE,CAAC;gBACZ,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACtC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,+CAA+C;IAC/C,MAAM,eAAe,GAA0B;QAC7C,GAAG,QAAQ;QACX,IAAI,EAAE,+BAA+B,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC;QAC3E,cAAc,EAAE,SAAS,EAAE,yBAAyB;QACpD,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC9C,GAAG,KAAK;YACR,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;SACzE,CAAC,CAAC;QACH,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC7B,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;YACpD,CAAC,CAAC,SAAS;QACb,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAqB;KAC5E,CAAC;IAEF,4DAA4D;IAC5D,OAAO,aAAa,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,OAA8B,EAC9B,OAAuB,EACG,EAAE;IAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,WAAiC,CAAC;IAE5D,+BAA+B;IAC/B,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,IAAI,SAAS,CAAC,cAAc,EAAE,CAAC;QAC7B,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,OAAO,EAAE,CAAC;gBACZ,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACtC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,kCAAkC;IAClC,MAAM,eAAe,GAAG,4BAA4B,CAClD,SAAS,CAAC,IAAI,EACd,OAAO,CAAC,aAAa,CACtB,CAAC;IAEF,oCAAoC;IACpC,MAAM,kBAAkB,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC1D,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,OAAO;gBACL,GAAG,MAAM;gBACT,IAAI,EAAE,MAAM,CAAC,IAAI;oBACf,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;oBAC5C,CAAC,CAAC,SAAS;aACd,CAAC;QACJ,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC/C,OAAO;gBACL,GAAG,MAAM;gBACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC5C,GAAG,KAAK;oBACR,IAAI,EAAE,KAAK,CAAC,IAAI;wBACd,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC;wBAC3C,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;gBACH,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC3B,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC;oBAClD,CAAC,CAAC,SAAS;gBACb,IAAI,EAAE,MAAM,CAAC,IAAI;oBACf,CAAC,CAAE,mBAAmB,CAClB,MAAM,CAAC,IAAI,EACX,aAAa,CACO;oBACxB,CAAC,CAAC,SAAS;aACd,CAAC;QACJ,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YACpD,OAAO;gBACL,GAAG,MAAM;gBACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC5C,GAAG,KAAK;oBACR,IAAI,EAAE,KAAK,CAAC,IAAI;wBACd,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC;wBAC3C,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;gBACH,IAAI,EAAE,MAAM,CAAC,IAAI;oBACf,CAAC,CAAE,mBAAmB,CAClB,MAAM,CAAC,IAAI,EACX,aAAa,CACO;oBACxB,CAAC,CAAC,SAAS;aACd,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,uCAAuC;IACvC,MAAM,eAAe,GAAuB;QAC1C,GAAG,SAAS;QACZ,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,SAAS,EAAE,yBAAyB;QACpD,OAAO,EAAE,kBAAkB;QAC3B,UAAU,EAAE,SAAS,CAAC,UAAU;YAC9B,CAAC,CAAC,oBAAoB,CAAC,SAAS,CAAC,UAAU,EAAE,aAAa,CAAC;YAC3D,CAAC,CAAC,SAAS;QACb,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7C,cAAc,CAAC,KAAK,EAAE,aAAa,CAAC,CACrC;KACF,CAAC;IAEF,yDAAyD;IACzD,OAAO,aAAa,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC,CAAC"}

package/dist/specialization/generic-classes.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Tests for Generic Classes
+ * Covers spec/15-generics.md §3-5 - Generic Classes
+ */
+export {};
+//# sourceMappingURL=generic-classes.test.d.ts.map

package/dist/specialization/generic-classes.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generic-classes.test.d.ts","sourceRoot":"","sources":["../../src/specialization/generic-classes.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}