@solidjs/compiler 2.0.0-rc.7 → 2.0.0-rc.9

package/README.md

@@ -95,11 +95,11 @@ Scoped `<style>` blocks are compile-time only. The compiler removes the style el
 
 Solid rejects authored TSRX lazy destructuring (`&{ … }` / `&[ … ]`). Keep accessor calls and reactive property reads explicit in Solid source.
 
-Destructured bindings in keyed `@for` loops and `@catch` clauses stay deferred against Solid's item and error accessors, including nested patterns, defaults, computed keys, and rest.
+Control-flow bindings pass through exactly as authored. `@for … index` and `@for … key` hand the callback the item as an accessor (and the index as an accessor under a custom key), and `@catch (err, reset)` receives Solid's `ErrorAccessor` — write `item()`, `i()`, `err()` as you would in JSX. Destructuring a binding in one of those positions is rejected with a diagnostic, since there is nothing to destructure; the default keyed `@for` item is a raw value and destructures as usual.
 
 The frontend uses the community [oxc-tsrx](https://github.com/tsrx-org/oxc) parser at a pinned revision. Statement containers can be used as function bodies, statements, expressions (`const x = @{ … }`), and JSX children or expression containers. See `documentation/tsrx/frontend-notes.md` in the repository for the full frontend notes.
 
-`projectTsrxForTypecheck(source, { filename })` is an experimental compiler-owned projection for editor and typecheck integrations. It returns independently typecheckable post-rewrite TSX without running the DOM/SSR/universal transforms, injecting collision-safe imports for generated Solid control-flow and dynamic-element helpers. The tooling-only path recovers common incomplete editor snapshots while normal compilation remains strict. The result also includes an authored `.tsrx` source map, exact equal-text `mappings`, processed `css`/`cssHash`, and parser-authored embedded CSS/raw-script regions. Mapping and embedded offsets use JavaScript UTF-16 string coordinates. The ranges deliberately omit generated-only text; host adapters such as Volar attach feature capabilities to them.
+`projectTsrxForTypecheck(source, { filename })` is an experimental compiler-owned projection for editor and typecheck integrations. It returns independently typecheckable TSX without running the DOM/SSR/universal transforms, injecting collision-safe imports for generated Solid control-flow and dynamic-element helpers. The tooling-only path recovers common incomplete editor snapshots while normal compilation remains strict. The result also includes an authored `.tsrx` source map, exact equal-text `mappings`, processed `css`/`cssHash`, and parser-authored embedded CSS/raw-script regions. Mapping and embedded offsets use JavaScript UTF-16 string coordinates. The ranges deliberately omit generated-only text; host adapters such as Volar attach feature capabilities to them.
 
 ### Source maps
 
@@ -113,6 +113,7 @@ Pass `sourceMap: true` to receive a JSON source map string in `result.map`. For
 - `generate`: `"dom"`, `"ssr"`, `"universal"`, or `"dynamic"` (default `"dom"`)
 - `hydratable`
 - `dev`
+- `componentNames`: emit the source tag name as `createComponent`'s third argument (`createComponent(Home, props, "Home")`) so dev/observe runtimes label owners after minification; the production runtimes ignore it. DOM and SSR output (SSR keeps the `createComponent` call it otherwise inlines to `Comp(props)`); not universal or dynamic
 - `sourceMap`
 - `contextToCustomElements` (default `true`)
 - `delegateEvents`
@@ -150,7 +151,13 @@ result.code;
 result.functions; // [{ id, name, exports }] for manifest building
 ```
 
-The runtime module defaults to `@solidjs/web/server-functions`. Function IDs use `xxhash32(root-relative path)-<count>` (name-suffixed with `env: "development"`). There are also experimental `transformLazy` and `transformRefresh` passes.
+A function-level `"use server"` function is extracted out of its lexical position, so it may only reference its own parameters and locals, module top-level bindings, and globals. Capturing anything else is a compile error. That includes `this` and `arguments` in a marked arrow, which an arrow takes from the function it was written in. Use a `function` if the server function needs its own `this` or `arguments`.
+
+A function-level directive only works where the pass can extract the function: a function declaration (at any nesting depth), a function expression, or an arrow with a block body. Methods, getters, and setters are never extracted, so a directive on one is a compile error rather than a directive that silently does nothing. Assign a function to a property instead.
+
+A module-level `"use server"` module can only export server functions. Its client build is rebuilt from those exports alone, so anything else would be missing from the browser bundle. Re-exports, `export *`, class and enum exports, destructured exports, and exports declared without an initializer are compile errors naming the export and its position. Type-only and `declare` exports are erased and are fine.
+
+The runtime module defaults to `@solidjs/web/server-functions`. Function IDs are `<name>-<xxhash32(root-relative path)>`, the same in every env. The name is the function's dotted binding path, such as `handlers.save`, built from every named container on the way down (variable bindings, property keys, class names, class members, and named functions), so an id identifies a function by where it is bound rather than by its position in the file. Adding, removing, or reordering functions does not move the ids of the others. There are also experimental `transformLazy` and `transformRefresh` passes.
 
 ## Rust compiler core
 

package/index.js

@@ -261,6 +261,7 @@ const nativeOptionKeys = new Set([
   "generate",
   "hydratable",
   "dev",
+  "componentNames",
   "sourceMap",
   "contextToCustomElements",
   "delegateEvents",

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@solidjs/compiler",
   "description": "Solid's native Oxc JSX compiler",
-  "version": "2.0.0-rc.7",
+  "version": "2.0.0-rc.9",
   "author": "Ryan Carniato",
   "license": "MIT",
   "repository": {
@@ -62,11 +62,11 @@
     "emnapi": "^1.11.3"
   },
   "optionalDependencies": {
-    "@solidjs/compiler-darwin-x64": "2.0.0-rc.7",
-    "@solidjs/compiler-darwin-arm64": "2.0.0-rc.7",
-    "@solidjs/compiler-linux-x64-gnu": "2.0.0-rc.7",
-    "@solidjs/compiler-linux-arm64-gnu": "2.0.0-rc.7",
-    "@solidjs/compiler-win32-x64-msvc": "2.0.0-rc.7",
-    "@solidjs/compiler-wasm32-wasi": "2.0.0-rc.7"
+    "@solidjs/compiler-darwin-x64": "2.0.0-rc.9",
+    "@solidjs/compiler-darwin-arm64": "2.0.0-rc.9",
+    "@solidjs/compiler-linux-x64-gnu": "2.0.0-rc.9",
+    "@solidjs/compiler-linux-arm64-gnu": "2.0.0-rc.9",
+    "@solidjs/compiler-win32-x64-msvc": "2.0.0-rc.9",
+    "@solidjs/compiler-wasm32-wasi": "2.0.0-rc.9"
   }
 }

package/types.d.ts

@@ -12,6 +12,15 @@ export interface TransformOptions {
   generate?: "dom" | "ssr" | "universal" | "dynamic";
   hydratable?: boolean;
   dev?: boolean;
+  /**
+   * Emit the source tag name as a third `createComponent` argument
+   * (`createComponent(Home, props, "Home")`) so dev/observe runtimes can
+   * label owners after minification renames the function. DOM and SSR
+   * output (SSR keeps the `createComponent` call it would otherwise inline
+   * to `Comp(props)`); not universal or dynamic. The production runtimes
+   * ignore the argument.
+   */
+  componentNames?: boolean;
   sourceMap?: boolean;
   contextToCustomElements?: boolean;
   delegateEvents?: boolean;
@@ -131,8 +140,12 @@ export interface TransformDirectivesOptions {
 
 /** One extracted server function, for building a bundler manifest. */
 export interface ServerFunctionMeta {
-  /** The wire ID (`<hash>-<count>[-<name>]`). */
+  /** The wire ID (`<name>-<hash>[-<ordinal>]`). */
   id: string;
+  /**
+   * The dotted binding path that names the function, such as
+   * `handlers.save`. `anonymous` when no enclosing binding applies.
+   */
   name: string;
   /** Export names bound to this function (module-level directives only). */
   exports: string[];