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

package/dist/transform/intrinsics.cjs

@@ -1,3 +1,216 @@
-"use strict";var m=Object.defineProperty;var R=Object.getOwnPropertyDescriptor;var h=Object.getOwnPropertyNames;var S=Object.prototype.hasOwnProperty;var w=(t,r)=>{for(var n in r)m(t,n,{get:r[n],enumerable:!0})},b=(t,r,n,e)=>{if(r&&typeof r=="object"||typeof r=="function")for(let i of h(r))!S.call(t,i)&&i!==n&&m(t,i,{get:()=>r[i],enumerable:!(e=R(r,i))||e.enumerable});return t};var E=t=>b(m({},"__esModule",{value:!0}),t);var $={};w($,{collectIntrinsicEdits:()=>M,intrinsicImports:()=>j});module.exports=E($);var d="@fluixi/reactive/signal",f={$signal:{export:"signal",module:d,returns:"signal-handle"},$memo:{export:"memo",module:d,returns:"memo-handle"},$effect:{export:"effect",module:d,returns:"effect"},$store:{export:"store",module:"@fluixi/reactive/store",returns:"store-handle"},$resource:{export:"resource",module:d,returns:"resource-handle"},$selector:{export:"createSelector",module:d,returns:"memo-accessor"},$deferred:{export:"createDeferred",module:d,returns:"memo-accessor"},$untrack:{export:"untrack",module:d,returns:"plain"},$untrackStore:{export:"untrackStore",module:"@fluixi/reactive/store",returns:"plain"}},I={signal:"signal-handle",memo:"memo-handle",effect:"effect",store:"store-handle",createSignal:["signal-accessor","signal-setter"],createMemo:"memo-accessor",createEffect:"effect",createRenderEffect:"effect",createStore:"reactive-object",resource:"resource-handle",createResource:"reactive-object",createSelector:"memo-accessor",createDeferred:"memo-accessor"},k=["@fluixi/reactive","@fluixi/reactive/signal","@fluixi/reactive/store","@fluixi/core"],P=new RegExp(`\\$(?:${Object.keys(f).map(t=>t.slice(1)).join("|")})\\s*\\(`);function N(t){return Object.prototype.hasOwnProperty.call(f,t)}function x(t){return k.includes(t)}function o(t,r){if(t)switch(t.type){case"Identifier":r.add(t.name);return;case"ObjectPattern":for(let n of t.properties??[])n.type==="RestElement"?o(n.argument,r):o(n.value,r);return;case"ArrayPattern":for(let n of t.elements??[])o(n,r);return;case"AssignmentPattern":o(t.left,r);return;case"RestElement":o(t.argument,r);return}}function p(t,r){if(!(!t||typeof t!="object"||typeof t.type!="string")){r(t);for(let n of Object.keys(t)){if(n==="loc"||n==="leadingComments"||n==="trailingComments")continue;let e=t[n];if(Array.isArray(e))for(let i of e)p(i,r);else e&&typeof e=="object"&&p(e,r)}}}function C(t,r){if(t.type!=="CallExpression")return;let n=t.callee;if(n?.type!=="Identifier")return;let e=n.name,i=r.primitives.get(e);if(i)return i;let s=f[e];if(s&&!r.shadowed.has(e))return s.returns}function D(t,r,n){if(Array.isArray(r)){t.type==="ArrayPattern"&&t.elements.forEach((e,i)=>{let s=r[i];e?.type==="Identifier"&&s&&n.set(e.name,s)});return}t.type==="Identifier"&&n.set(t.name,r)}function v(t){let r={kinds:new Map,primitives:new Map,shadowed:new Set},n=t;p(n,e=>{let i=new Set;if(e.type==="VariableDeclarator")o(e.id,i);else if(e.type==="FunctionDeclaration"||e.type==="ClassDeclaration")o(e.id,i);else if(e.type==="ImportDefaultSpecifier"||e.type==="ImportNamespaceSpecifier")o(e.local,i);else if(e.type==="ImportSpecifier")o(e.local,i);else if(e.type==="FunctionExpression"||e.type==="ArrowFunctionExpression"||e.type==="FunctionDeclaration")for(let s of e.params??[])o(s,i);for(let s of i)f[s]&&r.shadowed.add(s)});for(let e of n.body??[])if(e.type==="ImportDeclaration"&&x(e.source?.value))for(let i of e.specifiers??[]){if(i.type!=="ImportSpecifier")continue;let s=i.imported,a=s.type==="Identifier"?s.name:s.value,c=I[a];c&&r.primitives.set(i.local.name,c)}return p(n,e=>{if(e.type!=="VariableDeclarator"||!e.init)return;let i=C(e.init,r);i&&D(e.id,i,r.kinds)}),r}function g(t,r){if(!(!t||typeof t!="object"||typeof t.type!="string")){r(t);for(let n of Object.keys(t)){if(n==="loc"||n==="leadingComments"||n==="trailingComments")continue;let e=t[n];if(Array.isArray(e))for(let i of e)g(i,r);else e&&typeof e=="object"&&g(e,r)}}}function M(t){let r=[],n=[],e=new Map,i=new Set,{shadowed:s}=v(t);return g(t,a=>{if(a.type!=="CallExpression")return;let c=a.callee;if(c?.type!=="Identifier")return;let l=c.name;if(!N(l))return;if(s.has(l)){i.has(l)||(i.add(l),n.push({name:l,message:`${l} is reserved for the compiler, and this module binds it. The call keeps your binding's meaning; rename it to use the intrinsic.`,start:c.start}));return}let u=f[l];r.push({start:c.start,end:c.end,code:u.export});let y=e.get(u.module)??new Set;y.add(u.export),e.set(u.module,y)}),{edits:r,diagnostics:n,imports:e}}function j(t,r){let n=[];for(let[e,i]of[...t.imports].sort(([s],[a])=>s.localeCompare(a))){let s=[...i].filter(a=>!r.has(a)).sort();s.length&&n.push(`import { ${s.join(", ")} } from ${JSON.stringify(e)};`)}return n.length?`${n.join(`
-`)}
-`:""}
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// src/transform/intrinsics.ts
+var intrinsics_exports = {};
+__export(intrinsics_exports, {
+  collectIntrinsicEdits: () => collectIntrinsicEdits,
+  intrinsicImports: () => intrinsicImports
+});
+module.exports = __toCommonJS(intrinsics_exports);
+
+// src/analyze/intrinsics.ts
+var REACTIVE_MODULE = "@fluixi/reactive/signal";
+var INTRINSICS = {
+  $signal: { export: "signal", module: REACTIVE_MODULE, returns: "signal-handle" },
+  $memo: { export: "memo", module: REACTIVE_MODULE, returns: "memo-handle" },
+  $effect: { export: "effect", module: REACTIVE_MODULE, returns: "effect" },
+  $store: { export: "store", module: "@fluixi/reactive/store", returns: "store-handle" },
+  $resource: { export: "resource", module: REACTIVE_MODULE, returns: "resource-handle" },
+  // No short runtime form for these yet, so the intrinsic stands for the `create*`
+  // name. Still worth having — no import to write — and when a shorter form is
+  // designed, the change is this line rather than a compiler pass.
+  $selector: { export: "createSelector", module: REACTIVE_MODULE, returns: "memo-accessor" },
+  $deferred: { export: "createDeferred", module: REACTIVE_MODULE, returns: "memo-accessor" },
+  // Not value constructors, but the compiler has to know them: they change what a read
+  // does. `untrack` suppresses dependency collection, which is exactly the kind of thing
+  // dependency analysis must not guess at.
+  $untrack: { export: "untrack", module: REACTIVE_MODULE, returns: "plain" },
+  $untrackStore: { export: "untrackStore", module: "@fluixi/reactive/store", returns: "plain" }
+};
+var RUNTIME_PRIMITIVES = {
+  signal: "signal-handle",
+  memo: "memo-handle",
+  effect: "effect",
+  store: "store-handle",
+  createSignal: ["signal-accessor", "signal-setter"],
+  createMemo: "memo-accessor",
+  createEffect: "effect",
+  createRenderEffect: "effect",
+  createStore: "reactive-object",
+  resource: "resource-handle",
+  createResource: "reactive-object",
+  createSelector: "memo-accessor",
+  createDeferred: "memo-accessor"
+};
+var PRIMITIVE_MODULES = [
+  "@fluixi/reactive",
+  "@fluixi/reactive/signal",
+  "@fluixi/reactive/store",
+  "@fluixi/core"
+];
+var INTRINSIC_CALL = new RegExp(`\\$(?:${Object.keys(INTRINSICS).map((n) => n.slice(1)).join("|")})\\s*\\(`);
+function isIntrinsicName(name) {
+  return Object.prototype.hasOwnProperty.call(INTRINSICS, name);
+}
+function isPrimitiveModule(source) {
+  return PRIMITIVE_MODULES.includes(source);
+}
+
+// src/analyze/reactive-bindings.ts
+function patternNames(node, out) {
+  if (!node) return;
+  switch (node.type) {
+    case "Identifier":
+      out.add(node.name);
+      return;
+    case "ObjectPattern":
+      for (const p of node.properties ?? []) {
+        if (p.type === "RestElement") patternNames(p.argument, out);
+        else patternNames(p.value, out);
+      }
+      return;
+    case "ArrayPattern":
+      for (const e of node.elements ?? []) patternNames(e, out);
+      return;
+    case "AssignmentPattern":
+      patternNames(node.left, out);
+      return;
+    case "RestElement":
+      patternNames(node.argument, out);
+      return;
+  }
+}
+function walk(root, visit) {
+  if (!root || typeof root !== "object" || typeof root.type !== "string") return;
+  visit(root);
+  for (const key of Object.keys(root)) {
+    if (key === "loc" || key === "leadingComments" || key === "trailingComments") continue;
+    const value = root[key];
+    if (Array.isArray(value)) for (const item of value) walk(item, visit);
+    else if (value && typeof value === "object") walk(value, visit);
+  }
+}
+function calledPrimitive(node, bindings) {
+  if (node.type !== "CallExpression") return void 0;
+  const callee = node.callee;
+  if (callee?.type !== "Identifier") return void 0;
+  const name = callee.name;
+  const imported = bindings.primitives.get(name);
+  if (imported) return imported;
+  const intrinsic = INTRINSICS[name];
+  if (intrinsic && !bindings.shadowed.has(name)) return intrinsic.returns;
+  return void 0;
+}
+function classify(id, returns, kinds) {
+  if (Array.isArray(returns)) {
+    if (id.type === "ArrayPattern") {
+      id.elements.forEach((element, index) => {
+        const kind = returns[index];
+        if (element?.type === "Identifier" && kind) kinds.set(element.name, kind);
+      });
+    }
+    return;
+  }
+  if (id.type === "Identifier") kinds.set(id.name, returns);
+}
+function resolveReactiveBindings(program) {
+  const bindings = { kinds: /* @__PURE__ */ new Map(), primitives: /* @__PURE__ */ new Map(), shadowed: /* @__PURE__ */ new Set() };
+  const root = program;
+  walk(root, (node) => {
+    const names = /* @__PURE__ */ new Set();
+    if (node.type === "VariableDeclarator") patternNames(node.id, names);
+    else if (node.type === "FunctionDeclaration" || node.type === "ClassDeclaration") patternNames(node.id, names);
+    else if (node.type === "ImportDefaultSpecifier" || node.type === "ImportNamespaceSpecifier") patternNames(node.local, names);
+    else if (node.type === "ImportSpecifier") patternNames(node.local, names);
+    else if (node.type === "FunctionExpression" || node.type === "ArrowFunctionExpression" || node.type === "FunctionDeclaration") {
+      for (const p of node.params ?? []) patternNames(p, names);
+    }
+    for (const name of names) if (INTRINSICS[name]) bindings.shadowed.add(name);
+  });
+  for (const statement of root.body ?? []) {
+    if (statement.type !== "ImportDeclaration") continue;
+    if (!isPrimitiveModule(statement.source?.value)) continue;
+    for (const specifier of statement.specifiers ?? []) {
+      if (specifier.type !== "ImportSpecifier") continue;
+      const importedNode = specifier.imported;
+      const imported = importedNode.type === "Identifier" ? importedNode.name : importedNode.value;
+      const returns = RUNTIME_PRIMITIVES[imported];
+      if (returns) bindings.primitives.set(specifier.local.name, returns);
+    }
+  }
+  walk(root, (node) => {
+    if (node.type !== "VariableDeclarator" || !node.init) return;
+    const returns = calledPrimitive(node.init, bindings);
+    if (returns) classify(node.id, returns, bindings.kinds);
+  });
+  return bindings;
+}
+
+// src/transform/intrinsics.ts
+function walk2(root, visit) {
+  if (!root || typeof root !== "object" || typeof root.type !== "string") return;
+  visit(root);
+  for (const key of Object.keys(root)) {
+    if (key === "loc" || key === "leadingComments" || key === "trailingComments") continue;
+    const value = root[key];
+    if (Array.isArray(value)) for (const item of value) walk2(item, visit);
+    else if (value && typeof value === "object") walk2(value, visit);
+  }
+}
+function collectIntrinsicEdits(program) {
+  const edits = [];
+  const diagnostics = [];
+  const imports = /* @__PURE__ */ new Map();
+  const reported = /* @__PURE__ */ new Set();
+  const { shadowed } = resolveReactiveBindings(program);
+  walk2(program, (node) => {
+    if (node.type !== "CallExpression") return;
+    const callee = node.callee;
+    if (callee?.type !== "Identifier") return;
+    const name = callee.name;
+    if (!isIntrinsicName(name)) return;
+    if (shadowed.has(name)) {
+      if (!reported.has(name)) {
+        reported.add(name);
+        diagnostics.push({
+          name,
+          message: `${name} is reserved for the compiler, and this module binds it. The call keeps your binding's meaning; rename it to use the intrinsic.`,
+          start: callee.start
+        });
+      }
+      return;
+    }
+    const intrinsic = INTRINSICS[name];
+    edits.push({ start: callee.start, end: callee.end, code: intrinsic.export });
+    const forModule = imports.get(intrinsic.module) ?? /* @__PURE__ */ new Set();
+    forModule.add(intrinsic.export);
+    imports.set(intrinsic.module, forModule);
+  });
+  return { edits, diagnostics, imports };
+}
+function intrinsicImports(result, bound) {
+  const lines = [];
+  for (const [module2, names] of [...result.imports].sort(([a], [b]) => a.localeCompare(b))) {
+    const wanted = [...names].filter((name) => !bound.has(name)).sort();
+    if (wanted.length) lines.push(`import { ${wanted.join(", ")} } from ${JSON.stringify(module2)};`);
+  }
+  return lines.length ? `${lines.join("\n")}
+` : "";
+}

package/dist/transform/intrinsics.d.cts

@@ -0,0 +1,21 @@
+export interface IntrinsicEdit {
+    start: number;
+    end: number;
+    code: string;
+}
+export interface IntrinsicDiagnostic {
+    /** The `$` name the module bound itself. */
+    name: string;
+    message: string;
+    start: number;
+}
+export interface IntrinsicsResult {
+    edits: IntrinsicEdit[];
+    diagnostics: IntrinsicDiagnostic[];
+    /** Runtime exports the rewritten code needs, by module. */
+    imports: Map<string, Set<string>>;
+}
+/** Find the `$` calls in a module and say what they compile to. */
+export declare function collectIntrinsicEdits(program: unknown): IntrinsicsResult;
+/** The import statements a result needs, minus anything the module already binds. */
+export declare function intrinsicImports(result: IntrinsicsResult, bound: Set<string>): string;

package/dist/transform/intrinsics.mjs

@@ -1,3 +1,193 @@
-var d="@fluixi/reactive/signal",f={$signal:{export:"signal",module:d,returns:"signal-handle"},$memo:{export:"memo",module:d,returns:"memo-handle"},$effect:{export:"effect",module:d,returns:"effect"},$store:{export:"store",module:"@fluixi/reactive/store",returns:"store-handle"},$resource:{export:"resource",module:d,returns:"resource-handle"},$selector:{export:"createSelector",module:d,returns:"memo-accessor"},$deferred:{export:"createDeferred",module:d,returns:"memo-accessor"},$untrack:{export:"untrack",module:d,returns:"plain"},$untrackStore:{export:"untrackStore",module:"@fluixi/reactive/store",returns:"plain"}},y={signal:"signal-handle",memo:"memo-handle",effect:"effect",store:"store-handle",createSignal:["signal-accessor","signal-setter"],createMemo:"memo-accessor",createEffect:"effect",createRenderEffect:"effect",createStore:"reactive-object",resource:"resource-handle",createResource:"reactive-object",createSelector:"memo-accessor",createDeferred:"memo-accessor"},v=["@fluixi/reactive","@fluixi/reactive/signal","@fluixi/reactive/store","@fluixi/core"],S=new RegExp(`\\$(?:${Object.keys(f).map(t=>t.slice(1)).join("|")})\\s*\\(`);function I(t){return Object.prototype.hasOwnProperty.call(f,t)}function N(t){return v.includes(t)}function o(t,r){if(t)switch(t.type){case"Identifier":r.add(t.name);return;case"ObjectPattern":for(let n of t.properties??[])n.type==="RestElement"?o(n.argument,r):o(n.value,r);return;case"ArrayPattern":for(let n of t.elements??[])o(n,r);return;case"AssignmentPattern":o(t.left,r);return;case"RestElement":o(t.argument,r);return}}function p(t,r){if(!(!t||typeof t!="object"||typeof t.type!="string")){r(t);for(let n of Object.keys(t)){if(n==="loc"||n==="leadingComments"||n==="trailingComments")continue;let e=t[n];if(Array.isArray(e))for(let i of e)p(i,r);else e&&typeof e=="object"&&p(e,r)}}}function R(t,r){if(t.type!=="CallExpression")return;let n=t.callee;if(n?.type!=="Identifier")return;let e=n.name,i=r.primitives.get(e);if(i)return i;let s=f[e];if(s&&!r.shadowed.has(e))return s.returns}function h(t,r,n){if(Array.isArray(r)){t.type==="ArrayPattern"&&t.elements.forEach((e,i)=>{let s=r[i];e?.type==="Identifier"&&s&&n.set(e.name,s)});return}t.type==="Identifier"&&n.set(t.name,r)}function x(t){let r={kinds:new Map,primitives:new Map,shadowed:new Set},n=t;p(n,e=>{let i=new Set;if(e.type==="VariableDeclarator")o(e.id,i);else if(e.type==="FunctionDeclaration"||e.type==="ClassDeclaration")o(e.id,i);else if(e.type==="ImportDefaultSpecifier"||e.type==="ImportNamespaceSpecifier")o(e.local,i);else if(e.type==="ImportSpecifier")o(e.local,i);else if(e.type==="FunctionExpression"||e.type==="ArrowFunctionExpression"||e.type==="FunctionDeclaration")for(let s of e.params??[])o(s,i);for(let s of i)f[s]&&r.shadowed.add(s)});for(let e of n.body??[])if(e.type==="ImportDeclaration"&&N(e.source?.value))for(let i of e.specifiers??[]){if(i.type!=="ImportSpecifier")continue;let s=i.imported,a=s.type==="Identifier"?s.name:s.value,c=y[a];c&&r.primitives.set(i.local.name,c)}return p(n,e=>{if(e.type!=="VariableDeclarator"||!e.init)return;let i=R(e.init,r);i&&h(e.id,i,r.kinds)}),r}function m(t,r){if(!(!t||typeof t!="object"||typeof t.type!="string")){r(t);for(let n of Object.keys(t)){if(n==="loc"||n==="leadingComments"||n==="trailingComments")continue;let e=t[n];if(Array.isArray(e))for(let i of e)m(i,r);else e&&typeof e=="object"&&m(e,r)}}}function D(t){let r=[],n=[],e=new Map,i=new Set,{shadowed:s}=x(t);return m(t,a=>{if(a.type!=="CallExpression")return;let c=a.callee;if(c?.type!=="Identifier")return;let l=c.name;if(!I(l))return;if(s.has(l)){i.has(l)||(i.add(l),n.push({name:l,message:`${l} is reserved for the compiler, and this module binds it. The call keeps your binding's meaning; rename it to use the intrinsic.`,start:c.start}));return}let u=f[l];r.push({start:c.start,end:c.end,code:u.export});let g=e.get(u.module)??new Set;g.add(u.export),e.set(u.module,g)}),{edits:r,diagnostics:n,imports:e}}function M(t,r){let n=[];for(let[e,i]of[...t.imports].sort(([s],[a])=>s.localeCompare(a))){let s=[...i].filter(a=>!r.has(a)).sort();s.length&&n.push(`import { ${s.join(", ")} } from ${JSON.stringify(e)};`)}return n.length?`${n.join(`
-`)}
-`:""}export{D as collectIntrinsicEdits,M as intrinsicImports};
+// src/analyze/intrinsics.ts
+var REACTIVE_MODULE = "@fluixi/reactive/signal";
+var INTRINSICS = {
+  $signal: { export: "signal", module: REACTIVE_MODULE, returns: "signal-handle" },
+  $memo: { export: "memo", module: REACTIVE_MODULE, returns: "memo-handle" },
+  $effect: { export: "effect", module: REACTIVE_MODULE, returns: "effect" },
+  $store: { export: "store", module: "@fluixi/reactive/store", returns: "store-handle" },
+  $resource: { export: "resource", module: REACTIVE_MODULE, returns: "resource-handle" },
+  // No short runtime form for these yet, so the intrinsic stands for the `create*`
+  // name. Still worth having — no import to write — and when a shorter form is
+  // designed, the change is this line rather than a compiler pass.
+  $selector: { export: "createSelector", module: REACTIVE_MODULE, returns: "memo-accessor" },
+  $deferred: { export: "createDeferred", module: REACTIVE_MODULE, returns: "memo-accessor" },
+  // Not value constructors, but the compiler has to know them: they change what a read
+  // does. `untrack` suppresses dependency collection, which is exactly the kind of thing
+  // dependency analysis must not guess at.
+  $untrack: { export: "untrack", module: REACTIVE_MODULE, returns: "plain" },
+  $untrackStore: { export: "untrackStore", module: "@fluixi/reactive/store", returns: "plain" }
+};
+var RUNTIME_PRIMITIVES = {
+  signal: "signal-handle",
+  memo: "memo-handle",
+  effect: "effect",
+  store: "store-handle",
+  createSignal: ["signal-accessor", "signal-setter"],
+  createMemo: "memo-accessor",
+  createEffect: "effect",
+  createRenderEffect: "effect",
+  createStore: "reactive-object",
+  resource: "resource-handle",
+  createResource: "reactive-object",
+  createSelector: "memo-accessor",
+  createDeferred: "memo-accessor"
+};
+var PRIMITIVE_MODULES = [
+  "@fluixi/reactive",
+  "@fluixi/reactive/signal",
+  "@fluixi/reactive/store",
+  "@fluixi/core"
+];
+var INTRINSIC_CALL = new RegExp(`\\$(?:${Object.keys(INTRINSICS).map((n) => n.slice(1)).join("|")})\\s*\\(`);
+function isIntrinsicName(name) {
+  return Object.prototype.hasOwnProperty.call(INTRINSICS, name);
+}
+function isPrimitiveModule(source) {
+  return PRIMITIVE_MODULES.includes(source);
+}
+
+// src/analyze/reactive-bindings.ts
+function patternNames(node, out) {
+  if (!node) return;
+  switch (node.type) {
+    case "Identifier":
+      out.add(node.name);
+      return;
+    case "ObjectPattern":
+      for (const p of node.properties ?? []) {
+        if (p.type === "RestElement") patternNames(p.argument, out);
+        else patternNames(p.value, out);
+      }
+      return;
+    case "ArrayPattern":
+      for (const e of node.elements ?? []) patternNames(e, out);
+      return;
+    case "AssignmentPattern":
+      patternNames(node.left, out);
+      return;
+    case "RestElement":
+      patternNames(node.argument, out);
+      return;
+  }
+}
+function walk(root, visit) {
+  if (!root || typeof root !== "object" || typeof root.type !== "string") return;
+  visit(root);
+  for (const key of Object.keys(root)) {
+    if (key === "loc" || key === "leadingComments" || key === "trailingComments") continue;
+    const value = root[key];
+    if (Array.isArray(value)) for (const item of value) walk(item, visit);
+    else if (value && typeof value === "object") walk(value, visit);
+  }
+}
+function calledPrimitive(node, bindings) {
+  if (node.type !== "CallExpression") return void 0;
+  const callee = node.callee;
+  if (callee?.type !== "Identifier") return void 0;
+  const name = callee.name;
+  const imported = bindings.primitives.get(name);
+  if (imported) return imported;
+  const intrinsic = INTRINSICS[name];
+  if (intrinsic && !bindings.shadowed.has(name)) return intrinsic.returns;
+  return void 0;
+}
+function classify(id, returns, kinds) {
+  if (Array.isArray(returns)) {
+    if (id.type === "ArrayPattern") {
+      id.elements.forEach((element, index) => {
+        const kind = returns[index];
+        if (element?.type === "Identifier" && kind) kinds.set(element.name, kind);
+      });
+    }
+    return;
+  }
+  if (id.type === "Identifier") kinds.set(id.name, returns);
+}
+function resolveReactiveBindings(program) {
+  const bindings = { kinds: /* @__PURE__ */ new Map(), primitives: /* @__PURE__ */ new Map(), shadowed: /* @__PURE__ */ new Set() };
+  const root = program;
+  walk(root, (node) => {
+    const names = /* @__PURE__ */ new Set();
+    if (node.type === "VariableDeclarator") patternNames(node.id, names);
+    else if (node.type === "FunctionDeclaration" || node.type === "ClassDeclaration") patternNames(node.id, names);
+    else if (node.type === "ImportDefaultSpecifier" || node.type === "ImportNamespaceSpecifier") patternNames(node.local, names);
+    else if (node.type === "ImportSpecifier") patternNames(node.local, names);
+    else if (node.type === "FunctionExpression" || node.type === "ArrowFunctionExpression" || node.type === "FunctionDeclaration") {
+      for (const p of node.params ?? []) patternNames(p, names);
+    }
+    for (const name of names) if (INTRINSICS[name]) bindings.shadowed.add(name);
+  });
+  for (const statement of root.body ?? []) {
+    if (statement.type !== "ImportDeclaration") continue;
+    if (!isPrimitiveModule(statement.source?.value)) continue;
+    for (const specifier of statement.specifiers ?? []) {
+      if (specifier.type !== "ImportSpecifier") continue;
+      const importedNode = specifier.imported;
+      const imported = importedNode.type === "Identifier" ? importedNode.name : importedNode.value;
+      const returns = RUNTIME_PRIMITIVES[imported];
+      if (returns) bindings.primitives.set(specifier.local.name, returns);
+    }
+  }
+  walk(root, (node) => {
+    if (node.type !== "VariableDeclarator" || !node.init) return;
+    const returns = calledPrimitive(node.init, bindings);
+    if (returns) classify(node.id, returns, bindings.kinds);
+  });
+  return bindings;
+}
+
+// src/transform/intrinsics.ts
+function walk2(root, visit) {
+  if (!root || typeof root !== "object" || typeof root.type !== "string") return;
+  visit(root);
+  for (const key of Object.keys(root)) {
+    if (key === "loc" || key === "leadingComments" || key === "trailingComments") continue;
+    const value = root[key];
+    if (Array.isArray(value)) for (const item of value) walk2(item, visit);
+    else if (value && typeof value === "object") walk2(value, visit);
+  }
+}
+function collectIntrinsicEdits(program) {
+  const edits = [];
+  const diagnostics = [];
+  const imports = /* @__PURE__ */ new Map();
+  const reported = /* @__PURE__ */ new Set();
+  const { shadowed } = resolveReactiveBindings(program);
+  walk2(program, (node) => {
+    if (node.type !== "CallExpression") return;
+    const callee = node.callee;
+    if (callee?.type !== "Identifier") return;
+    const name = callee.name;
+    if (!isIntrinsicName(name)) return;
+    if (shadowed.has(name)) {
+      if (!reported.has(name)) {
+        reported.add(name);
+        diagnostics.push({
+          name,
+          message: `${name} is reserved for the compiler, and this module binds it. The call keeps your binding's meaning; rename it to use the intrinsic.`,
+          start: callee.start
+        });
+      }
+      return;
+    }
+    const intrinsic = INTRINSICS[name];
+    edits.push({ start: callee.start, end: callee.end, code: intrinsic.export });
+    const forModule = imports.get(intrinsic.module) ?? /* @__PURE__ */ new Set();
+    forModule.add(intrinsic.export);
+    imports.set(intrinsic.module, forModule);
+  });
+  return { edits, diagnostics, imports };
+}
+function intrinsicImports(result, bound) {
+  const lines = [];
+  for (const [module, names] of [...result.imports].sort(([a], [b]) => a.localeCompare(b))) {
+    const wanted = [...names].filter((name) => !bound.has(name)).sort();
+    if (wanted.length) lines.push(`import { ${wanted.join(", ")} } from ${JSON.stringify(module)};`);
+  }
+  return lines.length ? `${lines.join("\n")}
+` : "";
+}
+export {
+  collectIntrinsicEdits,
+  intrinsicImports
+};