@tsonic/emitter 0.0.14 → 0.0.16

package/dist/types/unions.js

@@ -2,6 +2,17 @@
  * Union type emission
  */
 import { emitType } from "./emitter.js";
+const getBareTypeParameterName = (type, context) => {
+    if (type.kind === "typeParameterType")
+        return type.name;
+    // Legacy representation: type parameters sometimes arrive as referenceType nodes.
+    if (type.kind === "referenceType" &&
+        (context.typeParameters?.has(type.name) ?? false) &&
+        (!type.typeArguments || type.typeArguments.length === 0)) {
+        return type.name;
+    }
+    return undefined;
+};
 /**
  * Emit union types as nullable (T?), Union<T1, T2>, or object
  */
@@ -20,6 +31,15 @@ export const emitUnionType = (type, context) => {
         if (!firstType) {
             return ["object?", context];
         }
+        // `T | null` where `T` is an unconstrained type parameter cannot be represented as `T?`
+        // in C# (it forbids assigning null). Fall back to `object?` and rely on casts at use sites.
+        const typeParamName = getBareTypeParameterName(firstType, context);
+        if (typeParamName) {
+            const constraintKind = context.typeParamConstraints?.get(typeParamName) ?? "unconstrained";
+            if (constraintKind === "unconstrained") {
+                return ["object?", context];
+            }
+        }
         const [baseType, newContext] = emitType(firstType, context);
         // Add ? suffix for nullable types (both value types and reference types)
         // This includes string?, int?, double?, etc. per spec/04-type-mappings.md

package/dist/types/unions.js.map

@@ -1 +1 @@
-{"version":3,"file":"unions.js","sourceRoot":"","sources":["../../src/types/unions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA4C,EAC5C,OAAuB,EACG,EAAE;IAC5B,qCAAqC;IACrC,YAAY;IACZ,gDAAgD;IAChD,qCAAqC;IACrC,2CAA2C;IAE3C,uDAAuD;IACvD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IAEF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,iDAAiD;QACjD,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC9B,CAAC;QACD,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5D,yEAAyE;QACzE,0EAA0E;QAC1E,OAAO,CAAC,GAAG,QAAQ,GAAG,EAAE,UAAU,CAAC,CAAC;IACtC,CAAC;IAED,qDAAqD;IACrD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,cAAc,GAAG,OAAO,CAAC;QAE7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;YAC1D,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;QAED,OAAO;YACL,gCAAgC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACzD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC7B,CAAC,CAAC"}
+{"version":3,"file":"unions.js","sourceRoot":"","sources":["../../src/types/unions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAExD,kFAAkF;IAClF,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;QACjD,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,EACxD,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA4C,EAC5C,OAAuB,EACG,EAAE;IAC5B,qCAAqC;IACrC,YAAY;IACZ,gDAAgD;IAChD,qCAAqC;IACrC,2CAA2C;IAE3C,uDAAuD;IACvD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IAEF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,iDAAiD;QACjD,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC9B,CAAC;QAED,wFAAwF;QACxF,4FAA4F;QAC5F,MAAM,aAAa,GAAG,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACnE,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,cAAc,GAClB,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,aAAa,CAAC,IAAI,eAAe,CAAC;YACtE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;gBACvC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QAED,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5D,yEAAyE;QACzE,0EAA0E;QAC1E,OAAO,CAAC,GAAG,QAAQ,GAAG,EAAE,UAAU,CAAC,CAAC;IACtC,CAAC;IAED,qDAAqD;IACrD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,cAAc,GAAG,OAAO,CAAC;QAE7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;YAC1D,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;QAED,OAAO;YACL,gCAAgC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACzD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC7B,CAAC,CAAC"}

package/dist/types/unions.test.js

@@ -39,7 +39,7 @@ describe("Union Type Emission", () => {
         };
         const code = emitModule(module);
         // Should use nullable syntax
-        expect(code).to.include("string? maybeString");
+        expect(code).to.include("string? MaybeString");
     });
     it("should emit two-type union as Union<T1, T2>", () => {
         const module = {
@@ -74,7 +74,7 @@ describe("Union Type Emission", () => {
         };
         const code = emitModule(module);
         // Should use fully-qualified Union<T1, T2>
-        expect(code).to.include("global::Tsonic.Runtime.Union<string, double> value");
+        expect(code).to.include("global::Tsonic.Runtime.Union<string, double> Value");
         // Should NOT include using directives - uses global:: FQN
         expect(code).to.not.include("using Tsonic.Runtime");
     });
@@ -116,7 +116,7 @@ describe("Union Type Emission", () => {
         };
         const code = emitModule(module);
         // Should return Union<string, double> with global:: FQN
-        expect(code).to.include("public static global::Tsonic.Runtime.Union<string, double> getValue()");
+        expect(code).to.include("public static global::Tsonic.Runtime.Union<string, double> GetValue()");
     });
     it("should emit function parameter with union type", () => {
         const module = {
@@ -160,7 +160,7 @@ describe("Union Type Emission", () => {
         };
         const code = emitModule(module);
         // Should accept Union<string, bool> parameter with global:: FQN
-        expect(code).to.include("process(global::Tsonic.Runtime.Union<string, bool> input)");
+        expect(code).to.include("Process(global::Tsonic.Runtime.Union<string, bool> input)");
     });
     it("should handle union with custom types", () => {
         const module = {
@@ -219,7 +219,7 @@ describe("Union Type Emission", () => {
         };
         const code = emitModule(module);
         // Should use Union<User, Product>
-        expect(code).to.include("Union<User, Product> getResult()");
+        expect(code).to.include("Union<User, Product> GetResult()");
     });
     it("should emit three-type union as Union<T1, T2, T3>", () => {
         const module = {
@@ -255,7 +255,7 @@ describe("Union Type Emission", () => {
         };
         const code = emitModule(module);
         // Should use fully-qualified Union<T1, T2, T3>
-        expect(code).to.include("global::Tsonic.Runtime.Union<string, double, bool> value");
+        expect(code).to.include("global::Tsonic.Runtime.Union<string, double, bool> Value");
         // Should NOT include using directives - uses global:: FQN
         expect(code).to.not.include("using Tsonic.Runtime");
     });
@@ -309,7 +309,7 @@ describe("Union Type Emission", () => {
         };
         const code = emitModule(module);
         // Should use Union<T1, T2, T3, T4> with global:: FQN
-        expect(code).to.include("global::Tsonic.Runtime.Union<string, double, bool, DateLike> process()");
+        expect(code).to.include("global::Tsonic.Runtime.Union<string, double, bool, DateLike> Process()");
     });
     it("should emit eight-type union as Union<T1, T2, T3, T4, T5, T6, T7, T8>", () => {
         // Helper to create an interface declaration
@@ -366,7 +366,7 @@ describe("Union Type Emission", () => {
         };
         const code = emitModule(module);
         // Should use Union<T1, T2, T3, T4, T5, T6, T7, T8> with global:: FQN
-        expect(code).to.include("global::Tsonic.Runtime.Union<string, double, bool, User, Product, Order, Payment, Invoice> value");
+        expect(code).to.include("global::Tsonic.Runtime.Union<string, double, bool, User, Product, Order, Payment, Invoice> Value");
     });
     it("should fall back to object for unions with more than 8 types", () => {
         const module = {
@@ -408,7 +408,7 @@ describe("Union Type Emission", () => {
         };
         const code = emitModule(module);
         // Should fall back to object for 9+ types
-        expect(code).to.include("object value");
+        expect(code).to.include("object Value");
     });
 });
 //# sourceMappingURL=unions.test.js.map

package/dist/types.d.ts

@@ -2,6 +2,6 @@
  * C# Emitter Types
  * Main dispatcher - re-exports from emitter-types/ subdirectory
  */
-export type { EmitterOptions, EmitterContext, EmitResult, CSharpFragment, CSharpAccessModifier, CSharpClassModifier, CSharpMethodModifier, CSharpUsing, ImportBinding, ModuleIdentity, ModuleMap, ExportSource, ExportMap, JsonAotRegistry, LocalTypeInfo, NarrowedBinding, } from "./emitter-types/index.js";
+export type { EmitterOptions, EmitterContext, EmitResult, CSharpFragment, CSharpAccessModifier, CSharpClassModifier, CSharpMethodModifier, CSharpUsing, ImportBinding, ModuleIdentity, ModuleMap, ExportSource, ExportMap, TypeMemberIndex, TypeMemberKind, JsonAotRegistry, LocalTypeInfo, NarrowedBinding, ValueSymbolKind, ValueSymbolInfo, } from "./emitter-types/index.js";
 export { createContext, indent, dedent, withStatic, withAsync, withClassName, withScoped, getIndent, renderTypeFQN, renderMemberFQN, renderFQN, FQN, } from "./emitter-types/index.js";
 //# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,YAAY,EACV,cAAc,EACd,cAAc,EACd,UAAU,EACV,cAAc,EACd,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,WAAW,EACX,aAAa,EACb,cAAc,EACd,SAAS,EACT,YAAY,EACZ,SAAS,EACT,eAAe,EACf,aAAa,EACb,eAAe,GAChB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,GAAG,GACJ,MAAM,0BAA0B,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,YAAY,EACV,cAAc,EACd,cAAc,EACd,UAAU,EACV,cAAc,EACd,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,WAAW,EACX,aAAa,EACb,cAAc,EACd,SAAS,EACT,YAAY,EACZ,SAAS,EACT,eAAe,EACf,cAAc,EACd,eAAe,EACf,aAAa,EACb,eAAe,EACf,eAAe,EACf,eAAe,GAChB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,GAAG,GACJ,MAAM,0BAA0B,CAAC"}

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAoBH,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,GAAG,GACJ,MAAM,0BAA0B,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAwBH,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,GAAG,GACJ,MAAM,0BAA0B,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tsonic/emitter",
-  "version": "0.0.14",
+  "version": "0.0.16",
   "description": "C# code generator for Tsonic compiler",
   "type": "module",
   "main": "./dist/index.js",
@@ -18,14 +18,14 @@
     "build": "tsc -b",
     "clean": "rm -rf dist *.tsbuildinfo",
     "pretest": "npm run clean && npm run build",
-    "test": "mocha 'dist/**/*.test.js'",
+    "test": "mocha --parallel --timeout 10000 'dist/**/*.test.js'",
     "test:watch": "mocha 'dist/**/*.test.js' --watch",
     "update-golden": "npx tsx scripts/update-golden-tests.ts",
     "update-golden:dotnet": "npx tsx scripts/update-golden-tests.ts dotnet",
     "update-golden:js": "npx tsx scripts/update-golden-tests.ts js"
   },
   "dependencies": {
-    "@tsonic/frontend": "*"
+    "@tsonic/frontend": "0.0.16"
   },
   "devDependencies": {
     "@types/chai": "5.2.2",