@fictjs/compiler 0.5.0 → 0.5.1

package/README.md

@@ -24,6 +24,8 @@ createFictPlugin({
   onWarn(warning) {
     console.warn(warning)
   },
+  // Keep single-use derived values as memos (strict memo mode)
+  // inlineDerivedMemos: false,
   // Allow $state/$effect inside reactive-scope callbacks (e.g., renderHook(() => ...))
   reactiveScopes: ['renderHook'],
 })
@@ -31,6 +33,7 @@ createFictPlugin({
 
 - `dev` (default: `NODE_ENV !== 'production' && NODE_ENV !== 'test'`): enables compiler warnings/diagnostics. Set to `false` to silence warnings.
 - `onWarn`: custom warning handler (only called when `dev` is enabled).
+- `inlineDerivedMemos` (default: `true`): allow the compiler to inline single-use derived values. Set to `false` for a “strict memo” mode where user-named derived values keep explicit memo accessors (unless `"use no memo"` disables memoization).
 - `reactiveScopes`: function names whose **first callback argument** is treated as a component-like reactive scope.
   - Only **direct calls** are recognized (e.g., `renderHook(() => ...)` or `utils.renderHook(() => ...)`).
   - **Aliases/indirect calls** are not recognized (e.g., `const rh = renderHook; rh(() => ...)`).

package/dist/index.cjs

@@ -16138,6 +16138,7 @@ function convertExpression(node, options) {
       const arrow = {
         kind: "ArrowFunction",
         params: nested.params,
+        rawParams: nested.rawParams ?? node.params,
         body: nested.blocks,
         isExpression: false,
         isAsync: node.async,
@@ -16151,6 +16152,7 @@ function convertExpression(node, options) {
         params: node.params.map(
           (p) => t.isPattern(p) ? extractIdentifiersFromPattern(p) : t.isIdentifier(p) ? [{ kind: "Identifier", name: p.name }] : []
         ).flat(),
+        rawParams: node.params,
         body: convertExpression(node.body),
         isExpression: true,
         isAsync: node.async,
@@ -16172,6 +16174,7 @@ function convertExpression(node, options) {
       kind: "FunctionExpression",
       name: node.id?.name ?? "",
       params: nested.params,
+      rawParams: nested.rawParams ?? node.params,
       body: nested.blocks,
       isAsync: node.async,
       reactiveScope: options?.reactiveScope,
@@ -23905,7 +23908,13 @@ function lowerExpressionImpl(expr, ctx, _isAssigned = false) {
         })),
         entryBlock: fn.blocks[0]?.id ?? 0
       };
-      const declared = new Set(paramIds.map((p) => p.name));
+      const declared = /* @__PURE__ */ new Set();
+      for (const p of paramIds) {
+        const ids = t4.getBindingIdentifiers(p);
+        for (const name of Object.keys(ids)) {
+          declared.add(name);
+        }
+      }
       return lowerStructuredNodeWithoutRegions(structured, t4, ctx, declared);
     } catch {
       return lowerBlocksToStatements(blocks);
@@ -24206,7 +24215,12 @@ function lowerExpressionImpl(expr, ctx, _isAssigned = false) {
     case "ArrowFunction": {
       const reactiveLowered = lowerReactiveScopeExpression(expr);
       if (reactiveLowered) return reactiveLowered;
-      const paramIds = mapParams(expr.params);
+      const useRawParams = expr.rawParams && expr.rawParams.length > 0 && expr.rawParams.every(
+        (param) => t4.isIdentifier(param) || t4.isRestElement(param) && t4.isIdentifier(param.argument)
+      );
+      const paramIds = useRawParams ? expr.rawParams.map(
+        (param) => t4.cloneNode(param, true)
+      ) : mapParams(expr.params);
       const shadowed = new Set(expr.params.map((p) => deSSAVarName(p.name)));
       const localDeclared = collectLocalDeclaredNames(
         expr.params,
@@ -24254,7 +24268,12 @@ function lowerExpressionImpl(expr, ctx, _isAssigned = false) {
     case "FunctionExpression": {
       const reactiveLowered = lowerReactiveScopeExpression(expr);
       if (reactiveLowered) return reactiveLowered;
-      const paramIds = mapParams(expr.params);
+      const useRawParams = expr.rawParams && expr.rawParams.length > 0 && expr.rawParams.every(
+        (param) => t4.isIdentifier(param) || t4.isRestElement(param) && t4.isIdentifier(param.argument)
+      );
+      const paramIds = useRawParams ? expr.rawParams.map(
+        (param) => t4.cloneNode(param, true)
+      ) : mapParams(expr.params);
       const shadowed = new Set(expr.params.map((p) => deSSAVarName(p.name)));
       const localDeclared = collectLocalDeclaredNames(expr.params, expr.body, t4);
       return withNonReactiveScope(
@@ -26819,6 +26838,8 @@ function buildListCallExpression(expr, statements, ctx) {
   }
   const keyExpr = extractKeyFromMapCallback(mapCallback);
   const isKeyed = !!keyExpr;
+  const hasRestParam = (mapCallback.kind === "ArrowFunction" || mapCallback.kind === "FunctionExpression") && Array.isArray(mapCallback.rawParams) && mapCallback.rawParams.some((param) => t4.isRestElement(param));
+  const canConstifyKey = isKeyed && keyExpr && !hasRestParam;
   if (isKeyed) {
     ctx.helpersUsed.add("keyedList");
   } else {
@@ -26832,7 +26853,7 @@ function buildListCallExpression(expr, statements, ctx) {
   const prevListKeyExpr = ctx.listKeyExpr;
   const prevListItemParamName = ctx.listItemParamName;
   const prevListKeyParamName = ctx.listKeyParamName;
-  if (isKeyed && keyExpr) {
+  if (canConstifyKey && keyExpr) {
     ctx.listKeyExpr = keyExpr;
     ctx.listKeyParamName = "__key";
     if (mapCallback.kind === "ArrowFunction" || mapCallback.kind === "FunctionExpression") {
@@ -26918,7 +26939,7 @@ function buildListCallExpression(expr, statements, ctx) {
       keyExprAst
     );
     const hasIndexParam = (t4.isArrowFunctionExpression(callbackExpr) || t4.isFunctionExpression(callbackExpr)) && callbackExpr.params.length >= 2;
-    if (t4.isArrowFunctionExpression(callbackExpr) || t4.isFunctionExpression(callbackExpr)) {
+    if (canConstifyKey && (t4.isArrowFunctionExpression(callbackExpr) || t4.isFunctionExpression(callbackExpr))) {
       const newParams = [...callbackExpr.params];
       while (newParams.length < 2) {
         newParams.push(t4.identifier(newParams.length === 0 ? "__item" : "__index"));

package/dist/index.js

@@ -16123,6 +16123,7 @@ function convertExpression(node, options) {
       const arrow = {
         kind: "ArrowFunction",
         params: nested.params,
+        rawParams: nested.rawParams ?? node.params,
         body: nested.blocks,
         isExpression: false,
         isAsync: node.async,
@@ -16136,6 +16137,7 @@ function convertExpression(node, options) {
         params: node.params.map(
           (p) => t.isPattern(p) ? extractIdentifiersFromPattern(p) : t.isIdentifier(p) ? [{ kind: "Identifier", name: p.name }] : []
         ).flat(),
+        rawParams: node.params,
         body: convertExpression(node.body),
         isExpression: true,
         isAsync: node.async,
@@ -16157,6 +16159,7 @@ function convertExpression(node, options) {
       kind: "FunctionExpression",
       name: node.id?.name ?? "",
       params: nested.params,
+      rawParams: nested.rawParams ?? node.params,
       body: nested.blocks,
       isAsync: node.async,
       reactiveScope: options?.reactiveScope,
@@ -23890,7 +23893,13 @@ function lowerExpressionImpl(expr, ctx, _isAssigned = false) {
         })),
         entryBlock: fn.blocks[0]?.id ?? 0
       };
-      const declared = new Set(paramIds.map((p) => p.name));
+      const declared = /* @__PURE__ */ new Set();
+      for (const p of paramIds) {
+        const ids = t4.getBindingIdentifiers(p);
+        for (const name of Object.keys(ids)) {
+          declared.add(name);
+        }
+      }
       return lowerStructuredNodeWithoutRegions(structured, t4, ctx, declared);
     } catch {
       return lowerBlocksToStatements(blocks);
@@ -24191,7 +24200,12 @@ function lowerExpressionImpl(expr, ctx, _isAssigned = false) {
     case "ArrowFunction": {
       const reactiveLowered = lowerReactiveScopeExpression(expr);
       if (reactiveLowered) return reactiveLowered;
-      const paramIds = mapParams(expr.params);
+      const useRawParams = expr.rawParams && expr.rawParams.length > 0 && expr.rawParams.every(
+        (param) => t4.isIdentifier(param) || t4.isRestElement(param) && t4.isIdentifier(param.argument)
+      );
+      const paramIds = useRawParams ? expr.rawParams.map(
+        (param) => t4.cloneNode(param, true)
+      ) : mapParams(expr.params);
       const shadowed = new Set(expr.params.map((p) => deSSAVarName(p.name)));
       const localDeclared = collectLocalDeclaredNames(
         expr.params,
@@ -24239,7 +24253,12 @@ function lowerExpressionImpl(expr, ctx, _isAssigned = false) {
     case "FunctionExpression": {
       const reactiveLowered = lowerReactiveScopeExpression(expr);
       if (reactiveLowered) return reactiveLowered;
-      const paramIds = mapParams(expr.params);
+      const useRawParams = expr.rawParams && expr.rawParams.length > 0 && expr.rawParams.every(
+        (param) => t4.isIdentifier(param) || t4.isRestElement(param) && t4.isIdentifier(param.argument)
+      );
+      const paramIds = useRawParams ? expr.rawParams.map(
+        (param) => t4.cloneNode(param, true)
+      ) : mapParams(expr.params);
       const shadowed = new Set(expr.params.map((p) => deSSAVarName(p.name)));
       const localDeclared = collectLocalDeclaredNames(expr.params, expr.body, t4);
       return withNonReactiveScope(
@@ -26804,6 +26823,8 @@ function buildListCallExpression(expr, statements, ctx) {
   }
   const keyExpr = extractKeyFromMapCallback(mapCallback);
   const isKeyed = !!keyExpr;
+  const hasRestParam = (mapCallback.kind === "ArrowFunction" || mapCallback.kind === "FunctionExpression") && Array.isArray(mapCallback.rawParams) && mapCallback.rawParams.some((param) => t4.isRestElement(param));
+  const canConstifyKey = isKeyed && keyExpr && !hasRestParam;
   if (isKeyed) {
     ctx.helpersUsed.add("keyedList");
   } else {
@@ -26817,7 +26838,7 @@ function buildListCallExpression(expr, statements, ctx) {
   const prevListKeyExpr = ctx.listKeyExpr;
   const prevListItemParamName = ctx.listItemParamName;
   const prevListKeyParamName = ctx.listKeyParamName;
-  if (isKeyed && keyExpr) {
+  if (canConstifyKey && keyExpr) {
     ctx.listKeyExpr = keyExpr;
     ctx.listKeyParamName = "__key";
     if (mapCallback.kind === "ArrowFunction" || mapCallback.kind === "FunctionExpression") {
@@ -26903,7 +26924,7 @@ function buildListCallExpression(expr, statements, ctx) {
       keyExprAst
     );
     const hasIndexParam = (t4.isArrowFunctionExpression(callbackExpr) || t4.isFunctionExpression(callbackExpr)) && callbackExpr.params.length >= 2;
-    if (t4.isArrowFunctionExpression(callbackExpr) || t4.isFunctionExpression(callbackExpr)) {
+    if (canConstifyKey && (t4.isArrowFunctionExpression(callbackExpr) || t4.isFunctionExpression(callbackExpr))) {
       const newParams = [...callbackExpr.params];
       while (newParams.length < 2) {
         newParams.push(t4.identifier(newParams.length === 0 ? "__item" : "__index"));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fictjs/compiler",
-  "version": "0.5.0",
+  "version": "0.5.1",
   "description": "Babel plugin for Fict Compiler",
   "publishConfig": {
     "access": "public",
@@ -48,7 +48,7 @@
     "@types/babel__helper-plugin-utils": "^7.10.3",
     "@types/babel__traverse": "^7.28.0",
     "tsup": "^8.5.1",
-    "@fictjs/runtime": "0.5.0"
+    "@fictjs/runtime": "0.5.1"
   },
   "scripts": {
     "build": "tsup src/index.ts --format cjs,esm --dts",