@jalvin/compiler 2.0.38 → 2.0.40

package/dist/codegen.d.ts

@@ -1,8 +1,6 @@
 import * as AST from "./ast.js";
 import { JType } from "./typechecker.js";
 export interface CodegenOptions {
-    /** Emit .tsx (React JSX) output — set for files containing `component` decls */
-    readonly jsx: boolean;
     /** Target module format */
     readonly module: "esm" | "cjs";
     /** Emit type annotations in output (verbose but useful for debugging) */
@@ -22,15 +20,15 @@ export declare const DEFAULT_CODEGEN_OPTIONS: CodegenOptions;
 export interface CodegenResult {
     readonly code: string;
     readonly lineMap: number[];
-    /** Whether JSX was emitted (caller should rename output to .tsx) */
-    readonly isJsx: boolean;
+    /** True if the program contains component declarations or UI imports. */
+    readonly hasComponents: boolean;
 }
 export declare class CodeGenerator {
     private readonly w;
     private readonly opts;
     private hasComponents;
     private runtimeSymbolsNeeded;
-    /** Names of true Jalvin components — used to emit React.createElement boundaries */
+    /** Names of true Jalvin components — used to detect functional calls */
     private userComponentNames;
     /** Names of all potential components (including UI primitives) — used to detect props-object calls */
     private allComponentLikeNames;
@@ -68,39 +66,21 @@ export declare class CodeGenerator {
     private localStarExports;
     private isInClass;
     constructor(opts?: Partial<CodegenOptions>);
-    /** Returns true if the output should be treated as JSX (React components) */
-    private get isJsxMode();
     generate(program: AST.Program, operatorOverloads?: Map<AST.BinaryExpr, string>, typeMap?: Map<object, JType>): CodegenResult;
     /** Walk AST to see if it contains any JsxElement nodes */
     private containsJsx;
     private buildPreamble;
     private emitHeader;
-    /**
-     * Heuristic for non-scoped imports: if the first path segment resolves to an
-     * installed package in node_modules, treat the import as npm/ESM and strip
-     * the trailing symbol name from the module specifier.
-     */
     private isLikelyNodeModuleImport;
-    /** Emit a @deprecated JSDoc block if the declaration has @Nuked. */
     private emitAnnotations;
     private emitTopLevelDecl;
     private emitFunDecl;
     private emitMemberFunDecl;
     private emitComponentDecl;
-    /**
-     * Emit the body of a `component fun` block.
-     * The last statement is emitted in tail position — if it is an expression,
-     * an if/else chain, or a when block, the innermost UI call is implicitly
-     * returned (implicit return of the last expression).
-     */
     private emitComponentBlock;
-    /** Emit a statement in tail position, adding implicit return where applicable. */
     private emitTailStmt;
-    /** Emit a block in tail position, treating its last statement as a tail expression. */
     private emitTailBlock;
-    /** Like emitIfStmt but with tail-return applied recursively to each branch body. */
     private emitIfStmtWithTailReturn;
-    /** Like emitWhenStmt but with tail-return applied recursively to each branch body. */
     private emitWhenStmtWithTailReturn;
     private emitClassDecl;
     private emitDataClassDecl;
@@ -112,11 +92,6 @@ export declare class CodeGenerator {
     private emitTypeAliasDecl;
     private emitExtensionFunDecl;
     private receiverClassName;
-    /**
-     * Maps a JType to the primitive receiver type name used as a key
-     * in `primitiveExtensions` (e.g. JType `{ tag: "string" }` → `"String"`).
-     * Returns null for non-primitive / unknown types.
-     */
     private jTypeToReceiverName;
     private classHasInvokeOperator;
     private emitPropertyDecl;
@@ -139,22 +114,9 @@ export declare class CodeGenerator {
     private emitJsxChild;
     private emitStringTemplate;
     private emitCallExpr;
-    /**
-     * For each non-scoped local import (e.g. `import src.views.MoveCounterView.MoveCounter`),
-     * attempt to load and parse the corresponding .jalvin source file. If the named symbol is
-     * a `component fun`, register it in `userComponentNames` and record its param names so that
-     * call sites can emit the correct props-object invocation.
-     */
     private resolveLocalComponentImports;
-    /** Returns true if a call expression's callee looks like a class constructor.
-     *  In Jalvin, class names always start with an uppercase letter. */
     private isConstructorCall;
-    /** Returns true if a name refers to a "true" Jalvin component that needs a React boundary */
-    private isTrueComponent;
-    /** Emit `Column(modifier = ...) { ... }` as either direct calls or React.createElement depending on jsx option */
     private emitComponentCall;
-    /** Collect each expression statement in a trailing-lambda body as DOM children.
-     *  For-loop statements are emitted as spread IIFEs so their dynamic output is preserved. */
     private emitLambdaBodyAsDomChildren;
     private emitLambdaExpr;
     private emitIfExpr;
@@ -169,27 +131,12 @@ export declare class CodeGenerator {
     private emitTypeRef;
     private emitTypeParamsStr;
     private emitParamsStr;
-    private emitComponentPropsStr;
     private emitSuperTypesStr;
     private exportPrefix;
     private visibilityPrefix;
     private unaryOpStr;
     private binaryOpStr;
-    /**
-     * Walk the entire program AST and collect all identifier names that are
-     * REFERENCED (i.e., used) in the code: NameExpr values and the first name
-     * component of SimpleTypeRef / GenericTypeRef nodes.
-     *
-     * Jalvin primitive type names (String, Boolean, …) that map to TS primitives
-     * are excluded from TypeRef collection since they never need an import.
-     */
     private gatherReferencedNames;
-    /**
-     * Walk the entire program AST and collect all names that are LOCALLY DEFINED:
-     * top-level declaration names, non-star import aliases, function/lambda
-     * parameters, local val/var bindings, for-loop variables, catch-clause names,
-     * when-subject bindings, and type parameter names.
-     */
     private gatherAllLocalBindings;
 }
 export declare function generate(program: AST.Program, opts?: Partial<CodegenOptions>, operatorOverloads?: Map<AST.BinaryExpr, string>, typeMap?: Map<object, JType>): CodegenResult;

package/dist/codegen.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codegen.d.ts","sourceRoot":"","sources":["../src/codegen.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAoDzC,MAAM,WAAW,cAAc;IAC7B,gFAAgF;IAChF,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,KAAK,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,iDAAiD;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,eAAO,MAAM,uBAAuB,EAAE,cAKrC,CAAC;AAEF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3B,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAgB;IAClC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAiB;IACtC,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,oBAAoB,CAAqB;IACjD,oFAAoF;IACpF,OAAO,CAAC,kBAAkB,CAAqB;IAC/C,sGAAsG;IACtG,OAAO,CAAC,qBAAqB,CAAqB;IAClD;;;OAGG;IACH,OAAO,CAAC,mBAAmB,CAA+B;IAC1D,+FAA+F;IAC/F,OAAO,CAAC,eAAe,CAAS;IAChC,2DAA2D;IAC3D,OAAO,CAAC,cAAc,CAAqB;IAC3C,0DAA0D;IAC1D,OAAO,CAAC,mBAAmB,CAAqC;IAChE,qCAAqC;IACrC,OAAO,CAAC,OAAO,CAA4B;IAC3C;;;;OAIG;IACH,OAAO,CAAC,mBAAmB,CAA0C;IACrE;;;;OAIG;IACH,OAAO,CAAC,sBAAsB,CAAqB;IACnD,4FAA4F;IAC5F,OAAO,CAAC,wBAAwB,CAAqB;IACrD;;;OAGG;IACH,OAAO,CAAC,gBAAgB,CAA+B;IACvD,OAAO,CAAC,SAAS,CAAS;gBAEd,IAAI,GAAE,OAAO,CAAC,cAAc,CAAM;IAI9C,6EAA6E;IAC7E,OAAO,KAAK,SAAS,GAEpB;IAED,QAAQ,CACN,OAAO,EAAE,GAAG,CAAC,OAAO,EACpB,iBAAiB,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,EAC/C,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAC3B,aAAa;IAyFhB,0DAA0D;IAC1D,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,aAAa;IAoBrB,OAAO,CAAC,UAAU;IAuElB;;;;OAIG;IACH,OAAO,CAAC,wBAAwB;IAkBhC,oEAAoE;IACpE,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,gBAAgB;IAmBxB,OAAO,CAAC,WAAW;IAyCnB,OAAO,CAAC,iBAAiB;IAgCzB,OAAO,CAAC,iBAAiB;IA4FzB;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAY1B,kFAAkF;IAClF,OAAO,CAAC,YAAY;IAapB,uFAAuF;IACvF,OAAO,CAAC,aAAa;IAYrB,oFAAoF;IACpF,OAAO,CAAC,wBAAwB;IAqBhC,sFAAsF;IACtF,OAAO,CAAC,0BAA0B;IA4BlC,OAAO,CAAC,aAAa;IAqCrB,OAAO,CAAC,iBAAiB;IAiGzB,OAAO,CAAC,mBAAmB;IA6E3B,OAAO,CAAC,iBAAiB;IA2DzB,OAAO,CAAC,qBAAqB;IAS7B,OAAO,CAAC,iBAAiB;IAqBzB,OAAO,CAAC,cAAc;IAkBtB,OAAO,CAAC,iBAAiB;IAWzB,OAAO,CAAC,oBAAoB;IA6C5B,OAAO,CAAC,iBAAiB;IAMzB;;;;OAIG;IACH,OAAO,CAAC,mBAAmB;IAa3B,OAAO,CAAC,sBAAsB;IAY9B,OAAO,CAAC,gBAAgB;IA+CxB,OAAO,CAAC,oBAAoB;IAwB5B,OAAO,CAAC,aAAa;IAerB,OAAO,CAAC,eAAe;IAiBvB,OAAO,CAAC,2BAA2B;IAwCnC,OAAO,CAAC,mBAAmB;IAiC3B,OAAO,CAAC,wBAAwB;IAehC,OAAO,CAAC,SAAS;IAMjB,OAAO,CAAC,QAAQ;IAiEhB,OAAO,CAAC,UAAU;IAqBlB,OAAO,CAAC,YAAY;IA8BpB,OAAO,CAAC,iBAAiB;IAwBzB,OAAO,CAAC,WAAW;IAqBnB,OAAO,CAAC,YAAY;IA0BpB,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,MAAM;IAmJhC,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,YAAY;IA0MpB;;;;;OAKG;IACH,OAAO,CAAC,4BAA4B;IA+FpC;wEACoE;IACpE,OAAO,CAAC,iBAAiB;IAezB,6FAA6F;IAC7F,OAAO,CAAC,eAAe;IAgBvB,kHAAkH;IAClH,OAAO,CAAC,iBAAiB;IA4CzB;gGAC4F;IAC5F,OAAO,CAAC,2BAA2B;IA8BnC,OAAO,CAAC,cAAc;IAatB,OAAO,CAAC,UAAU;IAclB,OAAO,CAAC,YAAY;IAwBpB,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,qBAAqB;IAkB7B,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,sBAAsB;IAI9B,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,WAAW;IA0BnB,OAAO,CAAC,iBAAiB;IASzB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,qBAAqB;IAQ7B,OAAO,CAAC,iBAAiB;IAiBzB,OAAO,CAAC,YAAY;IAKpB,OAAO,CAAC,gBAAgB;IASxB,OAAO,CAAC,UAAU;IAKlB,OAAO,CAAC,WAAW;IAmBnB;;;;;;;OAOG;IACH,OAAO,CAAC,qBAAqB;IAiD7B;;;;;OAKG;IACH,OAAO,CAAC,sBAAsB;CAsG/B;AAoFD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,GAAG,CAAC,OAAO,EACpB,IAAI,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,EAC9B,iBAAiB,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,EAC/C,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAC3B,aAAa,CAEf"}
+{"version":3,"file":"codegen.d.ts","sourceRoot":"","sources":["../src/codegen.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAoDzC,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,KAAK,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,iDAAiD;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,eAAO,MAAM,uBAAuB,EAAE,cAIrC,CAAC;AAEF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3B,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAgB;IAClC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAiB;IACtC,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,oBAAoB,CAAqB;IACjD,wEAAwE;IACxE,OAAO,CAAC,kBAAkB,CAAqB;IAC/C,sGAAsG;IACtG,OAAO,CAAC,qBAAqB,CAAqB;IAClD;;;OAGG;IACH,OAAO,CAAC,mBAAmB,CAA+B;IAC1D,+FAA+F;IAC/F,OAAO,CAAC,eAAe,CAAS;IAChC,2DAA2D;IAC3D,OAAO,CAAC,cAAc,CAAqB;IAC3C,0DAA0D;IAC1D,OAAO,CAAC,mBAAmB,CAAqC;IAChE,qCAAqC;IACrC,OAAO,CAAC,OAAO,CAA4B;IAC3C;;;;OAIG;IACH,OAAO,CAAC,mBAAmB,CAA0C;IACrE;;;;OAIG;IACH,OAAO,CAAC,sBAAsB,CAAqB;IACnD,4FAA4F;IAC5F,OAAO,CAAC,wBAAwB,CAAqB;IACrD;;;OAGG;IACH,OAAO,CAAC,gBAAgB,CAA+B;IACvD,OAAO,CAAC,SAAS,CAAS;gBAEd,IAAI,GAAE,OAAO,CAAC,cAAc,CAAM;IAI9C,QAAQ,CACN,OAAO,EAAE,GAAG,CAAC,OAAO,EACpB,iBAAiB,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,EAC/C,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAC3B,aAAa;IAyFhB,0DAA0D;IAC1D,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,aAAa;IAwBrB,OAAO,CAAC,UAAU;IAmDlB,OAAO,CAAC,wBAAwB;IAkBhC,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,gBAAgB;IAmBxB,OAAO,CAAC,WAAW;IAuCnB,OAAO,CAAC,iBAAiB;IAgCzB,OAAO,CAAC,iBAAiB;IAoDzB,OAAO,CAAC,kBAAkB;IAY1B,OAAO,CAAC,YAAY;IAYpB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,wBAAwB;IAqBhC,OAAO,CAAC,0BAA0B;IA4BlC,OAAO,CAAC,aAAa;IAkCrB,OAAO,CAAC,iBAAiB;IAyFzB,OAAO,CAAC,mBAAmB;IAuE3B,OAAO,CAAC,iBAAiB;IAmDzB,OAAO,CAAC,qBAAqB;IAO7B,OAAO,CAAC,iBAAiB;IAmBzB,OAAO,CAAC,cAAc;IAatB,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,oBAAoB;IAwC5B,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,mBAAmB;IAa3B,OAAO,CAAC,sBAAsB;IAU9B,OAAO,CAAC,gBAAgB;IAqCxB,OAAO,CAAC,oBAAoB;IAsB5B,OAAO,CAAC,aAAa;IAcrB,OAAO,CAAC,eAAe;IAgBvB,OAAO,CAAC,2BAA2B;IAkCnC,OAAO,CAAC,mBAAmB;IA+B3B,OAAO,CAAC,wBAAwB;IAahC,OAAO,CAAC,SAAS;IAIjB,OAAO,CAAC,QAAQ;IAiEhB,OAAO,CAAC,UAAU;IAqBlB,OAAO,CAAC,YAAY;IAuBpB,OAAO,CAAC,iBAAiB;IAsBzB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,YAAY;IAqBpB,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,MAAM;IAiGhC,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,WAAW;IAMnB,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,kBAAkB;IAK1B,OAAO,CAAC,YAAY;IAgGpB,OAAO,CAAC,4BAA4B;IA0EpC,OAAO,CAAC,iBAAiB;IAYzB,OAAO,CAAC,iBAAiB;IAqBzB,OAAO,CAAC,2BAA2B;IA6BnC,OAAO,CAAC,cAAc;IAMtB,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,YAAY;IAYpB,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,qBAAqB;IAM7B,OAAO,CAAC,cAAc;IAMtB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,kBAAkB;IAE1B,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,iBAAiB;IACzB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,iBAAiB;IACzB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,qBAAqB;IAa7B,OAAO,CAAC,sBAAsB;CAiB/B;AAOD,wBAAgB,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,EAAE,iBAAiB,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,aAAa,CAAkF"}