@backtickjs/compiler 0.0.0-stage → 0.1.1

package/dist/transform.d.ts

@@ -0,0 +1,17 @@
+import type ts from "typescript";
+import { type Plugin } from "./compileScript.js";
+export interface TransformOptions {
+    /**
+     * What a script's source map names its host file, given TypeScript's name for
+     * it: for a build whose file names are paths on its own machine. By default,
+     * TypeScript's name.
+     */
+    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
+     * bundle's own plugins.
+     */
+    readonly plugins?: readonly Plugin[];
+}
+export declare function transform(ts: typeof import("typescript"), addDiagnostic?: (diagnostic: ts.Diagnostic) => void, { sourceName, plugins }?: TransformOptions): ts.TransformerFactory<ts.SourceFile>;

package/dist/transform.js

@@ -0,0 +1,61 @@
+import { compileScript } from "./compileScript.js";
+import { parseSourceFile } from "./parseFile.js";
+import { rewriteFile } from "./rewriteFile.js";
+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) {
+            return sourceFile;
+        }
+        const rewrittenFile = rewriteFile(ts, parsedFile);
+        if (addDiagnostic) {
+            for (const diagnostic of rewrittenFile.diagnostics) {
+                addDiagnostic({
+                    file: sourceFile,
+                    start: diagnostic.range.start,
+                    length: diagnostic.range.end - diagnostic.range.start,
+                    messageText: diagnostic.message,
+                    category: diagnostic.category,
+                    code: diagnostic.code,
+                    source: "backtick",
+                });
+            }
+        }
+        // Each script as the client gets it, its module declared once for every
+        // run of it; one that didn't parse is left as written.
+        const name = sourceName(sourceFile.fileName);
+        const modules = [];
+        const byStart = new Map();
+        for (const [template, { runtime }] of rewrittenFile.scripts) {
+            if (runtime !== null) {
+                const compiled = compileScript(ts, runtime.emitted, name, plugins);
+                const moduleName = `$module${modules.length}`;
+                modules.push(moduleDeclaration(ts, moduleName, runtime, compiled));
+                byStart.set(template.getStart(rewrittenFile.sourceFile), createCall(ts, moduleName, runtime));
+            }
+        }
+        const visit = (node) => {
+            if (ts.isTaggedTemplateExpression(node) &&
+                ts.isIdentifier(node.tag) &&
+                node.tag.text === "cs" &&
+                node.pos >= 0) {
+                const runtime = byStart.get(node.getStart(rewrittenFile.sourceFile));
+                if (runtime) {
+                    return ts.visitEachChild(runtime, visit, context);
+                }
+            }
+            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));
+        const at = imports === -1 ? visited.statements.length : imports;
+        return context.factory.updateSourceFile(visited, [
+            ...visited.statements.slice(0, at),
+            ...modules,
+            ...visited.statements.slice(at),
+        ]);
+    };
+}
+//# sourceMappingURL=transform.js.map

package/dist/transform.js.map

@@ -0,0 +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"}

package/dist/transpile.d.ts

@@ -0,0 +1,27 @@
+import type ts from "typescript";
+import { type TransformOptions } from "./transform.js";
+/**
+ * One standalone file, run through the transform.
+ *
+ * The options are here because a file standing alone has nobody to ask for
+ * them. Everywhere a project is being built there is a `tsconfig.json` and the
+ * `tsc` and Bun plugins read the user's; this is the other case — one source,
+ * no project — which is what both an e2e fixture and a playground example are.
+ * They have to be compiled the same way for either to say anything about the
+ * other, and one exported function is how that stays true.
+ *
+ * `verbatimModuleSyntax` is the load-bearing option. Without it TypeScript
+ * elides an import the source does not appear to use — `state`, where the
+ * source says `$state` inside a template — while the `params` the transform
+ * writes still names it, and what comes out throws `state is not defined`.
+ *
+ * What comes back is a module: the imports are still imports, because the
+ * transform writes references to them that TypeScript has not seen and so
+ * cannot rewrite. A caller that needs something runnable without a module
+ * loader transpiles this again, to `require`/`exports`, in a second pass.
+ *
+ * `jsxImportSource` is the caller's, and the only one that is: which target a
+ * file draws with is not something a compiler knows, and a default here would
+ * be this package naming one target's package for every file it ever sees.
+ */
+export declare function transpile(ts: typeof import("typescript"), fileName: string, sourceText: string, jsxImportSource: string, addDiagnostic?: (diagnostic: ts.Diagnostic) => void, options?: TransformOptions): string;

package/dist/transpile.js

@@ -0,0 +1,41 @@
+import { transform } from "./transform.js";
+/**
+ * One standalone file, run through the transform.
+ *
+ * The options are here because a file standing alone has nobody to ask for
+ * them. Everywhere a project is being built there is a `tsconfig.json` and the
+ * `tsc` and Bun plugins read the user's; this is the other case — one source,
+ * no project — which is what both an e2e fixture and a playground example are.
+ * They have to be compiled the same way for either to say anything about the
+ * other, and one exported function is how that stays true.
+ *
+ * `verbatimModuleSyntax` is the load-bearing option. Without it TypeScript
+ * elides an import the source does not appear to use — `state`, where the
+ * source says `$state` inside a template — while the `params` the transform
+ * writes still names it, and what comes out throws `state is not defined`.
+ *
+ * What comes back is a module: the imports are still imports, because the
+ * transform writes references to them that TypeScript has not seen and so
+ * cannot rewrite. A caller that needs something runnable without a module
+ * loader transpiles this again, to `require`/`exports`, in a second pass.
+ *
+ * `jsxImportSource` is the caller's, and the only one that is: which target a
+ * file draws with is not something a compiler knows, and a default here would
+ * be this package naming one target's package for every file it ever sees.
+ */
+export function transpile(ts, fileName, sourceText, jsxImportSource, addDiagnostic, options) {
+    const { outputText } = ts.transpileModule(sourceText, {
+        fileName,
+        compilerOptions: {
+            target: ts.ScriptTarget.ESNext,
+            module: ts.ModuleKind.ESNext,
+            jsx: ts.JsxEmit.ReactJSX,
+            jsxImportSource,
+            sourceMap: false,
+            verbatimModuleSyntax: true,
+        },
+        transformers: { before: [transform(ts, addDiagnostic, options)] },
+    });
+    return outputText;
+}
+//# sourceMappingURL=transpile.js.map

package/dist/transpile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transpile.js","sourceRoot":"","sources":["../src/transpile.ts"],"names":[],"mappings":"AACA,OAAO,EAAyB,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAElE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,SAAS,CACvB,EAA+B,EAC/B,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,aAAmD,EACnD,OAA0B;IAE1B,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,UAAU,EAAE;QACpD,QAAQ;QACR,eAAe,EAAE;YACf,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;YAC5B,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ;YACxB,eAAe;YACf,SAAS,EAAE,KAAK;YAChB,oBAAoB,EAAE,IAAI;SAC3B;QACD,YAAY,EAAE,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC,EAAE;KAClE,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/unmangle.d.ts

@@ -0,0 +1,2 @@
+export declare function mangle(identifier: string): string;
+export declare function unmangle(text: string): string;

package/dist/unmangle.js

@@ -0,0 +1,9 @@
+// The prefix the compiler adds to client-script identifiers when virtualizing.
+const CS_PREFIX = "__cs_";
+export function mangle(identifier) {
+    return `${CS_PREFIX}${identifier}`;
+}
+export function unmangle(text) {
+    return text.replaceAll(CS_PREFIX, "");
+}
+//# sourceMappingURL=unmangle.js.map

package/dist/unmangle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unmangle.js","sourceRoot":"","sources":["../src/unmangle.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,MAAM,SAAS,GAAG,OAAO,CAAC;AAE1B,MAAM,UAAU,MAAM,CAAC,UAAkB;IACvC,OAAO,GAAG,SAAS,GAAG,UAAU,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;AACxC,CAAC"}

package/dist/virtualScript.d.ts

@@ -0,0 +1,22 @@
+import type { ClientScript, Splice } from "./parseFile.js";
+import type { BindingResolution } from "./resolveBindings.js";
+import type { Segment } from "./segmentsToString.js";
+/**
+ * A script as the typechecker reads it: its own text, as written, wrapped as
+ * `cs.lift((() => …)())`, edited only where a name means something else on
+ * the client.
+ *
+ * - its own binding, renamed (`x` to `__cs_x`), so it can't hide a host binding
+ *   a splice names; a shorthand keeps its property name (`x: __cs_x`)
+ * - a name nothing declares, read as the client's global (`cs.globalThis.x`)
+ * - a splice, as the host value the client is handed: `$x` as
+ *   `cs.splice((x))`, `${…}` as `cs.splice(…)` around the host code
+ * - a splice written as a tag, `<$Card>`, as JSX on a name the host value is
+ *   handed to: `(($Card) => <$Card …>…</$Card>)(cs.splice((Card)))`, and
+ *   `(void (Card), …)` where it closes, for the closing tag's name
+ *
+ * Everything else, types included, is TypeScript's to read as written. Each
+ * piece maps back to the text it came from; what the wrapper adds maps to no
+ * editor feature.
+ */
+export declare function virtualScript(ts: typeof import("typescript"), script: ClientScript, bindings: BindingResolution, awaits: boolean, renderSplice: (splice: Splice) => Segment[]): Segment[];

package/dist/virtualScript.js

@@ -0,0 +1,305 @@
+import { tagRoot } from "./tagRoot.js";
+import { mangle } from "./unmangle.js";
+// What the editor reads through a wrapper the virtual code adds: nothing.
+const WRAPPER = { semantic: false, navigation: false };
+// What it reads through a name the virtual code adds over a span of the
+// script: only what is reported there. Hover and navigation stay with the
+// script's own names inside it.
+const REPORTED = { semantic: false, navigation: false };
+// A host tag's name, written as a value: everything but its color, which stays
+// the tag's, as JSX colors it.
+const TAG_NAME = {
+    semantic: { shouldHighlight: () => false },
+};
+/**
+ * A script as the typechecker reads it: its own text, as written, wrapped as
+ * `cs.lift((() => …)())`, edited only where a name means something else on
+ * the client.
+ *
+ * - its own binding, renamed (`x` to `__cs_x`), so it can't hide a host binding
+ *   a splice names; a shorthand keeps its property name (`x: __cs_x`)
+ * - a name nothing declares, read as the client's global (`cs.globalThis.x`)
+ * - a splice, as the host value the client is handed: `$x` as
+ *   `cs.splice((x))`, `${…}` as `cs.splice(…)` around the host code
+ * - a splice written as a tag, `<$Card>`, as JSX on a name the host value is
+ *   handed to: `(($Card) => <$Card …>…</$Card>)(cs.splice((Card)))`, and
+ *   `(void (Card), …)` where it closes, for the closing tag's name
+ *
+ * Everything else, types included, is TypeScript's to read as written. Each
+ * piece maps back to the text it came from; what the wrapper adds maps to no
+ * editor feature.
+ */
+export function virtualScript(ts, script, bindings, awaits, renderSplice) {
+    const file = script.fileWithPlaceholders;
+    const text = script.textWithPlaceholders;
+    const out = [];
+    const verbatim = (from, to) => {
+        if (to > from) {
+            out.push([
+                text.slice(from, to),
+                undefined,
+                script.toSourceOffset(from),
+                to - from,
+            ]);
+        }
+    };
+    const mapped = (written, node, data) => {
+        const { start, end } = script.toSourceRange(node);
+        out.push(data === undefined
+            ? [written, undefined, start, end - start]
+            : [written, undefined, start, end - start, data]);
+    };
+    // Text the virtual code adds, reported at `at` in the host file if at all.
+    const added = (written, at, data = WRAPPER) => {
+        out.push(at === undefined ? written : [written, undefined, at, 0, data]);
+    };
+    const emit = (node, from = node.getStart(file)) => {
+        if (ts.isIdentifier(node)) {
+            identifier(node);
+            return;
+        }
+        if ((ts.isJsxElement(node) || ts.isJsxSelfClosingElement(node)) &&
+            isHostTag(node)) {
+            hostTag(node);
+            return;
+        }
+        const children = node.getChildren(file);
+        if (children.length === 0) {
+            verbatim(from, node.getEnd());
+            return;
+        }
+        let at = from;
+        for (const child of children) {
+            if (child.getEnd() <= at) {
+                continue;
+            }
+            verbatim(at, child.getStart(file));
+            emit(child);
+            at = child.getEnd();
+        }
+        verbatim(at, node.getEnd());
+    };
+    const identifier = (node) => {
+        if (inTypePosition(ts, node)) {
+            verbatim(node.getStart(file), node.getEnd());
+            return;
+        }
+        const splice = script.splices[node.text];
+        if (splice !== undefined && splice.refs.includes(node)) {
+            // Parenthesized whole, so what it stands in reads it as one value: in
+            // `new $Animated.Value(0)`, `new` takes `$Animated.Value`, not the call.
+            const range = script.toSourceRange(node);
+            if (splice.kind === "braced") {
+                added("(cs.splice(", splice.expression.getStart(script.sourceFile));
+                out.push(...renderSplice(splice));
+                added("))", splice.expression.getEnd());
+            }
+            else {
+                // The name parenthesized too, as 1-char padding: `(count)` against
+                // `$count` starts the name where it follows the sigil, so a
+                // completion's replacement span round-trips to the bare name.
+                added("(cs.splice(", range.start);
+                mapped(`(${splice.expression.text})`, node);
+                added("))", range.end);
+            }
+            return;
+        }
+        const parent = node.parent;
+        const shorthand = (ts.isShorthandPropertyAssignment(parent) && parent.name === node) ||
+            (ts.isBindingElement(parent) &&
+                parent.name === node &&
+                parent.propertyName === undefined &&
+                parent.dotDotDotToken === undefined &&
+                ts.isObjectBindingPattern(parent.parent));
+        if (bindings.has(node)) {
+            if (shorthand) {
+                mapped(node.text, node);
+                added(": ");
+            }
+            mapped(mangle(node.text), node);
+            return;
+        }
+        if (node.text !== "undefined" && isReference(ts, node)) {
+            if (shorthand) {
+                mapped(node.text, node);
+                added(": ");
+            }
+            added("cs.globalThis.");
+            mapped(node.text, node);
+            return;
+        }
+        verbatim(node.getStart(file), node.getEnd());
+    };
+    // A tag that splices a host value, `<$Card>`, which the client is handed
+    // as a component.
+    const isHostTag = (node) => {
+        const root = tagRoot(ts, ts.isJsxElement(node) ? node.openingElement.tagName : node.tagName);
+        return (root !== undefined &&
+            script.splices[root.text]?.refs.includes(root) === true);
+    };
+    // A host tag is checked as JSX, as a tag is anywhere: on a parameter the
+    // host value is handed to, `(($Card) => <$Card …>…</$Card>)(cs.splice((Card)))`.
+    // JSX then checks it however the component is declared (a class, generic,
+    // overloaded) and allows what the framework allows on any tag (React's
+    // `key`). Its props and children are written as they were. The parameter
+    // takes the tag's written name, which a script can't otherwise bind, so an
+    // error about the tag names it as written, and is reported there; the name
+    // itself is read through `(Card)`, mapped to it, so definition, rename and
+    // references reach the host binding. Where the tag closes, `void (Card)`
+    // beside it does the same for the closing tag's name.
+    const hostTag = (node) => {
+        const opening = ts.isJsxElement(node) ? node.openingElement : node;
+        const tagName = opening.tagName;
+        // What the tag starts with, `$Card`, or `$Animated` in `<$Animated.View>`:
+        // the splice. The rest, `.View`, is written as it was.
+        const root = tagRoot(ts, tagName);
+        const tag = script.toSourceRange(root);
+        // The binding's name, parenthesized over its `$` as an unbraced splice is.
+        const name = `(${script.splices[root.text].expression.text})`;
+        // Where JSX stands, an expression is written in braces: a child of an
+        // element or fragment, or an attribute's value.
+        const parent = node.parent;
+        const braced = ts.isJsxAttribute(parent) ||
+            ts.isJsxElement(parent) ||
+            ts.isJsxFragment(parent);
+        if (braced) {
+            added("{");
+        }
+        const closing = ts.isJsxElement(node)
+            ? tagRoot(ts, node.closingElement.tagName)
+            : undefined;
+        if (closing !== undefined) {
+            added("(void ");
+            mapped(name, closing, TAG_NAME);
+            added(", ");
+        }
+        added(`((${root.text}) => <`);
+        mapped(root.text, root, REPORTED);
+        verbatim(root.getEnd(), tagName.getEnd());
+        // Its attributes and the opening's end, as written. What stands between
+        // the name and the first attribute maps to nothing: the end of the name is
+        // the name's, not the attribute's.
+        let at = tagName.getEnd();
+        for (const [index, attribute] of opening.attributes.properties.entries()) {
+            if (index === 0) {
+                added(text.slice(at, attribute.getStart(file)));
+            }
+            else {
+                verbatim(at, attribute.getStart(file));
+            }
+            emit(attribute);
+            at = attribute.getEnd();
+        }
+        if (opening.attributes.properties.length === 0) {
+            added(text.slice(at, opening.getEnd()));
+        }
+        else {
+            verbatim(at, opening.getEnd());
+        }
+        if (ts.isJsxElement(node)) {
+            at = opening.getEnd();
+            for (const child of node.children) {
+                verbatim(at, child.getStart(file));
+                emit(child);
+                at = child.getEnd();
+            }
+            verbatim(at, node.closingElement.getStart(file));
+            added("</");
+            mapped(root.text, closing, REPORTED);
+            verbatim(closing.getEnd(), node.closingElement.tagName.getEnd());
+            added(">");
+        }
+        added(")(cs.splice(", tag.start);
+        mapped(name, tagName, TAG_NAME);
+        added("))", tag.end);
+        if (ts.isJsxElement(node)) {
+            added(")");
+        }
+        if (braced) {
+            added("}");
+        }
+    };
+    // The wrapper the script is checked in, mapped to what it stands for: its
+    // opening to `cs\``, its close to the closing backtick, so where it meets the
+    // script is where the script starts and ends. No editor feature reads
+    // through it.
+    const tag = script.sourceNode.getStart(script.sourceFile);
+    const opened = script.sourceNode.template.getStart(script.sourceFile) + 1;
+    const closed = script.sourceNode.getEnd() - 1;
+    out.push([
+        awaits ? "cs.lift(await (async () => " : "cs.lift((() => ",
+        undefined,
+        tag,
+        opened - tag,
+        WRAPPER,
+    ]);
+    emit(file, 0);
+    out.push([")())", undefined, closed, 1, WRAPPER]);
+    return out;
+}
+// Whether a name is read as a value where it stands, rather than naming a
+// property, an attribute, a label or what a declaration declares.
+function isReference(ts, node) {
+    const parent = node.parent;
+    if ((ts.isPropertyAccessExpression(parent) ||
+        ts.isPropertyAssignment(parent) ||
+        ts.isMethodDeclaration(parent) ||
+        ts.isPropertyDeclaration(parent) ||
+        ts.isGetAccessorDeclaration(parent) ||
+        ts.isSetAccessorDeclaration(parent) ||
+        ts.isPropertySignature(parent) ||
+        ts.isMethodSignature(parent) ||
+        ts.isEnumMember(parent) ||
+        ts.isJsxAttribute(parent) ||
+        ts.isVariableDeclaration(parent) ||
+        ts.isParameter(parent) ||
+        ts.isFunctionDeclaration(parent) ||
+        ts.isFunctionExpression(parent) ||
+        ts.isClassDeclaration(parent) ||
+        ts.isClassExpression(parent) ||
+        ts.isTypeAliasDeclaration(parent) ||
+        ts.isInterfaceDeclaration(parent) ||
+        ts.isEnumDeclaration(parent) ||
+        ts.isTypeParameterDeclaration(parent)) &&
+        parent.name === node) {
+        return false;
+    }
+    if (ts.isBindingElement(parent)) {
+        return false; // its name declares, its property name names a property
+    }
+    if ((ts.isLabeledStatement(parent) ||
+        ts.isBreakStatement(parent) ||
+        ts.isContinueStatement(parent)) &&
+        parent.label === node) {
+        return false;
+    }
+    if ((ts.isJsxOpeningElement(parent) ||
+        ts.isJsxSelfClosingElement(parent) ||
+        ts.isJsxClosingElement(parent)) &&
+        parent.tagName === node) {
+        return false; // an intrinsic element's name, or a host tag's (above)
+    }
+    return !(ts.isQualifiedName(parent) ||
+        ts.isMetaProperty(parent) ||
+        ts.isJsxNamespacedName(parent));
+}
+// Whether a name stands in a type, which names types rather than values: all
+// but what a `typeof` reads, and a class's `extends`.
+function inTypePosition(ts, node) {
+    for (let at = node; at.parent !== undefined; at = at.parent) {
+        const parent = at.parent;
+        if (ts.isTypeQueryNode(parent)) {
+            return false;
+        }
+        if (ts.isExpressionWithTypeArguments(parent) &&
+            ts.isHeritageClause(parent.parent) &&
+            ts.isClassLike(parent.parent.parent)) {
+            return false;
+        }
+        if (ts.isTypeNode(parent)) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=virtualScript.js.map

package/dist/virtualScript.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"virtualScript.js","sourceRoot":"","sources":["../src/virtualScript.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAEvC,0EAA0E;AAC1E,MAAM,OAAO,GAAoB,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AACxE,wEAAwE;AACxE,0EAA0E;AAC1E,gCAAgC;AAChC,MAAM,QAAQ,GAAoB,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AACzE,+EAA+E;AAC/E,+BAA+B;AAC/B,MAAM,QAAQ,GAAoB;IAChC,QAAQ,EAAE,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE;CAC3C,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,aAAa,CAC3B,EAA+B,EAC/B,MAAoB,EACpB,QAA2B,EAC3B,MAAe,EACf,YAA2C;IAE3C,MAAM,IAAI,GAAG,MAAM,CAAC,oBAAoB,CAAC;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,oBAAoB,CAAC;IACzC,MAAM,GAAG,GAAc,EAAE,CAAC;IAE1B,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAU,EAAQ,EAAE;QAClD,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC;YACd,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;gBACpB,SAAS;gBACT,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC;gBAC3B,EAAE,GAAG,IAAI;aACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CACb,OAAe,EACf,IAAa,EACb,IAAsB,EAChB,EAAE;QACR,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAClD,GAAG,CAAC,IAAI,CACN,IAAI,KAAK,SAAS;YAChB,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,GAAG,KAAK,CAAC;YAC1C,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,GAAG,KAAK,EAAE,IAAI,CAAC,CACnD,CAAC;IACJ,CAAC,CAAC;IACF,2EAA2E;IAC3E,MAAM,KAAK,GAAG,CAAC,OAAe,EAAE,EAAW,EAAE,IAAI,GAAG,OAAO,EAAQ,EAAE;QACnE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,IAAa,EAAE,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAQ,EAAE;QAC/D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,UAAU,CAAC,IAAI,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAC3D,SAAS,CAAC,IAAI,CAAC,EACf,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,CAAC;YACd,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,IAAI,EAAE,GAAG,IAAI,CAAC;QACd,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC,CAAC;YACZ,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACtB,CAAC;QACD,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC;IAEF,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAQ,EAAE;QAC/C,IAAI,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YAC7C,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,sEAAsE;YACtE,yEAAyE;YACzE,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,KAAK,CAAC,aAAa,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;gBACpE,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;gBAClC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,mEAAmE;gBACnE,4DAA4D;gBAC5D,8DAA8D;gBAC9D,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC5C,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,MAAM,SAAS,GACb,CAAC,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;YAClE,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;gBAC1B,MAAM,CAAC,IAAI,KAAK,IAAI;gBACpB,MAAM,CAAC,YAAY,KAAK,SAAS;gBACjC,MAAM,CAAC,cAAc,KAAK,SAAS;gBACnC,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9C,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,CAAC;YACd,CAAC;YACD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;YACvD,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,CAAC;YACd,CAAC;YACD,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC;IAEF,yEAAyE;IACzE,kBAAkB;IAClB,MAAM,SAAS,GAAG,CAChB,IAA8C,EACrC,EAAE;QACX,MAAM,IAAI,GAAG,OAAO,CAClB,EAAE,EACF,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CACnE,CAAC;QACF,OAAO,CACL,IAAI,KAAK,SAAS;YAClB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CACxD,CAAC;IACJ,CAAC,CAAC;IAEF,yEAAyE;IACzE,iFAAiF;IACjF,0EAA0E;IAC1E,uEAAuE;IACvE,yEAAyE;IACzE,2EAA2E;IAC3E,2EAA2E;IAC3E,2EAA2E;IAC3E,yEAAyE;IACzE,sDAAsD;IACtD,MAAM,OAAO,GAAG,CAAC,IAA8C,EAAQ,EAAE;QACvE,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC;QACnE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;QAChC,2EAA2E;QAC3E,uDAAuD;QACvD,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,EAAE,OAAO,CAAE,CAAC;QACnC,MAAM,GAAG,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACvC,2EAA2E;QAC3E,MAAM,IAAI,GAAG,IAAK,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,UAA4B,CAAC,IAAI,GAAG,CAAC;QAClF,sEAAsE;QACtE,gDAAgD;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,MAAM,MAAM,GACV,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YACvB,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,MAAM,EAAE,CAAC;YACX,KAAK,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;QACD,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACnC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,cAAc,CAAC,OAAO,CAAE;YAC3C,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,KAAK,CAAC,QAAQ,CAAC,CAAC;YAChB,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,CAAC;QACd,CAAC;QACD,KAAK,CAAC,KAAK,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1C,wEAAwE;QACxE,2EAA2E;QAC3E,mCAAmC;QACnC,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACzE,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACzC,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,CAAC;YAChB,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC;QAC1B,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;YACtB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;gBACnC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACZ,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YACtB,CAAC;YACD,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,CAAC;YACZ,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAQ,EAAE,QAAQ,CAAC,CAAC;YACtC,QAAQ,CAAC,OAAQ,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;YAClE,KAAK,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;QACD,KAAK,CAAC,cAAc,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAChC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;QACD,IAAI,MAAM,EAAE,CAAC;YACX,KAAK,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;IACH,CAAC,CAAC;IAEF,0EAA0E;IAC1E,8EAA8E;IAC9E,sEAAsE;IACtE,cAAc;IACd,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9C,GAAG,CAAC,IAAI,CAAC;QACP,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,iBAAiB;QAC1D,SAAS;QACT,GAAG;QACH,MAAM,GAAG,GAAG;QACZ,OAAO;KACR,CAAC,CAAC;IACH,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACd,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0EAA0E;AAC1E,kEAAkE;AAClE,SAAS,WAAW,CAClB,EAA+B,EAC/B,IAAmB;IAEnB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACpC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC/B,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC9B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAChC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;QACnC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;QACnC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC9B,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAC5B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QACvB,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;QACzB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAChC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;QACtB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAChC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC/B,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC7B,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAC5B,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC;QACjC,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC;QACjC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAC5B,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,KAAK,IAAI,EACpB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC,CAAC,wDAAwD;IACxE,CAAC;IACD,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC5B,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAC3B,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,KAAK,IAAI,EACrB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC7B,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;QAClC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,CAAC,OAAO,KAAK,IAAI,EACvB,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,uDAAuD;IACvE,CAAC;IACD,OAAO,CAAC,CACN,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QAC1B,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;QACzB,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,sDAAsD;AACtD,SAAS,cAAc,CACrB,EAA+B,EAC/B,IAAmB;IAEnB,KAAK,IAAI,EAAE,GAAY,IAAI,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;QACrE,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;QACzB,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IACE,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC;YACxC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;YAClC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACpC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/virtualize.d.ts

@@ -0,0 +1,8 @@
+import type { SourceMapping } from "./buildMappings.js";
+import type { Diagnostic } from "./diagnostics.js";
+export interface Virtualized {
+    virtualCode: string;
+    mappings: SourceMapping[];
+    diagnostics: Diagnostic[];
+}
+export declare function virtualize(ts: typeof import("typescript"), filePath: string, sourceText: string): Virtualized;

package/dist/virtualize.js

@@ -0,0 +1,10 @@
+import { parseSourceText } from "./parseFile.js";
+import { printVirtualCode } from "./printVirtualCode.js";
+import { rewriteFile } from "./rewriteFile.js";
+export function virtualize(ts, filePath, sourceText) {
+    const parsedFile = parseSourceText(ts, filePath, sourceText);
+    const rewrittenFile = rewriteFile(ts, parsedFile);
+    const { virtualCode, mappings } = printVirtualCode(ts, parsedFile, rewrittenFile);
+    return { virtualCode, mappings, diagnostics: rewrittenFile.diagnostics };
+}
+//# sourceMappingURL=virtualize.js.map

package/dist/virtualize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"virtualize.js","sourceRoot":"","sources":["../src/virtualize.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAQ/C,MAAM,UAAU,UAAU,CACxB,EAA+B,EAC/B,QAAgB,EAChB,UAAkB;IAElB,MAAM,UAAU,GAAG,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAE7D,MAAM,aAAa,GAAG,WAAW,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAElD,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,gBAAgB,CAChD,EAAE,EACF,UAAU,EACV,aAAa,CACd,CAAC;IAEF,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,CAAC,WAAW,EAAE,CAAC;AAC3E,CAAC"}

package/package.json

@@ -1,6 +1,61 @@
 {
   "name": "@backtickjs/compiler",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.1.1",
+  "description": "Internal: the compiler for Backtick client scripts, used by the build plugins, backtick-tsc and the editor tooling",
+  "keywords": [
+    "backtick",
+    "react-native",
+    "server-driven-ui",
+    "server-components",
+    "compiler",
+    "typescript"
+  ],
+  "homepage": "https://backtickjs.com",
+  "bugs": {
+    "url": "https://github.com/backtickjs/backtick/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/backtickjs/backtick.git",
+    "directory": "packages/compiler"
+  },
+  "license": "MIT",
+  "author": "Jean-François Bisson <jf@backtickjs.com>",
+  "type": "module",
+  "main": "./dist/index.js",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "!dist/._cache",
+    "src"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "peerDependencies": {
+    "typescript": "^6.0.3"
+  },
+  "dependencies": {
+    "@jridgewell/gen-mapping": "^0.3.13",
+    "@jridgewell/remapping": "^2.3.5",
+    "@jridgewell/trace-mapping": "^0.3.31"
+  },
+  "devDependencies": {
+    "prettier": "^3.6.2",
+    "typescript": "^6.0.3",
+    "@backtickjs/core": "0.1.1"
+  },
+  "scripts": {
+    "build": "tsc -b",
+    "dev": "tsc -b --watch",
+    "format": "prettier --write --ignore-unknown .",
+    "format:check": "prettier --check --ignore-unknown .",
+    "test": "node --test \"test/**/*.test.ts\"",
+    "clean": "rm -rf node_modules dist .turbo"
+  }
 }

package/src/CodeInformation.ts

@@ -0,0 +1,14 @@
+// The subset of Volar's `CodeInformation` the compiler emits on its
+// mappings; the language plugin layers the remaining feature flags on top.
+export interface CodeInformation {
+  // gates hover and the other semantic features for positions resolving
+  // through the mapping; as an object, all of them but highlighting
+  semantic: boolean | { shouldHighlight(): boolean };
+  // gates completions for positions resolving through the mapping
+  completion?: boolean;
+  // gates go-to-definition, references, and rename for positions resolving
+  // through the mapping
+  navigation?: boolean;
+  // gates diagnostics resolving through the mapping
+  verification?: boolean;
+}

package/src/SourceRange.ts

@@ -0,0 +1,4 @@
+export interface SourceRange {
+  readonly start: number;
+  readonly end: number;
+}