@fluixi/compiler 1.0.0-alpha.82 → 1.0.0-alpha.84

package/dist/ir/nodes.d.cts

@@ -0,0 +1,168 @@
+/**
+ * Normalized, host-agnostic IR. Both the babel and (future) swc front-ends
+ * produce this; codegen backends consume it. This is the stable contract
+ * between parsing and code generation — the layer your own improvements
+ * (hoisting, islands, resumability hints) transform.
+ */
+import type { IRLoadStrategy } from '../resolve/load-directive.cjs';
+export type { IRLoadStrategy };
+export interface SourceSpan {
+    start: number;
+    end: number;
+}
+/**
+ * Where a hole was written. Carried as data because the source map cannot say: a template is
+ * emitted as one overwrite, so every hole in it traces back to the line the root opens at.
+ */
+export interface HolePosition {
+    line: number;
+    column: number;
+}
+export type IRNode = IRElement | IRComponent | IRText | IRExpression | IRControl | IRFragment;
+export type IRPropKind = 'attr' | 'prop' | 'event' | 'ref' | 'class' | 'style' | 'spread';
+export interface IRProp {
+    /** prop/attribute name (already normalized, e.g. class -> className). Empty for spreads. */
+    name: string;
+    kind: IRPropKind;
+    /**
+     * A static literal value. Mutually exclusive with `expr`. Used for things like
+     * `id="x"` (string), `tabindex={3}` (number) or a valueless attr (boolean true).
+     */
+    literal?: string | number | boolean | null;
+    /** Raw JS expression code. Mutually exclusive with `literal`. */
+    expr?: string;
+    /** When true, `expr` must be wired reactively (emitted as a `() => expr` thunk). */
+    reactive?: boolean;
+    /** Where the expression was written. Only kept when the host asked for source locations. */
+    at?: HolePosition;
+    /**
+     * The directive this prop was written as, when it is not recoverable at runtime.
+     * `bind:value` becomes an ordinary value plus an input handler, and nothing downstream
+     * could tell it from the two written by hand.
+     */
+    directive?: string;
+    /**
+     * `expr` is an inline JSX element/fragment passed as a component prop (e.g.
+     * `<Suspense fallback={<div/>}>`). Emitted as a LAZY getter — like children — so the DOM is
+     * built only when the component reads the prop, not eagerly when the props object is
+     * constructed (which during hydration would walk the cursor and duplicate the tree).
+     */
+    jsxElement?: boolean;
+    /** For kind 'event': the DOM event name + whether it is delegated. */
+    event?: {
+        name: string;
+        delegated: boolean;
+    };
+}
+export interface IRElement {
+    kind: 'element';
+    tag: string;
+    svg: boolean;
+    props: IRProp[];
+    children: IRNode[];
+    /** analyze/statics: subtree has no dynamic parts → hoistable (template-clone) */
+    static: boolean;
+    /**
+     * Where the tag was written, when the transform was asked for source locations. A
+     * template is emitted as one string, so this is the only record of where each element in
+     * it came from.
+     */
+    at?: {
+        file: string;
+        line: number;
+        column: number;
+    };
+    loc?: SourceSpan;
+}
+/**
+ * Where a component reference comes from, attached to the reference itself.
+ *
+ * A capitalised tag with no binding in the file is supplied by the compiler — from a
+ * `resolve` rule, or from the built-in control-flow/router sets. That decision used to
+ * live only in the Babel plugin's state, which meant the IR could not see which
+ * components a template referenced: no pass could vary a decision per usage, group
+ * references into chunks, or drop a subtree it knows is server-only. Recording it on
+ * the node is what turns resolution from a convenience into something later passes can
+ * read.
+ *
+ * `origin` distinguishes the two suppliers because they behave differently: a `rule`
+ * is configuration and may be overridden or re-targeted, while a `builtin` control-flow
+ * name also selects codegen and cannot be re-pointed at another module.
+ */
+export interface IRComponentSource {
+    module: string;
+    /** The export to import, or `default`. */
+    export: string;
+    origin: 'rule' | 'builtin';
+    /**
+     * When the module is fetched. Set from a `load:` directive at the usage site, and
+     * `eager` otherwise — resolution decides where a component comes from, this decides
+     * when, and the two vary independently.
+     */
+    loading: IRLoadStrategy;
+    /** Assigned by the optimizer once references are grouped. */
+    chunk?: string;
+}
+export interface IRComponent {
+    kind: 'component';
+    name: string;
+    props: IRProp[];
+    children: IRNode[];
+    /**
+     * Set by the resolve pass when the compiler supplies this reference. Absent when the
+     * name is bound in the file — an ordinary import the author wrote — or when nothing
+     * claims it, which is a diagnostic rather than a resolution.
+     */
+    source?: IRComponentSource;
+    /**
+     * Where the tag was written, when the transform was asked for source locations. Distinct
+     * from `source`, which says where the component reference was resolved from.
+     */
+    at?: {
+        file: string;
+        line: number;
+        column: number;
+    };
+    /**
+     * Where the `${…}` that drives this subtree was written — the condition of an `if=`,
+     * the list of an `each=`. The insert that adds and removes the subtree is a reactive
+     * binding, and this is the position it reports. Distinct from `at`, which marks the
+     * node itself rather than the binding that places it.
+     */
+    bindAt?: HolePosition;
+    /**
+     * A `load:` strategy read off the tag by the frontend. The resolve pass folds it into
+     * `source.loading`; it lives here first because the frontend knows the directive and
+     * the resolve pass knows whether the name is deferrable at all.
+     */
+    load?: IRLoadStrategy;
+    loc?: SourceSpan;
+}
+export interface IRText {
+    kind: 'text';
+    value: string;
+    loc?: SourceSpan;
+}
+export interface IRExpression {
+    kind: 'expr';
+    code: string;
+    reactive: boolean;
+    loc?: SourceSpan;
+    /** Where the expression was written. Only kept when the host asked for source locations. */
+    at?: HolePosition;
+}
+export interface IRFragment {
+    kind: 'fragment';
+    children: IRNode[];
+    loc?: SourceSpan;
+}
+export type ControlKind = 'show' | 'for' | 'index' | 'switch' | 'match' | 'dynamic' | 'errorBoundary' | 'suspense';
+export interface IRControl {
+    kind: 'control';
+    control: ControlKind;
+    props: IRProp[];
+    children: IRNode[];
+    /** As on IRComponent: where the hole driving this subtree was written. */
+    bindAt?: HolePosition;
+    loc?: SourceSpan;
+}

package/dist/ir/nodes.d.ts

@@ -10,6 +10,14 @@ export interface SourceSpan {
     start: number;
     end: number;
 }
+/**
+ * Where a hole was written. Carried as data because the source map cannot say: a template is
+ * emitted as one overwrite, so every hole in it traces back to the line the root opens at.
+ */
+export interface HolePosition {
+    line: number;
+    column: number;
+}
 export type IRNode = IRElement | IRComponent | IRText | IRExpression | IRControl | IRFragment;
 export type IRPropKind = 'attr' | 'prop' | 'event' | 'ref' | 'class' | 'style' | 'spread';
 export interface IRProp {
@@ -25,6 +33,14 @@ export interface IRProp {
     expr?: string;
     /** When true, `expr` must be wired reactively (emitted as a `() => expr` thunk). */
     reactive?: boolean;
+    /** Where the expression was written. Only kept when the host asked for source locations. */
+    at?: HolePosition;
+    /**
+     * The directive this prop was written as, when it is not recoverable at runtime.
+     * `bind:value` becomes an ordinary value plus an input handler, and nothing downstream
+     * could tell it from the two written by hand.
+     */
+    directive?: string;
     /**
      * `expr` is an inline JSX element/fragment passed as a component prop (e.g.
      * `<Suspense fallback={<div/>}>`). Emitted as a LAZY getter — like children — so the DOM is
@@ -46,6 +62,16 @@ export interface IRElement {
     children: IRNode[];
     /** analyze/statics: subtree has no dynamic parts → hoistable (template-clone) */
     static: boolean;
+    /**
+     * Where the tag was written, when the transform was asked for source locations. A
+     * template is emitted as one string, so this is the only record of where each element in
+     * it came from.
+     */
+    at?: {
+        file: string;
+        line: number;
+        column: number;
+    };
     loc?: SourceSpan;
 }
 /**
@@ -88,6 +114,22 @@ export interface IRComponent {
      * claims it, which is a diagnostic rather than a resolution.
      */
     source?: IRComponentSource;
+    /**
+     * Where the tag was written, when the transform was asked for source locations. Distinct
+     * from `source`, which says where the component reference was resolved from.
+     */
+    at?: {
+        file: string;
+        line: number;
+        column: number;
+    };
+    /**
+     * Where the `${…}` that drives this subtree was written — the condition of an `if=`,
+     * the list of an `each=`. The insert that adds and removes the subtree is a reactive
+     * binding, and this is the position it reports. Distinct from `at`, which marks the
+     * node itself rather than the binding that places it.
+     */
+    bindAt?: HolePosition;
     /**
      * A `load:` strategy read off the tag by the frontend. The resolve pass folds it into
      * `source.loading`; it lives here first because the frontend knows the directive and
@@ -106,6 +148,8 @@ export interface IRExpression {
     code: string;
     reactive: boolean;
     loc?: SourceSpan;
+    /** Where the expression was written. Only kept when the host asked for source locations. */
+    at?: HolePosition;
 }
 export interface IRFragment {
     kind: 'fragment';
@@ -118,6 +162,8 @@ export interface IRControl {
     control: ControlKind;
     props: IRProp[];
     children: IRNode[];
+    /** As on IRComponent: where the hole driving this subtree was written. */
+    bindAt?: HolePosition;
     loc?: SourceSpan;
 }
 //# sourceMappingURL=nodes.d.ts.map

package/dist/ir/nodes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/ir/nodes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAEnE,YAAY,EAAE,cAAc,EAAE,CAAC;AAE/B,MAAM,WAAW,UAAU;IAAG,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;CAAE;AAE3D,MAAM,MAAM,MAAM,GACd,SAAS,GACT,WAAW,GACX,MAAM,GACN,YAAY,GACZ,SAAS,GACT,UAAU,CAAC;AAEf,MAAM,MAAM,UAAU,GAClB,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,GAAG,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAC;AAErE,MAAM,WAAW,MAAM;IACrB,4FAA4F;IAC5F,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IAC3C,iEAAiE;IACjE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oFAAoF;IACpF,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,sEAAsE;IACtE,KAAK,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC;CAC9C;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,OAAO,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iFAAiF;IACjF,MAAM,EAAE,OAAO,CAAC;IAChB,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B;;;;OAIG;IACH,OAAO,EAAE,cAAc,CAAC;IACxB,6DAA6D;IAC7D,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;;;;OAIG;IACH,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B;;;;OAIG;IACH,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,MAAM;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,UAAU,CAAC;CAAE;AAE1E,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IAAG,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,CAAC,EAAE,UAAU,CAAC;CAAE;AAEvF,MAAM,MAAM,WAAW,GACnB,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,GAC7C,SAAS,GAAG,eAAe,GAAG,UAAU,CAAC;AAE7C,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,WAAW,CAAC;IACrB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB"}
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/ir/nodes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAEnE,YAAY,EAAE,cAAc,EAAE,CAAC;AAE/B,MAAM,WAAW,UAAU;IAAG,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;CAAE;AAE3D;;;GAGG;AACH,MAAM,WAAW,YAAY;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAE9D,MAAM,MAAM,MAAM,GACd,SAAS,GACT,WAAW,GACX,MAAM,GACN,YAAY,GACZ,SAAS,GACT,UAAU,CAAC;AAEf,MAAM,MAAM,UAAU,GAClB,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,GAAG,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAC;AAErE,MAAM,WAAW,MAAM;IACrB,4FAA4F;IAC5F,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IAC3C,iEAAiE;IACjE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oFAAoF;IACpF,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,4FAA4F;IAC5F,EAAE,CAAC,EAAE,YAAY,CAAC;IAClB;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,sEAAsE;IACtE,KAAK,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC;CAC9C;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,OAAO,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iFAAiF;IACjF,MAAM,EAAE,OAAO,CAAC;IAChB;;;;OAIG;IACH,EAAE,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B;;;;OAIG;IACH,OAAO,EAAE,cAAc,CAAC;IACxB,6DAA6D;IAC7D,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;;;;OAIG;IACH,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B;;;OAGG;IACH,EAAE,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD;;;;;OAKG;IACH,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB;;;;OAIG;IACH,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,MAAM;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,UAAU,CAAC;CAAE;AAE1E,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,4FAA4F;IAC5F,EAAE,CAAC,EAAE,YAAY,CAAC;CACnB;AAED,MAAM,WAAW,UAAU;IAAG,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,CAAC,EAAE,UAAU,CAAC;CAAE;AAEvF,MAAM,MAAM,WAAW,GACnB,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,GAC7C,SAAS,GAAG,eAAe,GAAG,UAAU,CAAC;AAE7C,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,WAAW,CAAC;IACrB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,0EAA0E;IAC1E,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB"}