parseman 0.61.3 → 0.61.4

package/dist/analysis/diagnostics.js

@@ -4064,7 +4064,7 @@ function regex(pattern, flags = "") {
 }
 
 // src/version.ts
-var PARSEMAN_VERSION = "0.61.3";
+var PARSEMAN_VERSION = "0.61.4";
 
 // src/table/lex-body.ts
 function buildLexBodyRecognizer(spec, constants) {

package/dist/cli/index.js

@@ -5700,7 +5700,7 @@ function regex(pattern, flags = "") {
 }
 
 // src/version.ts
-var PARSEMAN_VERSION = "0.61.3";
+var PARSEMAN_VERSION = "0.61.4";
 
 // src/table/lex-body.ts
 function buildLexBodyRecognizer(spec, constants) {

package/dist/index.js

@@ -5653,7 +5653,7 @@ function sourceLeaf(root, fn) {
 }
 
 // src/version.ts
-var PARSEMAN_VERSION = "0.61.3";
+var PARSEMAN_VERSION = "0.61.4";
 
 // src/table/lex-body.ts
 function buildLexBodyRecognizer(spec, constants) {

package/dist/plugin/index.d.ts

@@ -83,13 +83,29 @@ export type ParsecraftPluginOptions = {
 };
 /** A corpus a build parses to rank selective-assembly sites — see `assemblyProfile`. */
 export type AssemblyProfile = {
-    /** The rule each corpus file is parsed from, e.g. `'Stylesheet'`. A grammar
-     * without this rule keeps the static ranking. */
+    /** The rule each corpus file is parsed from, e.g. `'Stylesheet'`. A grammar without
+     * this rule keeps the static ranking. A build fails when grammars were profiled and
+     * none has the rule. A direct `transformMacro` caller gets `assemblyProfile:
+     * 'no-entry'` on the result instead, and has to read it. */
     readonly entry: string;
     /** Paths of representative inputs. At least one must have content, and each that
      * does has to parse in full without recovery, or the build fails. A file with only
-     * whitespace counts as empty. */
+     * whitespace counts as empty. A callback the corpus doesn't reach is never run, so
+     * nothing checks it. */
     readonly files: readonly string[];
+    /**
+     * The values of names a grammar's reducers and gates import, for the corpus run.
+     * Their source runs at build time with no module around it, so a grammar whose
+     * callbacks read imported helpers passes those helpers here. See
+     * `docs/guide/macro-mode.md` for what this does and doesn't cover.
+     *
+     * It's one flat namespace, so two modules can't bind one name to different helpers.
+     * A name that's already a global fails the build. A helper named like a global and
+     * left out of `scope` silently uses the global. A direct `node()` builder doesn't
+     * run in the corpus run: a plain node stands in for it, so a helper only a builder
+     * reads is neither needed here nor checked.
+     */
+    readonly scope?: Readonly<Record<string, unknown>>;
 };
 declare const _default: import("unplugin").UnpluginInstance<ParsecraftPluginOptions, boolean>;
 export default _default;
@@ -98,6 +114,9 @@ export type TransformMacroResult = {
     map: ReturnType<MagicString['generateMap']>;
     /** Diagnostics for macro-referencing shapes that fell back to the interpreter. */
     warnings: string[];
+    /** With an `assemblyProfile`: `'ran'` when a grammar here parsed the corpus,
+     * `'no-entry'` when the grammars that could have don't have its `entry` rule. */
+    assemblyProfile?: 'ran' | 'no-entry';
     /** The sites the module's `assemblyBudget` bought, by program offset, in rank order. */
     assemblySites: number[];
 };

package/dist/plugin/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/plugin/index.ts"],"names":[],"mappings":"AAyBA,OAAO,WAAW,MAAM,cAAc,CAAA;AActC,OAAO,EAAsC,KAAK,OAAO,EAAE,MAAM,uBAAuB,CAAA;AA6BxF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AACzE;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAA;CAAE,CAAA;AAChH,kDAAkD;AAClD,MAAM,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,EAAE,eAAe,EAAE,CAAC,CAAA;AACxD,eAAO,MAAM,sBAAsB,mBAAmB,CAAA;AAQtD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGnD;AA+BD,MAAM,MAAM,uBAAuB,GAAG;IACpC,8DAA8D;IAC9D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;IACxB;;;;;;OAMG;IACH,kBAAkB,CAAC,EAAE,OAAO,CAAA;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;8CAC0C;IAC1C,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,eAAe,CAAA;IACjC;;;;;;;;OAQG;IACH,cAAc,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,wFAAwF;AACxF,MAAM,MAAM,eAAe,GAAG;IAC5B;qDACiD;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB;;qCAEiC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAClC,CAAA;;;AA+kBD,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,UAAU,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAA;IAC3C,kFAAkF;IAClF,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,wFAAwF;IACxF,aAAa,EAAE,MAAM,EAAE,CAAA;CACxB,CAAA;AA0CD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,EACV,aAAa,cAA6B,EAC1C,kBAAkB,UAAQ,EAC1B,QAAQ,UAAQ,EAChB,eAAe,UAAQ,EACvB,eAAe,CAAC,EAAE,eAAe,EACjC,cAAc,SAA0B,EACxC,WAAW,CAAC,EAAE,WAAW,GACxB,oBAAoB,GAAG,IAAI,CAW7B"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/plugin/index.ts"],"names":[],"mappings":"AA0BA,OAAO,WAAW,MAAM,cAAc,CAAA;AActC,OAAO,EAAsC,KAAK,OAAO,EAAE,MAAM,uBAAuB,CAAA;AA6BxF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AACzE;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAA;CAAE,CAAA;AAChH,kDAAkD;AAClD,MAAM,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,EAAE,eAAe,EAAE,CAAC,CAAA;AACxD,eAAO,MAAM,sBAAsB,mBAAmB,CAAA;AAQtD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGnD;AA+BD,MAAM,MAAM,uBAAuB,GAAG;IACpC,8DAA8D;IAC9D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;IACxB;;;;;;OAMG;IACH,kBAAkB,CAAC,EAAE,OAAO,CAAA;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;8CAC0C;IAC1C,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,eAAe,CAAA;IACjC;;;;;;;;OAQG;IACH,cAAc,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,wFAAwF;AACxF,MAAM,MAAM,eAAe,GAAG;IAC5B;;;gEAG4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB;;;4BAGwB;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;CACnD,CAAA;;;AA4lBD,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,UAAU,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAA;IAC3C,kFAAkF;IAClF,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB;qFACiF;IACjF,eAAe,CAAC,EAAE,KAAK,GAAG,UAAU,CAAA;IACpC,wFAAwF;IACxF,aAAa,EAAE,MAAM,EAAE,CAAA;CACxB,CAAA;AA0CD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,EACV,aAAa,cAA6B,EAC1C,kBAAkB,UAAQ,EAC1B,QAAQ,UAAQ,EAChB,eAAe,UAAQ,EACvB,eAAe,CAAC,EAAE,eAAe,EACjC,cAAc,SAA0B,EACxC,WAAW,CAAC,EAAE,WAAW,GACxB,oBAAoB,GAAG,IAAI,CAW7B"}

package/dist/plugin/index.js

@@ -5622,7 +5622,7 @@ function sourceLeaf(root, fn) {
 }
 
 // src/version.ts
-var PARSEMAN_VERSION = "0.61.3";
+var PARSEMAN_VERSION = "0.61.4";
 
 // src/table/lex-body.ts
 function buildLexBodyRecognizer(spec, constants) {
@@ -23293,6 +23293,7 @@ async function emitCarriedSidecars(sinks, bundle) {
 var SIDECAR_FRAMEWORKS = /* @__PURE__ */ new Set(["rollup", "rolldown", "vite"]);
 var plugin_default = createUnplugin((opts = {}, meta) => {
   const sinks = SIDECAR_FRAMEWORKS.has(meta.framework) ? /* @__PURE__ */ new Map() : void 0;
+  const profiled = /* @__PURE__ */ new Map();
   const generateBundle = sinks === void 0 ? void 0 : {
     generateBundle: {
       order: "post",
@@ -23311,8 +23312,15 @@ var plugin_default = createUnplugin((opts = {}, meta) => {
     transformInclude(id) {
       return /\.[jt]sx?$/.test(id) && !id.includes("node_modules");
     },
+    buildEnd(error) {
+      if (error) return;
+      const ids = [...this.getModuleIds?.() ?? profiled.keys()].filter((id) => profiled.has(id));
+      if (ids.length === 0 || ids.some((id) => profiled.get(id) === "ran")) return;
+      throw new Error(`assemblyProfile: no grammar has rule "${opts.assemblyProfile?.entry}", so the corpus never ran (${ids.join(", ")})`);
+    },
     transform(code, id) {
       sinks?.delete(id);
+      profiled.delete(id);
       if (!code.includes("parseman")) return null;
       if (!code.includes("macro")) return null;
       for (const file of opts.assemblyProfile?.files ?? []) this?.addWatchFile?.(file);
@@ -23320,6 +23328,7 @@ var plugin_default = createUnplugin((opts = {}, meta) => {
       const sink = sinks && /* @__PURE__ */ new Map();
       const result = transformMacro(code, id, moduleAliases, opts.warnUnloweredRegex === true, opts.recovery === true, opts.grammarCoverage === true, opts.assemblyProfile, opts.assemblyBudget, sink);
       if (sinks && sink && sink.size > 0) sinks.set(id, sink);
+      if (result?.assemblyProfile !== void 0) profiled.set(id, result.assemblyProfile);
       if (result?.warnings.length) {
         for (const w of result.warnings) {
           if (typeof this?.warn === "function") this.warn(`[parseman] ${w}`);
@@ -24384,8 +24393,14 @@ ${names.map((n) => `  - ${n}`).join("\n")}` : " (it is not a static combinator/v
     assemblySites.push(...sites);
     return sites;
   };
+  let profileOutcome;
   const profileOf = (compiled) => {
-    if (assemblyProfile === void 0 || compiled.hostMode !== "ast" || compiled.prog.lines === 1 || !(assemblyProfile.entry in compiled.prog.rules)) return void 0;
+    if (assemblyProfile === void 0 || compiled.hostMode !== "ast" || compiled.prog.lines === 1) return void 0;
+    if (!(assemblyProfile.entry in compiled.prog.rules)) {
+      profileOutcome ??= "no-entry";
+      return void 0;
+    }
+    profileOutcome = "ran";
     const refuse = (why) => {
       throw new Error(`${id} \u2014 assemblyProfile: ${why}`);
     };
@@ -24405,26 +24420,36 @@ ${names.map((n) => `  - ${n}`).join("\n")}` : " (it is not a static combinator/v
         }
       });
     });
-    return countSiteVisits(compiled.prog, (rules3) => {
-      const entry = rules3[assemblyProfile.entry];
-      corpusTexts(assemblyProfile).forEach((text, i) => {
-        const file = assemblyProfile.files[i];
-        if (text.trim() === "") return;
-        let result2;
-        try {
-          result2 = run(entry, text);
-        } catch (e) {
-          const source = String(thrower).replace(/\s+/g, " ").slice(0, 200);
-          throw new Error(`${id} \u2014 assemblyProfile: ${thrower === void 0 ? "the parse" : `gate or reducer \`${source}\``} threw on ${file}: ${String(e)}`, { cause: e });
-        }
-        if (!result2.ok || result2.unconsumedFrom !== null) {
-          refuse(`${file} does not parse from rule "${assemblyProfile.entry}": it stops at offset ${result2.ok ? result2.unconsumedFrom : result2.span.end}`);
-        }
-        if (result2.errors.length > 0) {
-          refuse(`${file} parses only by recovering from ${result2.errors.length} error(s), first at offset ${result2.errors[0].span.start}`);
-        }
-      });
-    }, fns);
+    const scope3 = assemblyProfile.scope ?? {};
+    const names = Object.keys(scope3);
+    for (const name of names) {
+      if (name in globalThis) refuse(`\`scope\` name "${name}" is already a global; a callback couldn't tell which one it reads`);
+    }
+    try {
+      for (const name of names) Object.defineProperty(globalThis, name, { value: scope3[name], configurable: true });
+      return countSiteVisits(compiled.prog, (rules3) => {
+        const entry = rules3[assemblyProfile.entry];
+        corpusTexts(assemblyProfile).forEach((text, i) => {
+          const file = assemblyProfile.files[i];
+          if (text.trim() === "") return;
+          let result2;
+          try {
+            result2 = run(entry, text);
+          } catch (e) {
+            const source = String(thrower).replace(/\s+/g, " ").slice(0, 200);
+            throw new Error(`${id} \u2014 assemblyProfile: ${thrower === void 0 ? "the parse" : `gate or reducer \`${source}\``} threw on ${file}: ${String(e)}`, { cause: e });
+          }
+          if (!result2.ok || result2.unconsumedFrom !== null) {
+            refuse(`${file} does not parse from rule "${assemblyProfile.entry}": it stops at offset ${result2.ok ? result2.unconsumedFrom : result2.span.end}`);
+          }
+          if (result2.errors.length > 0) {
+            refuse(`${file} parses only by recovering from ${result2.errors.length} error(s), first at offset ${result2.errors[0].span.start}`);
+          }
+        });
+      }, fns);
+    } finally {
+      for (const name of names) Reflect.deleteProperty(globalThis, name);
+    }
   };
   const assembledReplacement = (compiled, metadata, select) => select.size === 0 ? compiled.replacementWithMetadata(metadata) : supercompileRuleMapReplacement(compiled.prog, compiled.replacementWithMetadata(metadata, { select }), select);
   const compileComposeLeafCall = (init) => {
@@ -24937,7 +24962,8 @@ ${lines2.join("\n")}`);
     assemblySites: applied.length > 0 ? assemblySites : [],
     code: ms.toString(),
     map: ms.generateMap({ hires: true }),
-    warnings
+    warnings,
+    ...profileOutcome === void 0 ? {} : { assemblyProfile: profileOutcome }
   };
 }
 export {