marko 6.3.32 → 6.3.34

package/dist/translator/util/branch-tag.d.ts

@@ -0,0 +1,5 @@
+import { type Binding } from "./references";
+import type { Section } from "./sections";
+export declare function getBranchSectionAccessor(nodeBinding: Binding): NonNullable<Section["sectionAccessor"]>;
+export declare function initBranchSection(bodySection: Section, upstreamExpression: Section["upstreamExpression"], sectionAccessor: Section["sectionAccessor"]): void;
+export declare function resumeOwnerByMarkerWhenStatic(tagSection: Section, bodySection: Section, nodeBinding: Binding, statefulReasonKey: symbol): void;

package/dist/translator/util/constants/binding-type.d.ts

@@ -6,5 +6,6 @@ export declare const param = 3;
 export declare const local = 4;
 export declare const derived = 5;
 export declare const constant = 6;
+export declare const global = 7;
 type Self = typeof import("./binding-type");
 export type Value = Self[keyof Self];

package/dist/translator/util/references.d.ts

@@ -14,7 +14,9 @@ export { BindingType };
 export interface Sources {
     state: Opt<Binding>;
     param: Opt<InputBinding | ParamBinding>;
+    global: true | undefined;
 }
+export declare const globalSources: Sources;
 export interface Binding {
     id: number;
     name: string;
@@ -68,6 +70,7 @@ interface Read {
     getter: Getter | undefined;
     comparedTo: t.Node | undefined;
     deferred: boolean;
+    serializedValue?: true;
 }
 interface ExtraRead {
     binding: Binding;
@@ -90,6 +93,9 @@ declare module "@marko/compiler/dist/types" {
         isEffect?: true;
         invokeOnly?: true;
         lazyBindings?: ReferencedBindings;
+        /** `$global` bindings this expression reads: the root means an opaque
+         * (dynamic/aliased) read, a property alias names the key. */
+        globalBindings?: ReferencedBindings;
         spreadFrom?: Binding;
         nativeTagSpread?: true;
         nativeTagSpreadMerged?: true;
@@ -120,6 +126,7 @@ export declare function trackParamsReferences(body: t.NodePath<t.MarkoTagBody |
 export declare function isReferenceInOwnBody(bindingPath: t.NodePath, reference: t.NodePath): boolean;
 export declare function isReferenceHoisted(bindingPath: t.NodePath, reference: t.NodePath): boolean;
 export declare function setReferencesScope(path: t.NodePath<any>): void;
+export declare function trackGlobalReference(path: t.NodePath<t.Identifier>): void;
 export declare function mergeReferences<T extends t.Node>(section: Section, target: T, nodes: (t.Node | undefined)[]): NonNullable<T["extra"]> & ReferencedExtra;
 export declare function compareReferences(a: ReferencedBindings, b: ReferencedBindings): number;
 export declare function finalizeReferences(): void;
@@ -130,7 +137,7 @@ export declare const intersectionMeta: WeakMap<Intersection, {
 }>;
 export declare const collapsedIntersectionSource: WeakMap<Intersection, Binding>;
 export declare function setBindingDownstream(binding: Binding, expr: boolean | Opt<t.NodeExtra>): void;
-export declare function createSources(state: Sources["state"], param: Sources["param"]): Sources;
+export declare function createSources(state: Sources["state"], param: Sources["param"], global?: Sources["global"]): Sources;
 export declare function compareSources(a: Sources, b: Sources): number;
 export declare function mergeSources(a: undefined | Sources, b: undefined | Sources): Sources | undefined;
 export declare const bindingUtil: Sorted<Binding>;

package/dist/translator/util/serialize-reasons.d.ts

@@ -1,7 +1,7 @@
 import { types as t } from "@marko/compiler";
 import { AccessorPrefix, AccessorProp } from "../../common/types";
-import { type OneMany, type Opt } from "./optional";
-import { type Binding, type InputBinding, type ParamBinding, type ReferencedBindings, type Sources } from "./references";
+import { type Opt } from "./optional";
+import { type Binding, type ReferencedBindings, type Sources } from "./references";
 import type { Section } from "./sections";
 export type SerializeReasons = true | [Sources, ...Sources[]];
 export type SerializeReason = true | Sources;
@@ -10,9 +10,8 @@ export declare function isForceSerialized(section: Section, prop?: Binding | Acc
 export declare function addSerializeReason(section: Section, reason: undefined | false | SerializeReason, prop?: Binding | AccessorProp | symbol, prefix?: AccessorPrefix | symbol): void;
 export declare function addSerializeExpr(section: Section, expr: boolean | Opt<t.NodeExtra>, prop?: Binding | AccessorProp | symbol, prefix?: AccessorPrefix | symbol): void;
 export declare function addOwnerSerializeReason(from: Section, to: Section, reason: undefined | boolean | SerializeReason): void;
-export declare function isReasonDynamic(reason: undefined | SerializeReason): reason is {
+export declare function isReasonDynamic(reason: undefined | SerializeReason): reason is Sources & {
     state: undefined;
-    param: OneMany<InputBinding | ParamBinding>;
 };
 export declare function isStaticSerializeReason(reason: undefined | SerializeReason): reason is SerializeReason;
 export declare function isStateSerializeReason(reason: undefined | SerializeReason): reason is Sources;
@@ -25,3 +24,4 @@ export declare function mergeSerializeReasons(a: undefined | SerializeReason, b:
 export declare function mergeSerializeReasons(a: undefined | SerializeReason, b: undefined | SerializeReason): SerializeReason | undefined;
 export declare function applySerializeExprs(section: Section): void;
 export declare function finalizeSerializeReason(section: Section): void;
+export declare function getSerializeProvenance(section: Section, prop?: Binding | AccessorProp | symbol, prefix?: AccessorPrefix | symbol): Sources | undefined;

package/dist/translator/util/signals.d.ts

@@ -14,10 +14,11 @@ export interface Signal {
         value: t.Expression;
     }>;
     intersection: Opt<Signal>;
+    /** Signals this one forwards into: they must declare first when the
+     * forward simplifies to a bare, eagerly evaluated reference. */
+    forwards: Opt<Signal>;
     render: t.Statement[];
-    renderReferencedBindings: ReferencedBindings;
     effect: t.Statement[];
-    effectReferencedBindings: ReferencedBindings;
     hasHTMLEffect: boolean;
     hasSideEffect: boolean;
     forcePersist: boolean;
@@ -46,7 +47,7 @@ export declare function signalHasStatements(signal: Signal): boolean;
 export declare function getSignalFn(signal: Signal): t.Expression;
 export declare function getSignalValueIdentifier(signal: Signal): t.Identifier;
 export declare function replaceNullishAndEmptyFunctionsWith0(args: (t.Expression | undefined | false)[]): t.Expression[];
-export declare function addStatement(type: "render" | "effect", targetSection: Section, referencedBindings: ReferencedBindings, statement: t.Statement | t.Statement[], usedReferences?: ReferencedBindings[] | false, isPure?: boolean): void;
+export declare function addStatement(type: "render" | "effect", targetSection: Section, referencedBindings: ReferencedBindings, statement: t.Statement | t.Statement[], isPure?: boolean): void;
 export declare function addValue(targetSection: Section, referencedBindings: ReferencedBindings, signal: Signal, value: t.Expression): void;
 export declare function getResumeRegisterId(section: Section, referencedBindings: string | ReferencedBindings, type?: string): string;
 export declare function writeSignals(section: Section): Set<Signal>;

package/dist/translator/util/statement-tag.d.ts

@@ -0,0 +1,2 @@
+import { type Tag } from "@marko/compiler/babel-utils";
+export declare function createStatementTag(keyword: "client" | "server" | "static"): Tag;

package/dist/translator/visitors/program/index.d.ts

@@ -3,7 +3,6 @@ import { type BindingPropTree } from "../../util/binding-prop-tree";
 import { preAnalyze } from "./pre-analyze";
 export declare let scopeIdentifier: t.Identifier;
 export declare let localsIdentifier: t.Identifier;
-export declare function isScopeIdentifier(node: t.Node): node is t.Identifier;
 declare module "@marko/compiler/dist/types" {
     interface ProgramExtra {
         domExports?: {

package/index.d.ts

@@ -11,7 +11,25 @@ declare global {
   }
 
   namespace Marko {
-    /** A mutable global object for the current render. */
+    /**
+     * A mutable global object for the current render.
+     *
+     * The open index signature means an unaugmented `$global` is unchecked. To
+     * type your own keys, merge into this interface:
+     *
+     * ```ts
+     * declare global {
+     *   namespace Marko {
+     *     interface Global {
+     *       data?: MyRouteContext;
+     *     }
+     *   }
+     * }
+     * ```
+     *
+     * Declare merged members OPTIONAL — a required one makes every
+     * `render({ $global: {} })` call fail with TS2741.
+     */
     export interface Global {
       [x: PropertyKey]: unknown;
       /** An AbortSignal instance that, when aborted, stops further streamed content. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "marko",
-  "version": "6.3.32",
+  "version": "6.3.34",
   "description": "Optimized runtime for Marko templates.",
   "keywords": [
     "api",
@@ -48,14 +48,14 @@
     }
   },
   "dependencies": {
-    "@marko/compiler": "^5.41.16",
+    "@marko/compiler": "^5.41.18",
     "csstype": "^3.2.3",
     "fastest-levenshtein": "^1.0.16",
     "magic-string": "^0.30.21"
   },
   "devDependencies": {
-    "@marko/runtime-tags": "npm:marko@6.3.32",
-    "marko": "5.39.30"
+    "@marko/runtime-tags": "npm:marko@6.3.34",
+    "marko": "5.39.32"
   },
   "engines": {
     "node": ">=22"
@@ -65,6 +65,7 @@
       "types": "./index.d.ts"
     },
     "./cheatsheet.md": "./cheatsheet.md",
+    "./package.json": "./package.json",
     "./translator": "./src/translator/index.ts",
     "./tags/*": "./tags/*",
     "./debug/*": "./src/*.ts",

package/tags/html-comment.d.marko

@@ -1 +1,3 @@
 export interface Input {}
+
+return=(null! as () => Comment)

package/tags/html-script.d.marko

@@ -1 +1,3 @@
 export interface Input extends Marko.HTML.Script {}
+
+return=(null! as () => HTMLScriptElement)

package/tags/html-style.d.marko

@@ -1 +1,3 @@
 export interface Input extends Marko.HTML.Style {}
+
+return=(null! as () => HTMLStyleElement)

package/tags/let.d.marko

@@ -1,8 +1,8 @@
 /** File for types only, not actual implementation **/
 
 export interface Input<T, K = T> {
-  value: T;
+  value?: T;
   valueChange?: ((newValue: K) => void) | false | null;
 }
 
-return=input.value valueChange=(input.valueChange as (newValue: K) => void)
+return=(input.value as T) valueChange=(input.valueChange as (newValue: K) => void)

package/tags/show.d.marko

@@ -0,0 +1,6 @@
+/** File for types only, not actual implementation **/
+
+export interface Input {
+  value: unknown;
+  content: Marko.Body;
+}

package/tags/try.d.marko

@@ -3,5 +3,5 @@
 export interface Input {
   content: Marko.Body,
   placeholder?: Marko.AttrTag<{ content?: Marko.Body }>,
-  catch?: Marko.AttrTag<{ content?: Marko.Body<[unknown]> }>,
+  catch?: Marko.AttrTag<{ content?: Marko.Body<[any]> }>,
 }

package/tags-html.d.ts

@@ -5936,7 +5936,12 @@ type AttrStyle = AttrMissing | string | Marko.CSS.Properties | AttrStyle[];
 type AttrCrossOrigin = AttrBoolean | "anonymous" | "use-credentials";
 type AttrEventHandler<Event, Target> =
   | AttrMissing
-  | ((event: Event, target: Target) => unknown);
+  | ((
+      event: Event & {
+        currentTarget: "Marko delegates events, so `event.currentTarget` is not this element — use the handler's second parameter: (event, target) => ...";
+      },
+      target: Target,
+    ) => unknown);
 type AttrTarget =
   | AttrMissing
   | "_blank"