@backtickjs/compiler 0.1.11 → 0.2.0

package/dist/clientImports.d.ts

@@ -0,0 +1,11 @@
+import type ts from "typescript";
+import type { Segment } from "./segmentsToString.js";
+export declare function isClientImportDeclaration(ts: typeof import("typescript"), node: ts.Node): node is ts.ImportDeclaration & {
+    moduleSpecifier: ts.StringLiteral;
+};
+export declare function virtualClientImport(ts: typeof import("typescript"), sourceFile: ts.SourceFile, declaration: ts.ImportDeclaration): Segment[];
+export declare function packageOf(specifier: string): string;
+export declare function installedVersion(ts: typeof import("typescript"), specifier: string, fileName: string): string | undefined;
+export declare function runtimeClientImport(ts: typeof import("typescript"), declaration: ts.ImportDeclaration & {
+    moduleSpecifier: ts.StringLiteral;
+}, version: string): ts.Statement[];

package/dist/clientImports.js

@@ -0,0 +1,132 @@
+// `import { View } from "react-native" with { backtick: "client" }`, an import
+// of what the client provides. The server never loads the module: each name
+// is a client import of it, typed `Client<…>` by the module's own declarations.
+// A type-only one is left to TypeScript, which refuses attributes on it.
+export function isClientImportDeclaration(ts, node) {
+    return (ts.isImportDeclaration(node) &&
+        node.importClause?.isTypeOnly !== true &&
+        (node.attributes?.elements.some((attribute) => attribute.name.text === "backtick" &&
+            ts.isStringLiteral(attribute.value) &&
+            attribute.value.text === "client") ??
+            false));
+}
+function bindingsOf(ts, declaration) {
+    const clause = declaration.importClause;
+    const named = clause?.namedBindings;
+    const bindings = [];
+    if (clause?.name !== undefined) {
+        const local = clause.name;
+        bindings.push({
+            name: "default",
+            written: undefined,
+            local,
+            isType: false,
+        });
+    }
+    if (named !== undefined && ts.isNamespaceImport(named)) {
+        const local = named.name;
+        bindings.push({ name: "*", written: undefined, local, isType: false });
+    }
+    if (named !== undefined && ts.isNamedImports(named)) {
+        for (const element of named.elements) {
+            const written = element.propertyName ?? element.name;
+            bindings.push({
+                name: written.text,
+                written,
+                local: element.name,
+                isType: element.isTypeOnly,
+            });
+        }
+    }
+    return bindings;
+}
+// For the typechecker, each name mapped back to where it's written: the
+// values destructured from the module's exports as client imports, so the
+// editor goes from a name to where the module declares it; a namespace a
+// client import of the whole module; a type imported from the module.
+export function virtualClientImport(ts, sourceFile, declaration) {
+    const at = (node) => [
+        node.getText(sourceFile),
+        undefined,
+        node.getStart(sourceFile),
+        node.getEnd() - node.getStart(sourceFile),
+    ];
+    const from = at(declaration.moduleSpecifier);
+    const bindings = bindingsOf(ts, declaration);
+    const values = bindings.filter(({ name, isType }) => !isType && name !== "*");
+    const statements = [];
+    if (values.length > 0) {
+        statements.push([
+            "declare const { ",
+            ...values.flatMap(({ written, local }, index) => [
+                ...(index > 0 ? [", "] : []),
+                ...(written === undefined
+                    ? ["default: "]
+                    : written.getText(sourceFile) === local.text
+                        ? []
+                        : [at(written), ": "]),
+                at(local),
+            ]),
+            ' }: import("@backtickjs/core").ClientModule<typeof import(',
+            from,
+            ")>;",
+        ]);
+    }
+    for (const { name, written, local, isType } of bindings) {
+        if (name === "*") {
+            statements.push([
+                "declare const ",
+                at(local),
+                ': import("@backtickjs/core").Client<typeof import(',
+                from,
+                ")>;",
+            ]);
+        }
+        else if (isType) {
+            statements.push([
+                "import type { ",
+                at(written),
+                " as ",
+                at(local),
+                " } from ",
+                from,
+                ";",
+            ]);
+        }
+    }
+    return statements.flatMap((statement, index) => index === 0 ? statement : [" ", ...statement]);
+}
+// The package a module specifier is in: `react` for `react/jsx-runtime`.
+export function packageOf(specifier) {
+    const segments = specifier.split("/");
+    return segments.slice(0, specifier.startsWith("@") ? 2 : 1).join("/");
+}
+// The version of its package a client import is typed against: as installed
+// where the importing file finds it, up its directories as `tsc` finds a config.
+export function installedVersion(ts, specifier, fileName) {
+    const manifest = ts.findConfigFile(ts.sys.resolvePath(fileName), ts.sys.fileExists, `node_modules/${packageOf(specifier)}/package.json`);
+    if (manifest === undefined)
+        return undefined;
+    const { version } = JSON.parse(ts.sys.readFile(manifest));
+    return version;
+}
+// For the runtime, a constant per value it names, in the declaration's place:
+// `const View = { "@backtickjs": "ClientImport", name: "View", from:
+// "react-native", version: "0.86.3" }`, core's `ClientImport`.
+export function runtimeClientImport(ts, declaration, version) {
+    const f = ts.factory;
+    const property = (key, value) => f.createPropertyAssignment(key, f.createStringLiteral(value));
+    return bindingsOf(ts, declaration)
+        .filter(({ isType }) => !isType)
+        .map(({ name, local }) => 
+    // Still the import it replaces, which `transform` places scripts after.
+    ts.setOriginalNode(f.createVariableStatement(undefined, f.createVariableDeclarationList([
+        f.createVariableDeclaration(local.text, undefined, undefined, f.createObjectLiteralExpression([
+            property(f.createStringLiteral("@backtickjs"), "ClientImport"),
+            property("name", name),
+            property("from", declaration.moduleSpecifier.text),
+            property("version", version),
+        ])),
+    ], ts.NodeFlags.Const)), declaration));
+}
+//# sourceMappingURL=clientImports.js.map

package/dist/clientImports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clientImports.js","sourceRoot":"","sources":["../src/clientImports.ts"],"names":[],"mappings":"AAGA,+EAA+E;AAC/E,4EAA4E;AAC5E,gFAAgF;AAChF,yEAAyE;AAEzE,MAAM,UAAU,yBAAyB,CACvC,EAA+B,EAC/B,IAAa;IAEb,OAAO,CACL,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,YAAY,EAAE,UAAU,KAAK,IAAI;QACtC,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAC7B,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;YAClC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC;YACnC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CACpC;YACC,KAAK,CAAC,CACT,CAAC;AACJ,CAAC;AAYD,SAAS,UAAU,CACjB,EAA+B,EAC/B,WAAiC;IAEjC,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC;IACxC,MAAM,KAAK,GAAG,MAAM,EAAE,aAAa,CAAC;IACpC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,SAAS;YAClB,KAAK;YACL,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO;gBACP,KAAK,EAAE,OAAO,CAAC,IAAI;gBACnB,MAAM,EAAE,OAAO,CAAC,UAAU;aAC3B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,wEAAwE;AACxE,0EAA0E;AAC1E,yEAAyE;AACzE,sEAAsE;AACtE,MAAM,UAAU,mBAAmB,CACjC,EAA+B,EAC/B,UAAyB,EACzB,WAAiC;IAEjC,MAAM,EAAE,GAAG,CAAC,IAAa,EAAW,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,SAAS;QACT,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QACzB,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;KAC1C,CAAC;IACF,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC;IAC9E,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,UAAU,CAAC,IAAI,CAAC;YACd,kBAAkB;YAClB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAa,EAAE,CAAC;gBAC1D,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5B,GAAG,CAAC,OAAO,KAAK,SAAS;oBACvB,CAAC,CAAC,CAAC,WAAW,CAAC;oBACf,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC,IAAI;wBAC1C,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC1B,EAAE,CAAC,KAAK,CAAC;aACV,CAAC;YACF,4DAA4D;YAC5D,IAAI;YACJ,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QACxD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,UAAU,CAAC,IAAI,CAAC;gBACd,gBAAgB;gBAChB,EAAE,CAAC,KAAK,CAAC;gBACT,oDAAoD;gBACpD,IAAI;gBACJ,KAAK;aACN,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,MAAM,EAAE,CAAC;YAClB,UAAU,CAAC,IAAI,CAAC;gBACd,gBAAgB;gBAChB,EAAE,CAAC,OAAQ,CAAC;gBACZ,MAAM;gBACN,EAAE,CAAC,KAAK,CAAC;gBACT,UAAU;gBACV,IAAI;gBACJ,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAC7C,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,SAAS,CAAC,SAAiB;IACzC,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtC,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACxE,CAAC;AAED,4EAA4E;AAC5E,iFAAiF;AACjF,MAAM,UAAU,gBAAgB,CAC9B,EAA+B,EAC/B,SAAiB,EACjB,QAAgB;IAEhB,MAAM,QAAQ,GAAG,EAAE,CAAC,cAAc,CAChC,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,EAC5B,EAAE,CAAC,GAAG,CAAC,UAAU,EACjB,gBAAgB,SAAS,CAAC,SAAS,CAAC,eAAe,CACpD,CAAC;IACF,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAE,CAExD,CAAC;IACF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,qEAAqE;AACrE,+DAA+D;AAC/D,MAAM,UAAU,mBAAmB,CACjC,EAA+B,EAC/B,WAAyE,EACzE,OAAe;IAEf,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,MAAM,QAAQ,GAAG,CAAC,GAA6B,EAAE,KAAa,EAAE,EAAE,CAChE,CAAC,CAAC,wBAAwB,CAAC,GAAG,EAAE,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;IAChE,OAAO,UAAU,CAAC,EAAE,EAAE,WAAW,CAAC;SAC/B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC;SAC/B,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;IACvB,wEAAwE;IACxE,EAAE,CAAC,eAAe,CAChB,CAAC,CAAC,uBAAuB,CACvB,SAAS,EACT,CAAC,CAAC,6BAA6B,CAC7B;QACE,CAAC,CAAC,yBAAyB,CACzB,KAAK,CAAC,IAAI,EACV,SAAS,EACT,SAAS,EACT,CAAC,CAAC,6BAA6B,CAAC;YAC9B,QAAQ,CACN,CAAC,CAAC,mBAAmB,CAAC,aAAa,CAAC,EACpC,cAAc,CACf;YACD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;YACtB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC;YAClD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;SAC7B,CAAC,CACH;KACF,EACD,EAAE,CAAC,SAAS,CAAC,KAAK,CACnB,CACF,EACD,WAAW,CACZ,CACF,CAAC;AACN,CAAC"}

package/dist/compileModule.d.ts

@@ -5,7 +5,7 @@ import type { Plugin } from "./compileScript.js";
  * with the project's own `require`:
  *
  * ```json
- * "backtick": { "plugins": ["@backtickjs/react/plugin"] }
+ * "backtick": { "plugins": ["@backtickjs/jsx-react/plugin"] }
  * ```
  */
 export declare function pluginsFrom(packageJson: string, require: (specifier: string) => unknown): Plugin[];

package/dist/compileModule.js

@@ -4,7 +4,7 @@ import { transform } from "./transform.js";
  * with the project's own `require`:
  *
  * ```json
- * "backtick": { "plugins": ["@backtickjs/react/plugin"] }
+ * "backtick": { "plugins": ["@backtickjs/jsx-react/plugin"] }
  * ```
  */
 export function pluginsFrom(packageJson, require) {

package/dist/compileScript.d.ts

@@ -1,7 +1,7 @@
 import type { EmittedScript } from "./emitScript.js";
 /**
  * A framework's compile step: a module in, the module it compiles to out, with
- * its map into the module it was given. Solid's adapter's `solid()` is one.
+ * its map into the module it was given. `@backtickjs/jsx-solid`'s `solid()` is one.
  * Synchronous, as a TypeScript transformer is.
  */
 export type Plugin = (code: string, id: string) => {

package/dist/printVirtualCode.js

@@ -1,16 +1,30 @@
 import { buildMappings } from "./buildMappings.js";
+import { isClientImportDeclaration, virtualClientImport, } from "./clientImports.js";
 import { mayAwait } from "./rewriteScript.js";
 import { segmentsToString } from "./segmentsToString.js";
 import { virtualScript } from "./virtualScript.js";
 export function printVirtualCode(ts, parsedFile, rewrittenFile) {
     const { sourceFile } = parsedFile;
     const segments = [];
+    // What's rewritten, client imports and scripts, in the order it's written.
+    const rewrites = [
+        ...sourceFile.statements
+            .filter((statement) => isClientImportDeclaration(ts, statement))
+            .map((declaration) => ({
+            node: declaration,
+            render: () => virtualClientImport(ts, sourceFile, declaration),
+        })),
+        ...parsedFile.scripts.map((script) => ({
+            node: script.sourceNode,
+            render: () => renderScript(ts, sourceFile, rewrittenFile, script),
+        })),
+    ].sort((a, b) => a.node.getStart(sourceFile) - b.node.getStart(sourceFile));
     let cursor = 0;
-    for (const script of parsedFile.scripts) {
-        const start = script.sourceNode.getStart(sourceFile);
+    for (const { node, render } of rewrites) {
+        const start = node.getStart(sourceFile);
         segments.push(...renderVerbatim(sourceFile.text, cursor, start - cursor));
-        segments.push(...renderScript(ts, sourceFile, rewrittenFile, script));
-        cursor = script.sourceNode.getEnd();
+        segments.push(...render());
+        cursor = node.getEnd();
     }
     segments.push(...renderVerbatim(sourceFile.text, cursor, sourceFile.text.length - cursor));
     return {

package/dist/printVirtualCode.js.map

@@ -1 +1 @@
-{"version":3,"file":"printVirtualCode.js","sourceRoot":"","sources":["../src/printVirtualCode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AAGvE,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAgB,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAOnD,MAAM,UAAU,gBAAgB,CAC9B,EAA+B,EAC/B,UAAsB,EACtB,aAA4B;IAE5B,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAC;IAClC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACrD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;QACtE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;IACtC,CAAC;IACD,QAAQ,CAAC,IAAI,CACX,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAC5E,CAAC;IAEF,OAAO;QACL,WAAW,EAAE,gBAAgB,CAAC,QAAQ,CAAC;QACvC,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,EAA+B,EAC/B,UAAyB,EACzB,aAA4B,EAC5B,MAAoB;IAEpB,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,qEAAqE;IACrE,8CAA8C;IAC9C,IAAI,SAAS,CAAC,aAAa,EAAE,CAAC;QAC5B,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE,CACzD,YAAY,CACV,EAAE,EACF,UAAU,EACV,aAAa,EACb,MAAM,EACN,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAChC,CACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,gEAAgE;AAChE,+EAA+E;AAC/E,4EAA4E;AAC5E,4EAA4E;AAC5E,SAAS,YAAY,CACnB,EAA+B,EAC/B,UAAyB,EACzB,aAA4B,EAC5B,MAAc,EACd,SAAkB;IAElB,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAC5D,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAa,EAAE,GAAY,EAAa,EAAE;QACxD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,YAAY,CAAC,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;QAC7D,CAAC;QACD,IAAI,GAAG,IAAI,SAAS,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,aAAa,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/D,CAAC;QACD,4CAA4C;QAC5C,MAAM,KAAK,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,IAAI,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACvC,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACtB,CAAC,CAAC,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1E,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,cAAc,CACrB,UAAkB,EAClB,KAAa,EACb,MAAc;IAEd,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAC/E,CAAC"}
+{"version":3,"file":"printVirtualCode.js","sourceRoot":"","sources":["../src/printVirtualCode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AACvE,OAAO,EACL,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAgB,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAOnD,MAAM,UAAU,gBAAgB,CAC9B,EAA+B,EAC/B,UAAsB,EACtB,aAA4B;IAE5B,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAC;IAClC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,2EAA2E;IAC3E,MAAM,QAAQ,GAAG;QACf,GAAG,UAAU,CAAC,UAAU;aACrB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;aAC/D,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YACrB,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,WAAW,CAAC;SAC/D,CAAC,CAAC;QACL,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,MAAM,CAAC,UAAU;YACvB,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC;SAClE,CAAC,CAAC;KACJ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAE5E,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC;QAC3B,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IACzB,CAAC;IACD,QAAQ,CAAC,IAAI,CACX,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAC5E,CAAC;IAEF,OAAO;QACL,WAAW,EAAE,gBAAgB,CAAC,QAAQ,CAAC;QACvC,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,EAA+B,EAC/B,UAAyB,EACzB,aAA4B,EAC5B,MAAoB;IAEpB,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,qEAAqE;IACrE,8CAA8C;IAC9C,IAAI,SAAS,CAAC,aAAa,EAAE,CAAC;QAC5B,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE,CACzD,YAAY,CACV,EAAE,EACF,UAAU,EACV,aAAa,EACb,MAAM,EACN,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAChC,CACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,gEAAgE;AAChE,+EAA+E;AAC/E,4EAA4E;AAC5E,4EAA4E;AAC5E,SAAS,YAAY,CACnB,EAA+B,EAC/B,UAAyB,EACzB,aAA4B,EAC5B,MAAc,EACd,SAAkB;IAElB,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAC5D,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAa,EAAE,GAAY,EAAa,EAAE;QACxD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,YAAY,CAAC,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;QAC7D,CAAC;QACD,IAAI,GAAG,IAAI,SAAS,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,aAAa,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/D,CAAC;QACD,4CAA4C;QAC5C,MAAM,KAAK,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,IAAI,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACvC,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACtB,CAAC,CAAC,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1E,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,cAAc,CACrB,UAAkB,EAClB,KAAa,EACb,MAAc;IAEd,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAC/E,CAAC"}

package/dist/rewriteScript.js

@@ -110,11 +110,11 @@ export function rewriteScript(ts, clientScript, fileHash, bindings, params = [])
     if (refused.length > 0) {
         return leftAsWritten(refused);
     }
-    // Which script this is (see `ClientModule.id`): its line from 1, and its
+    // Which script this is (see `ScriptModule.id`): its line from 1, and its
     // column from 0.
     const { line, character } = sourceFile.getLineAndCharacterOfPosition(scriptRange.start);
     const id = `${fileHash}:${line + 1}:${character}`;
-    // The function's parameters, as `ClientModule.params` describes them, and
+    // The function's parameters, as `ScriptModule.params` describes them, and
     // what a run passes: for each splice and tag, the host expression written
     // there.
     const objectLiteral = (properties) => ts.factory.createObjectLiteralExpression(Object.entries(properties).map(([name, value]) => ts.factory.createPropertyAssignment(name, value)), false);

package/dist/transform.d.ts

@@ -9,7 +9,7 @@ export interface TransformOptions {
     readonly sourceName?: (fileName: string) => string;
     /**
      * The framework's compile steps, run in series over each script: Solid's
-     * adapter's `solid()`. None by default, which leaves a script's JSX for a
+     * `@backtickjs/jsx-solid`'s `solid()`. None by default, which leaves a script's JSX for a
      * bundle's own plugins.
      */
     readonly plugins?: readonly Plugin[];

package/dist/transform.js

@@ -1,3 +1,4 @@
+import { isClientImportDeclaration, packageOf, runtimeClientImport, installedVersion, } from "./clientImports.js";
 import { compileScript } from "./compileScript.js";
 import { parseSourceFile } from "./parseFile.js";
 import { rewriteFile } from "./rewriteFile.js";
@@ -5,7 +6,8 @@ import { createCall, moduleDeclaration } from "./rewriteScript.js";
 export function transform(ts, addDiagnostic, { sourceName = (fileName) => fileName, plugins = [] } = {}) {
     return (context) => (sourceFile) => {
         const parsedFile = parseSourceFile(ts, sourceFile);
-        if (parsedFile.scripts.length === 0) {
+        if (parsedFile.scripts.length === 0 &&
+            !sourceFile.statements.some((statement) => isClientImportDeclaration(ts, statement))) {
             return sourceFile;
         }
         const rewrittenFile = rewriteFile(ts, parsedFile);
@@ -36,6 +38,26 @@ export function transform(ts, addDiagnostic, { sourceName = (fileName) => fileNa
             }
         }
         const visit = (node) => {
+            // The server never loads a client import's module: the declaration is
+            // replaced by its client imports, or by nothing where the package isn't
+            // installed.
+            if (isClientImportDeclaration(ts, node)) {
+                const { moduleSpecifier } = node;
+                const version = installedVersion(ts, moduleSpecifier.text, sourceFile.fileName);
+                if (version === undefined) {
+                    addDiagnostic?.({
+                        file: sourceFile,
+                        start: moduleSpecifier.getStart(sourceFile),
+                        length: moduleSpecifier.getWidth(sourceFile),
+                        messageText: `${packageOf(moduleSpecifier.text)} isn't installed where this file finds packages: install the version the client app has.`,
+                        category: ts.DiagnosticCategory.Error,
+                        code: 0,
+                        source: "backtick",
+                    });
+                    return undefined;
+                }
+                return runtimeClientImport(ts, node, version);
+            }
             if (ts.isTaggedTemplateExpression(node) &&
                 ts.isIdentifier(node.tag) &&
                 node.tag.text === "cs" &&
@@ -48,8 +70,9 @@ export function transform(ts, addDiagnostic, { sourceName = (fileName) => fileNa
             return ts.visitEachChild(node, visit, context);
         };
         const visited = ts.visitNode(sourceFile, visit, ts.isSourceFile);
-        // After the imports, before anything that could run a script.
-        const imports = visited.statements.findIndex((statement) => !ts.isImportDeclaration(statement));
+        // After the imports, client imports among them, before anything that
+        // could run a script.
+        const imports = visited.statements.findIndex((statement) => !ts.isImportDeclaration(ts.getOriginalNode(statement)));
         const at = imports === -1 ? visited.statements.length : imports;
         return context.factory.updateSourceFile(visited, [
             ...visited.statements.slice(0, at),

package/dist/transform.js.map

@@ -1 +1 @@
-{"version":3,"file":"transform.js","sourceRoot":"","sources":["../src/transform.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAe,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAiBnE,MAAM,UAAU,SAAS,CACvB,EAA+B,EAC/B,aAAmD,EACnD,EAAE,UAAU,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,GAAG,EAAE,KAAuB,EAAE;IAE5E,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,EAAE;QACjC,MAAM,UAAU,GAAG,eAAe,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACnD,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,MAAM,aAAa,GAAG,WAAW,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QAElD,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,MAAM,UAAU,IAAI,aAAa,CAAC,WAAW,EAAE,CAAC;gBACnD,aAAa,CAAC;oBACZ,IAAI,EAAE,UAAU;oBAChB,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK;oBAC7B,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK;oBACrD,WAAW,EAAE,UAAU,CAAC,OAAO;oBAC/B,QAAQ,EAAE,UAAU,CAAC,QAAQ;oBAC7B,IAAI,EAAE,UAAU,CAAC,IAAI;oBACrB,MAAM,EAAE,UAAU;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,uDAAuD;QACvD,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAmB,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC3C,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC;YAC5D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACnE,MAAM,UAAU,GAAG,UAAU,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC9C,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACnE,OAAO,CAAC,GAAG,CACT,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,UAAU,CAAC,EAC3C,UAAU,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,CACpC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAe,CAAC,IAAI,EAAE,EAAE;YACjC,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;gBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI;gBACtB,IAAI,CAAC,GAAG,IAAI,CAAC,EACb,CAAC;gBACD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC;gBACrE,IAAI,OAAO,EAAE,CAAC;oBACZ,OAAO,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YACD,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAC1B,UAAU,EACV,KAAK,EACL,EAAE,CAAC,YAAY,CACC,CAAC;QACnB,8DAA8D;QAC9D,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAC1C,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAClD,CAAC;QACF,MAAM,EAAE,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAChE,OAAO,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,EAAE;YAC/C,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAClC,GAAG,OAAO;YACV,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;SAChC,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"transform.js","sourceRoot":"","sources":["../src/transform.ts"],"names":[],"mappings":"AACA,OAAO,EACL,yBAAyB,EACzB,SAAS,EACT,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAe,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAiBnE,MAAM,UAAU,SAAS,CACvB,EAA+B,EAC/B,aAAmD,EACnD,EAAE,UAAU,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,GAAG,EAAE,KAAuB,EAAE;IAE5E,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,EAAE;QACjC,MAAM,UAAU,GAAG,eAAe,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACnD,IACE,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAC/B,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACxC,yBAAyB,CAAC,EAAE,EAAE,SAAS,CAAC,CACzC,EACD,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,MAAM,aAAa,GAAG,WAAW,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QAElD,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,MAAM,UAAU,IAAI,aAAa,CAAC,WAAW,EAAE,CAAC;gBACnD,aAAa,CAAC;oBACZ,IAAI,EAAE,UAAU;oBAChB,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK;oBAC7B,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK;oBACrD,WAAW,EAAE,UAAU,CAAC,OAAO;oBAC/B,QAAQ,EAAE,UAAU,CAAC,QAAQ;oBAC7B,IAAI,EAAE,UAAU,CAAC,IAAI;oBACrB,MAAM,EAAE,UAAU;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,uDAAuD;QACvD,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAmB,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC3C,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC;YAC5D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACnE,MAAM,UAAU,GAAG,UAAU,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC9C,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACnE,OAAO,CAAC,GAAG,CACT,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,UAAU,CAAC,EAC3C,UAAU,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,CACpC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAe,CAAC,IAAI,EAAE,EAAE;YACjC,sEAAsE;YACtE,wEAAwE;YACxE,aAAa;YACb,IAAI,yBAAyB,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC;gBACjC,MAAM,OAAO,GAAG,gBAAgB,CAC9B,EAAE,EACF,eAAe,CAAC,IAAI,EACpB,UAAU,CAAC,QAAQ,CACpB,CAAC;gBACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,aAAa,EAAE,CAAC;wBACd,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAE,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC;wBAC3C,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC;wBAC5C,WAAW,EAAE,GAAG,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,0FAA0F;wBACzI,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;wBACrC,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,UAAU;qBACnB,CAAC,CAAC;oBACH,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,OAAO,mBAAmB,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAChD,CAAC;YACD,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;gBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI;gBACtB,IAAI,CAAC,GAAG,IAAI,CAAC,EACb,CAAC;gBACD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC;gBACrE,IAAI,OAAO,EAAE,CAAC;oBACZ,OAAO,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YACD,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAC1B,UAAU,EACV,KAAK,EACL,EAAE,CAAC,YAAY,CACC,CAAC;QACnB,qEAAqE;QACrE,sBAAsB;QACtB,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAC1C,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CACtE,CAAC;QACF,MAAM,EAAE,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAChE,OAAO,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,EAAE;YAC/C,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAClC,GAAG,OAAO;YACV,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;SAChC,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@backtickjs/compiler",
-  "version": "0.1.11",
+  "version": "0.2.0",
   "description": "Internal: the compiler for Backtick client scripts, used by the build plugins, backtick-tsc and the editor tooling",
   "keywords": [
     "backtick",
@@ -46,7 +46,7 @@
     "@jridgewell/trace-mapping": "^0.3.31"
   },
   "devDependencies": {
-    "@backtickjs/core": "^0.1.11",
+    "@backtickjs/core": "^0.2.0",
     "prettier": "^3.6.2",
     "typescript": "^6.0.3"
   },

package/src/clientImports.ts

@@ -0,0 +1,198 @@
+import type ts from "typescript";
+import type { Segment } from "./segmentsToString.js";
+
+// `import { View } from "react-native" with { backtick: "client" }`, an import
+// of what the client provides. The server never loads the module: each name
+// is a client import of it, typed `Client<…>` by the module's own declarations.
+// A type-only one is left to TypeScript, which refuses attributes on it.
+
+export function isClientImportDeclaration(
+  ts: typeof import("typescript"),
+  node: ts.Node,
+): node is ts.ImportDeclaration & { moduleSpecifier: ts.StringLiteral } {
+  return (
+    ts.isImportDeclaration(node) &&
+    node.importClause?.isTypeOnly !== true &&
+    (node.attributes?.elements.some(
+      (attribute) =>
+        attribute.name.text === "backtick" &&
+        ts.isStringLiteral(attribute.value) &&
+        attribute.value.text === "client",
+    ) ??
+      false)
+  );
+}
+
+// One name a client import binds, by the module's name for it: `default` for
+// a default import, `*` for a namespace.
+interface Binding {
+  name: string;
+  // where the module's name is written, if it is
+  written: ts.ModuleExportName | undefined;
+  local: ts.Identifier;
+  isType: boolean;
+}
+
+function bindingsOf(
+  ts: typeof import("typescript"),
+  declaration: ts.ImportDeclaration,
+): Binding[] {
+  const clause = declaration.importClause;
+  const named = clause?.namedBindings;
+  const bindings: Binding[] = [];
+  if (clause?.name !== undefined) {
+    const local = clause.name;
+    bindings.push({
+      name: "default",
+      written: undefined,
+      local,
+      isType: false,
+    });
+  }
+  if (named !== undefined && ts.isNamespaceImport(named)) {
+    const local = named.name;
+    bindings.push({ name: "*", written: undefined, local, isType: false });
+  }
+  if (named !== undefined && ts.isNamedImports(named)) {
+    for (const element of named.elements) {
+      const written = element.propertyName ?? element.name;
+      bindings.push({
+        name: written.text,
+        written,
+        local: element.name,
+        isType: element.isTypeOnly,
+      });
+    }
+  }
+  return bindings;
+}
+
+// For the typechecker, each name mapped back to where it's written: the
+// values destructured from the module's exports as client imports, so the
+// editor goes from a name to where the module declares it; a namespace a
+// client import of the whole module; a type imported from the module.
+export function virtualClientImport(
+  ts: typeof import("typescript"),
+  sourceFile: ts.SourceFile,
+  declaration: ts.ImportDeclaration,
+): Segment[] {
+  const at = (node: ts.Node): Segment => [
+    node.getText(sourceFile),
+    undefined,
+    node.getStart(sourceFile),
+    node.getEnd() - node.getStart(sourceFile),
+  ];
+  const from = at(declaration.moduleSpecifier);
+  const bindings = bindingsOf(ts, declaration);
+  const values = bindings.filter(({ name, isType }) => !isType && name !== "*");
+  const statements: Segment[][] = [];
+  if (values.length > 0) {
+    statements.push([
+      "declare const { ",
+      ...values.flatMap(({ written, local }, index): Segment[] => [
+        ...(index > 0 ? [", "] : []),
+        ...(written === undefined
+          ? ["default: "]
+          : written.getText(sourceFile) === local.text
+            ? []
+            : [at(written), ": "]),
+        at(local),
+      ]),
+      ' }: import("@backtickjs/core").ClientModule<typeof import(',
+      from,
+      ")>;",
+    ]);
+  }
+  for (const { name, written, local, isType } of bindings) {
+    if (name === "*") {
+      statements.push([
+        "declare const ",
+        at(local),
+        ': import("@backtickjs/core").Client<typeof import(',
+        from,
+        ")>;",
+      ]);
+    } else if (isType) {
+      statements.push([
+        "import type { ",
+        at(written!),
+        " as ",
+        at(local),
+        " } from ",
+        from,
+        ";",
+      ]);
+    }
+  }
+  return statements.flatMap((statement, index) =>
+    index === 0 ? statement : [" ", ...statement],
+  );
+}
+
+// The package a module specifier is in: `react` for `react/jsx-runtime`.
+export function packageOf(specifier: string): string {
+  const segments = specifier.split("/");
+  return segments.slice(0, specifier.startsWith("@") ? 2 : 1).join("/");
+}
+
+// The version of its package a client import is typed against: as installed
+// where the importing file finds it, up its directories as `tsc` finds a config.
+export function installedVersion(
+  ts: typeof import("typescript"),
+  specifier: string,
+  fileName: string,
+): string | undefined {
+  const manifest = ts.findConfigFile(
+    ts.sys.resolvePath(fileName),
+    ts.sys.fileExists,
+    `node_modules/${packageOf(specifier)}/package.json`,
+  );
+  if (manifest === undefined) return undefined;
+  const { version } = JSON.parse(ts.sys.readFile(manifest)!) as {
+    version: string;
+  };
+  return version;
+}
+
+// For the runtime, a constant per value it names, in the declaration's place:
+// `const View = { "@backtickjs": "ClientImport", name: "View", from:
+// "react-native", version: "0.86.3" }`, core's `ClientImport`.
+export function runtimeClientImport(
+  ts: typeof import("typescript"),
+  declaration: ts.ImportDeclaration & { moduleSpecifier: ts.StringLiteral },
+  version: string,
+): ts.Statement[] {
+  const f = ts.factory;
+  const property = (key: string | ts.PropertyName, value: string) =>
+    f.createPropertyAssignment(key, f.createStringLiteral(value));
+  return bindingsOf(ts, declaration)
+    .filter(({ isType }) => !isType)
+    .map(({ name, local }) =>
+      // Still the import it replaces, which `transform` places scripts after.
+      ts.setOriginalNode(
+        f.createVariableStatement(
+          undefined,
+          f.createVariableDeclarationList(
+            [
+              f.createVariableDeclaration(
+                local.text,
+                undefined,
+                undefined,
+                f.createObjectLiteralExpression([
+                  property(
+                    f.createStringLiteral("@backtickjs"),
+                    "ClientImport",
+                  ),
+                  property("name", name),
+                  property("from", declaration.moduleSpecifier.text),
+                  property("version", version),
+                ]),
+              ),
+            ],
+            ts.NodeFlags.Const,
+          ),
+        ),
+        declaration,
+      ),
+    );
+}

package/src/compileModule.ts

@@ -16,7 +16,7 @@ interface PluginModule {
  * with the project's own `require`:
  *
  * ```json
- * "backtick": { "plugins": ["@backtickjs/react/plugin"] }
+ * "backtick": { "plugins": ["@backtickjs/jsx-react/plugin"] }
  * ```
  */
 export function pluginsFrom(

package/src/compileScript.ts

@@ -4,7 +4,7 @@ import type { EmittedScript } from "./emitScript.js";
 
 /**
  * A framework's compile step: a module in, the module it compiles to out, with
- * its map into the module it was given. Solid's adapter's `solid()` is one.
+ * its map into the module it was given. `@backtickjs/jsx-solid`'s `solid()` is one.
  * Synchronous, as a TypeScript transformer is.
  */
 export type Plugin = (

package/src/printVirtualCode.ts

@@ -1,5 +1,9 @@
 import type ts from "typescript";
 import { buildMappings, type SourceMapping } from "./buildMappings.js";
+import {
+  isClientImportDeclaration,
+  virtualClientImport,
+} from "./clientImports.js";
 import type { ClientScript, ParsedFile, Splice } from "./parseFile.js";
 import type { RewrittenFile } from "./rewriteFile.js";
 import { mayAwait } from "./rewriteScript.js";
@@ -19,12 +23,26 @@ export function printVirtualCode(
   const { sourceFile } = parsedFile;
   const segments: Segment[] = [];
 
+  // What's rewritten, client imports and scripts, in the order it's written.
+  const rewrites = [
+    ...sourceFile.statements
+      .filter((statement) => isClientImportDeclaration(ts, statement))
+      .map((declaration) => ({
+        node: declaration,
+        render: () => virtualClientImport(ts, sourceFile, declaration),
+      })),
+    ...parsedFile.scripts.map((script) => ({
+      node: script.sourceNode,
+      render: () => renderScript(ts, sourceFile, rewrittenFile, script),
+    })),
+  ].sort((a, b) => a.node.getStart(sourceFile) - b.node.getStart(sourceFile));
+
   let cursor = 0;
-  for (const script of parsedFile.scripts) {
-    const start = script.sourceNode.getStart(sourceFile);
+  for (const { node, render } of rewrites) {
+    const start = node.getStart(sourceFile);
     segments.push(...renderVerbatim(sourceFile.text, cursor, start - cursor));
-    segments.push(...renderScript(ts, sourceFile, rewrittenFile, script));
-    cursor = script.sourceNode.getEnd();
+    segments.push(...render());
+    cursor = node.getEnd();
   }
   segments.push(
     ...renderVerbatim(sourceFile.text, cursor, sourceFile.text.length - cursor),

package/src/rewriteScript.ts

@@ -201,14 +201,14 @@ export function rewriteScript(
     return leftAsWritten(refused);
   }
 
-  // Which script this is (see `ClientModule.id`): its line from 1, and its
+  // Which script this is (see `ScriptModule.id`): its line from 1, and its
   // column from 0.
   const { line, character } = sourceFile.getLineAndCharacterOfPosition(
     scriptRange.start,
   );
   const id = `${fileHash}:${line + 1}:${character}`;
 
-  // The function's parameters, as `ClientModule.params` describes them, and
+  // The function's parameters, as `ScriptModule.params` describes them, and
   // what a run passes: for each splice and tag, the host expression written
   // there.
   const objectLiteral = (properties: Record<string, ts.Expression>) =>

package/src/transform.ts

@@ -1,4 +1,10 @@
 import type ts from "typescript";
+import {
+  isClientImportDeclaration,
+  packageOf,
+  runtimeClientImport,
+  installedVersion,
+} from "./clientImports.js";
 import { compileScript, type Plugin } from "./compileScript.js";
 import { parseSourceFile } from "./parseFile.js";
 import { rewriteFile } from "./rewriteFile.js";
@@ -13,7 +19,7 @@ export interface TransformOptions {
   readonly sourceName?: (fileName: string) => string;
   /**
    * The framework's compile steps, run in series over each script: Solid's
-   * adapter's `solid()`. None by default, which leaves a script's JSX for a
+   * `@backtickjs/jsx-solid`'s `solid()`. None by default, which leaves a script's JSX for a
    * bundle's own plugins.
    */
   readonly plugins?: readonly Plugin[];
@@ -26,7 +32,12 @@ export function transform(
 ): ts.TransformerFactory<ts.SourceFile> {
   return (context) => (sourceFile) => {
     const parsedFile = parseSourceFile(ts, sourceFile);
-    if (parsedFile.scripts.length === 0) {
+    if (
+      parsedFile.scripts.length === 0 &&
+      !sourceFile.statements.some((statement) =>
+        isClientImportDeclaration(ts, statement),
+      )
+    ) {
       return sourceFile;
     }
 
@@ -64,6 +75,30 @@ export function transform(
     }
 
     const visit: ts.Visitor = (node) => {
+      // The server never loads a client import's module: the declaration is
+      // replaced by its client imports, or by nothing where the package isn't
+      // installed.
+      if (isClientImportDeclaration(ts, node)) {
+        const { moduleSpecifier } = node;
+        const version = installedVersion(
+          ts,
+          moduleSpecifier.text,
+          sourceFile.fileName,
+        );
+        if (version === undefined) {
+          addDiagnostic?.({
+            file: sourceFile,
+            start: moduleSpecifier.getStart(sourceFile),
+            length: moduleSpecifier.getWidth(sourceFile),
+            messageText: `${packageOf(moduleSpecifier.text)} isn't installed where this file finds packages: install the version the client app has.`,
+            category: ts.DiagnosticCategory.Error,
+            code: 0,
+            source: "backtick",
+          });
+          return undefined;
+        }
+        return runtimeClientImport(ts, node, version);
+      }
       if (
         ts.isTaggedTemplateExpression(node) &&
         ts.isIdentifier(node.tag) &&
@@ -82,9 +117,10 @@ export function transform(
       visit,
       ts.isSourceFile,
     ) as ts.SourceFile;
-    // After the imports, before anything that could run a script.
+    // After the imports, client imports among them, before anything that
+    // could run a script.
     const imports = visited.statements.findIndex(
-      (statement) => !ts.isImportDeclaration(statement),
+      (statement) => !ts.isImportDeclaration(ts.getOriginalNode(statement)),
     );
     const at = imports === -1 ? visited.statements.length : imports;
     return context.factory.updateSourceFile(visited, [