@gyral/core 0.3.0 → 0.3.1

package/dist/compiler/ast.js

@@ -2,6 +2,8 @@
 // included), for the template compiler's scanner (scan.ts): generic child iteration, the
 // names a binding pattern declares, and the names each scope declares, so a local variable
 // that shadows the imported `html` is never mistaken for it.
+/** The `lang` to parse a module with, from its id (`this.parse(code, { lang })`). */
+export const langOf = (id) => /\.[cm]?tsx$/.test(id) ? 'tsx' : /\.[cm]?ts$/.test(id) ? 'ts' : id.endsWith('x') ? 'jsx' : 'js';
 export const isNode = (value) => typeof value === 'object' &&
     value !== null &&
     typeof value.type === 'string';
@@ -32,9 +34,11 @@ const TS_VALUE = new Set([
     'TSInstantiationExpression',
     'TSExportAssignment',
 ]);
+/** TS declarations whose members are runtime values (`enum E { A = 'a' }`). */
+const TS_RUNTIME = new Set(['TSEnumDeclaration', 'TSEnumBody', 'TSEnumMember']);
 /** The child nodes of `node` that can contain runtime code, in source order. */
 export function children(node) {
-    if (node.type.startsWith('TS')) {
+    if (node.type.startsWith('TS') && !TS_RUNTIME.has(node.type)) {
         if (TS_VALUE.has(node.type))
             return nodesAt(node, 'expression');
         if (node.type === 'TSParameterProperty')

package/dist/compiler/ast.js.map

@@ -1 +1 @@
-{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/compiler/ast.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,yFAAyF;AACzF,2FAA2F;AAC3F,6DAA6D;AAU7D,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAc,EAAiB,EAAE,CACtD,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACd,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ,CAAC;AAEzD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,GAAW,EAAoB,EAAE;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3C,CAAC,CAAC;AAEF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,GAAW,EAAU,EAAE;IACzD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACpF,CAAC,CAAC;AAEF,sEAAsE;AACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,gBAAgB;IAChB,eAAe;IACf,gBAAgB;IAChB,YAAY;IACZ,oBAAoB;IACpB,YAAY;CACb,CAAC,CAAC;AAEH,oFAAoF;AACpF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,gBAAgB;IAChB,uBAAuB;IACvB,qBAAqB;IACrB,iBAAiB;IACjB,2BAA2B;IAC3B,oBAAoB;CACrB,CAAC,CAAC;AAEH,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAChE,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACvF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;aACvD,IAAI,MAAM,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,YAAY,CAAC,OAAyB;IACpD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,YAAY;YACf,OAAO,CAAC,OAAO,CAAC,MAAM,CAAW,CAAC,CAAC;QACrC,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAClD,CAAC,CAAC,IAAI,KAAK,aAAa;gBACtB,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;gBACrC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CACrC,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC5D,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;QACnD,KAAK,mBAAmB;YACtB,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/C,KAAK,qBAAqB;YACxB,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;QACpD;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,qBAAqB,EAAE,oBAAoB,EAAE,yBAAyB,CAAC,CAAC,CAAC;AAEpG,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAW,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE5E,iGAAiG;AACjG,SAAS,QAAQ,CAAC,IAAU,EAAE,GAAa;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,oEAAoE;AACpE,SAAS,YAAY,CAAC,UAA2B;IAC/C,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;YAC5D,OAAO,OAAO,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACtE,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,oBAAoB,CAAC;QAC1B,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClC,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YACrD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7C,KAAK,iBAAiB;YACpB,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;QACvF,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1E,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7C,KAAK,iBAAiB;YACpB,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC","sourcesContent":["// A minimal view of the ESTree AST that Rolldown's `this.parse` returns (oxc, TypeScript\n// included), for the template compiler's scanner (scan.ts): generic child iteration, the\n// names a binding pattern declares, and the names each scope declares, so a local variable\n// that shadows the imported `html` is never mistaken for it.\n\n/** An ESTree node: `start`/`end` are UTF-16 offsets into the module's code. */\nexport interface Node {\n  readonly type: string;\n  readonly start: number;\n  readonly end: number;\n  readonly [key: string]: unknown;\n}\n\nexport const isNode = (value: unknown): value is Node =>\n  typeof value === 'object' &&\n  value !== null &&\n  typeof (value as { type?: unknown }).type === 'string';\n\nexport const nodeAt = (node: Node, key: string): Node | undefined => {\n  const value = node[key];\n  return isNode(value) ? value : undefined;\n};\n\n/** The node or nodes at `key` (an array, or a single node). */\nexport const nodesAt = (node: Node, key: string): Node[] => {\n  const value = node[key];\n  return Array.isArray(value) ? value.filter(isNode) : isNode(value) ? [value] : [];\n};\n\n/** TypeScript-only keys: type annotations never reference a value. */\nconst TYPE_KEYS = new Set([\n  'typeAnnotation',\n  'typeArguments',\n  'typeParameters',\n  'returnType',\n  'superTypeArguments',\n  'implements',\n]);\n\n/** TS nodes that wrap a runtime expression; every other `TS*` node is type-only. */\nconst TS_VALUE = new Set([\n  'TSAsExpression',\n  'TSSatisfiesExpression',\n  'TSNonNullExpression',\n  'TSTypeAssertion',\n  'TSInstantiationExpression',\n  'TSExportAssignment',\n]);\n\n/** The child nodes of `node` that can contain runtime code, in source order. */\nexport function children(node: Node): Node[] {\n  if (node.type.startsWith('TS')) {\n    if (TS_VALUE.has(node.type)) return nodesAt(node, 'expression');\n    if (node.type === 'TSParameterProperty') return nodesAt(node, 'parameter');\n    if (node.type === 'TSModuleDeclaration') return nodesAt(node, 'body');\n    if (node.type === 'TSModuleBlock') return nodesAt(node, 'body');\n    return [];\n  }\n  const out: Node[] = [];\n  for (const key in node) {\n    if (key === 'type' || key === 'start' || key === 'end' || TYPE_KEYS.has(key)) continue;\n    const value = node[key];\n    if (Array.isArray(value)) out.push(...value.filter(isNode));\n    else if (isNode(value)) out.push(value);\n  }\n  return out.sort((a, b) => a.start - b.start);\n}\n\n/** The names a binding pattern declares (`a`, `{ a, b: [c] }`, `...d`, `e = 1`). */\nexport function patternNames(pattern: Node | undefined): string[] {\n  if (pattern === undefined) return [];\n  switch (pattern.type) {\n    case 'Identifier':\n      return [pattern['name'] as string];\n    case 'ObjectPattern':\n      return nodesAt(pattern, 'properties').flatMap((p) =>\n        p.type === 'RestElement'\n          ? patternNames(nodeAt(p, 'argument'))\n          : patternNames(nodeAt(p, 'value')),\n      );\n    case 'ArrayPattern':\n      return nodesAt(pattern, 'elements').flatMap(patternNames);\n    case 'RestElement':\n      return patternNames(nodeAt(pattern, 'argument'));\n    case 'AssignmentPattern':\n      return patternNames(nodeAt(pattern, 'left'));\n    case 'TSParameterProperty':\n      return patternNames(nodeAt(pattern, 'parameter'));\n    default:\n      return [];\n  }\n}\n\nconst FUNCTIONS = new Set(['FunctionDeclaration', 'FunctionExpression', 'ArrowFunctionExpression']);\n\nexport const isFunction = (node: Node): boolean => FUNCTIONS.has(node.type);\n\n/** `var` names declared anywhere in a function body (hoisted), not crossing nested functions. */\nfunction varNames(node: Node, out: string[]): void {\n  if (node.type === 'VariableDeclaration' && node['kind'] === 'var') {\n    for (const d of nodesAt(node, 'declarations')) out.push(...patternNames(nodeAt(d, 'id')));\n  }\n  for (const child of children(node)) if (!isFunction(child)) varNames(child, out);\n}\n\n/** Block-scoped names declared directly in a list of statements. */\nfunction lexicalNames(statements: readonly Node[]): string[] {\n  return statements.flatMap((s) => {\n    if (s.type === 'VariableDeclaration' && s['kind'] !== 'var') {\n      return nodesAt(s, 'declarations').flatMap((d) => patternNames(nodeAt(d, 'id')));\n    }\n    if (s.type === 'FunctionDeclaration' || s.type === 'ClassDeclaration') {\n      return patternNames(nodeAt(s, 'id'));\n    }\n    return [];\n  });\n}\n\n/**\n * The names `node` declares for its own scope, or undefined when it opens no scope. The\n * Program scope is left out: the imported binding lives there.\n */\nexport function scopeNames(node: Node): string[] | undefined {\n  switch (node.type) {\n    case 'FunctionDeclaration':\n    case 'FunctionExpression':\n    case 'ArrowFunctionExpression': {\n      const names = nodesAt(node, 'params').flatMap(patternNames);\n      if (node.type === 'FunctionExpression') names.push(...patternNames(nodeAt(node, 'id')));\n      const body = nodeAt(node, 'body');\n      if (body?.type === 'BlockStatement') {\n        varNames(body, names);\n        names.push(...lexicalNames(nodesAt(body, 'body')));\n      }\n      return names;\n    }\n    case 'BlockStatement':\n    case 'StaticBlock':\n      return lexicalNames(nodesAt(node, 'body'));\n    case 'SwitchStatement':\n      return lexicalNames(nodesAt(node, 'cases').flatMap((c) => nodesAt(c, 'consequent')));\n    case 'ForStatement':\n    case 'ForInStatement':\n    case 'ForOfStatement': {\n      const head = nodeAt(node, node.type === 'ForStatement' ? 'init' : 'left');\n      return head === undefined ? [] : lexicalNames([head]);\n    }\n    case 'CatchClause':\n      return patternNames(nodeAt(node, 'param'));\n    case 'ClassExpression':\n      return patternNames(nodeAt(node, 'id'));\n    default:\n      return undefined;\n  }\n}\n"]}
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/compiler/ast.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,yFAAyF;AACzF,2FAA2F;AAC3F,6DAA6D;AAE7D,qFAAqF;AACrF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,EAAU,EAA+B,EAAE,CAChE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAUlG,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAc,EAAiB,EAAE,CACtD,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACd,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ,CAAC;AAEzD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,GAAW,EAAoB,EAAE;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3C,CAAC,CAAC;AAEF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,GAAW,EAAU,EAAE;IACzD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACpF,CAAC,CAAC;AAEF,sEAAsE;AACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,gBAAgB;IAChB,eAAe;IACf,gBAAgB;IAChB,YAAY;IACZ,oBAAoB;IACpB,YAAY;CACb,CAAC,CAAC;AAEH,oFAAoF;AACpF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,gBAAgB;IAChB,uBAAuB;IACvB,qBAAqB;IACrB,iBAAiB;IACjB,2BAA2B;IAC3B,oBAAoB;CACrB,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,mBAAmB,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;AAEhF,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAChE,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACvF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;aACvD,IAAI,MAAM,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,YAAY,CAAC,OAAyB;IACpD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,YAAY;YACf,OAAO,CAAC,OAAO,CAAC,MAAM,CAAW,CAAC,CAAC;QACrC,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAClD,CAAC,CAAC,IAAI,KAAK,aAAa;gBACtB,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;gBACrC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CACrC,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC5D,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;QACnD,KAAK,mBAAmB;YACtB,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/C,KAAK,qBAAqB;YACxB,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;QACpD;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,qBAAqB,EAAE,oBAAoB,EAAE,yBAAyB,CAAC,CAAC,CAAC;AAEpG,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAW,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE5E,iGAAiG;AACjG,SAAS,QAAQ,CAAC,IAAU,EAAE,GAAa;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,oEAAoE;AACpE,SAAS,YAAY,CAAC,UAA2B;IAC/C,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;YAC5D,OAAO,OAAO,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACtE,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,oBAAoB,CAAC;QAC1B,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClC,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YACrD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7C,KAAK,iBAAiB;YACpB,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;QACvF,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1E,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7C,KAAK,iBAAiB;YACpB,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC","sourcesContent":["// A minimal view of the ESTree AST that Rolldown's `this.parse` returns (oxc, TypeScript\n// included), for the template compiler's scanner (scan.ts): generic child iteration, the\n// names a binding pattern declares, and the names each scope declares, so a local variable\n// that shadows the imported `html` is never mistaken for it.\n\n/** The `lang` to parse a module with, from its id (`this.parse(code, { lang })`). */\nexport const langOf = (id: string): 'js' | 'jsx' | 'ts' | 'tsx' =>\n  /\\.[cm]?tsx$/.test(id) ? 'tsx' : /\\.[cm]?ts$/.test(id) ? 'ts' : id.endsWith('x') ? 'jsx' : 'js';\n\n/** An ESTree node: `start`/`end` are UTF-16 offsets into the module's code. */\nexport interface Node {\n  readonly type: string;\n  readonly start: number;\n  readonly end: number;\n  readonly [key: string]: unknown;\n}\n\nexport const isNode = (value: unknown): value is Node =>\n  typeof value === 'object' &&\n  value !== null &&\n  typeof (value as { type?: unknown }).type === 'string';\n\nexport const nodeAt = (node: Node, key: string): Node | undefined => {\n  const value = node[key];\n  return isNode(value) ? value : undefined;\n};\n\n/** The node or nodes at `key` (an array, or a single node). */\nexport const nodesAt = (node: Node, key: string): Node[] => {\n  const value = node[key];\n  return Array.isArray(value) ? value.filter(isNode) : isNode(value) ? [value] : [];\n};\n\n/** TypeScript-only keys: type annotations never reference a value. */\nconst TYPE_KEYS = new Set([\n  'typeAnnotation',\n  'typeArguments',\n  'typeParameters',\n  'returnType',\n  'superTypeArguments',\n  'implements',\n]);\n\n/** TS nodes that wrap a runtime expression; every other `TS*` node is type-only. */\nconst TS_VALUE = new Set([\n  'TSAsExpression',\n  'TSSatisfiesExpression',\n  'TSNonNullExpression',\n  'TSTypeAssertion',\n  'TSInstantiationExpression',\n  'TSExportAssignment',\n]);\n\n/** TS declarations whose members are runtime values (`enum E { A = 'a' }`). */\nconst TS_RUNTIME = new Set(['TSEnumDeclaration', 'TSEnumBody', 'TSEnumMember']);\n\n/** The child nodes of `node` that can contain runtime code, in source order. */\nexport function children(node: Node): Node[] {\n  if (node.type.startsWith('TS') && !TS_RUNTIME.has(node.type)) {\n    if (TS_VALUE.has(node.type)) return nodesAt(node, 'expression');\n    if (node.type === 'TSParameterProperty') return nodesAt(node, 'parameter');\n    if (node.type === 'TSModuleDeclaration') return nodesAt(node, 'body');\n    if (node.type === 'TSModuleBlock') return nodesAt(node, 'body');\n    return [];\n  }\n  const out: Node[] = [];\n  for (const key in node) {\n    if (key === 'type' || key === 'start' || key === 'end' || TYPE_KEYS.has(key)) continue;\n    const value = node[key];\n    if (Array.isArray(value)) out.push(...value.filter(isNode));\n    else if (isNode(value)) out.push(value);\n  }\n  return out.sort((a, b) => a.start - b.start);\n}\n\n/** The names a binding pattern declares (`a`, `{ a, b: [c] }`, `...d`, `e = 1`). */\nexport function patternNames(pattern: Node | undefined): string[] {\n  if (pattern === undefined) return [];\n  switch (pattern.type) {\n    case 'Identifier':\n      return [pattern['name'] as string];\n    case 'ObjectPattern':\n      return nodesAt(pattern, 'properties').flatMap((p) =>\n        p.type === 'RestElement'\n          ? patternNames(nodeAt(p, 'argument'))\n          : patternNames(nodeAt(p, 'value')),\n      );\n    case 'ArrayPattern':\n      return nodesAt(pattern, 'elements').flatMap(patternNames);\n    case 'RestElement':\n      return patternNames(nodeAt(pattern, 'argument'));\n    case 'AssignmentPattern':\n      return patternNames(nodeAt(pattern, 'left'));\n    case 'TSParameterProperty':\n      return patternNames(nodeAt(pattern, 'parameter'));\n    default:\n      return [];\n  }\n}\n\nconst FUNCTIONS = new Set(['FunctionDeclaration', 'FunctionExpression', 'ArrowFunctionExpression']);\n\nexport const isFunction = (node: Node): boolean => FUNCTIONS.has(node.type);\n\n/** `var` names declared anywhere in a function body (hoisted), not crossing nested functions. */\nfunction varNames(node: Node, out: string[]): void {\n  if (node.type === 'VariableDeclaration' && node['kind'] === 'var') {\n    for (const d of nodesAt(node, 'declarations')) out.push(...patternNames(nodeAt(d, 'id')));\n  }\n  for (const child of children(node)) if (!isFunction(child)) varNames(child, out);\n}\n\n/** Block-scoped names declared directly in a list of statements. */\nfunction lexicalNames(statements: readonly Node[]): string[] {\n  return statements.flatMap((s) => {\n    if (s.type === 'VariableDeclaration' && s['kind'] !== 'var') {\n      return nodesAt(s, 'declarations').flatMap((d) => patternNames(nodeAt(d, 'id')));\n    }\n    if (s.type === 'FunctionDeclaration' || s.type === 'ClassDeclaration') {\n      return patternNames(nodeAt(s, 'id'));\n    }\n    return [];\n  });\n}\n\n/**\n * The names `node` declares for its own scope, or undefined when it opens no scope. The\n * Program scope is left out: the imported binding lives there.\n */\nexport function scopeNames(node: Node): string[] | undefined {\n  switch (node.type) {\n    case 'FunctionDeclaration':\n    case 'FunctionExpression':\n    case 'ArrowFunctionExpression': {\n      const names = nodesAt(node, 'params').flatMap(patternNames);\n      if (node.type === 'FunctionExpression') names.push(...patternNames(nodeAt(node, 'id')));\n      const body = nodeAt(node, 'body');\n      if (body?.type === 'BlockStatement') {\n        varNames(body, names);\n        names.push(...lexicalNames(nodesAt(body, 'body')));\n      }\n      return names;\n    }\n    case 'BlockStatement':\n    case 'StaticBlock':\n      return lexicalNames(nodesAt(node, 'body'));\n    case 'SwitchStatement':\n      return lexicalNames(nodesAt(node, 'cases').flatMap((c) => nodesAt(c, 'consequent')));\n    case 'ForStatement':\n    case 'ForInStatement':\n    case 'ForOfStatement': {\n      const head = nodeAt(node, node.type === 'ForStatement' ? 'init' : 'left');\n      return head === undefined ? [] : lexicalNames([head]);\n    }\n    case 'CatchClause':\n      return patternNames(nodeAt(node, 'param'));\n    case 'ClassExpression':\n      return patternNames(nodeAt(node, 'id'));\n    default:\n      return undefined;\n  }\n}\n"]}

package/dist/compiler/compile.d.ts

@@ -1,7 +1,7 @@
 import type { Node } from './ast.js';
 import { type Parse5 } from './parse5-check.js';
-import type { HtmlImport } from './scan.js';
-import { type Lines, type SourceMap } from './source.js';
+import type { HtmlImport, Tag } from './scan.js';
+import { type Edit, type Lines, type SourceMap } from './source.js';
 /** A build error at `start`–`end` of the module (the plugin adds the code frame). */
 export declare class CompileError extends Error {
     readonly start: number;
@@ -16,6 +16,7 @@ export interface CompileInput {
     readonly sites: readonly {
         readonly node: Node;
         readonly binding: HtmlImport;
+        readonly tag: Tag;
     }[];
     /** Server build: keep the server segments. */
     readonly ssr: boolean;
@@ -25,6 +26,8 @@ export interface CompileInput {
      */
     readonly ids: boolean;
     readonly parse5: Parse5 | undefined;
+    /** Other edits to apply in the same pass (prop-schemas.ts); dropped inside a call site. */
+    readonly extra?: readonly Edit[];
     /** Template id → normalized strings and call site, for the whole build (collisions). */
     readonly seen: Map<string, {
         readonly strings: string;

package/dist/compiler/compile.js

@@ -1,9 +1,10 @@
-// Compiles one module's `html` call sites (view/01-templates.md "Compiled"): each call site's
-// cooked strings go through the same normalizer as the runtime path (so ids match), parse5
-// double-checks rule 7, one module-level constant is hoisted per template object (without its
-// id in production client builds: the renderer compares those by identity), and the call
-// becomes `compiled(<const>, [values…])`. Line breaks inside a rewritten template are
-// kept, so every following line keeps its number; the source map covers columns.
+// Compiles one module's `html` and `svg` call sites (view/01-templates.md "Compiled"): each
+// call site's cooked strings go through the same normalizer as the runtime path (so ids match),
+// parse5 double-checks rule 7, one module-level constant is hoisted per template object
+// (without its id in production client builds: the renderer compares those by identity), and
+// the call becomes `compiled(<const>, [values…])`, or `compiledSvg(…)` for an svg template.
+// Line breaks inside a rewritten template are kept, so every following line keeps its number;
+// the source map covers columns.
 import { analyze, TemplateError } from '../view/index.js';
 import { nodeAt, nodesAt } from './ast.js';
 import { checkWithParse5 } from './parse5-check.js';
@@ -27,9 +28,19 @@ export class CompileError extends Error {
  * needs no decoding.
  */
 function emitted(template, ssr, ids) {
-    const { id, html, parts, server, segments } = template;
-    const client = { ...(ids ? { id } : {}), html, parts, ...(server === true ? { server } : {}) };
-    return ssr ? { ...client, segments } : client;
+    const { id, html, parts, server, svg, segments, staticStyles } = template;
+    const client = {
+        ...(ids ? { id } : {}),
+        html,
+        parts,
+        ...(server === true ? { server } : {}),
+        ...(svg === true ? { svg } : {}),
+    };
+    if (!ssr)
+        return client;
+    return staticStyles === undefined
+        ? { ...client, segments }
+        : { ...client, segments, staticStyles };
 }
 const newlines = (text) => '\n'.repeat(text.split('\n').length - 1);
 /** Edits turning html`a${x}b${y}c` into `callee(name, [x, y])`, keeping line breaks. */
@@ -61,11 +72,11 @@ function siteEdits(code, node, callee, name) {
     return edits;
 }
 /** The cooked strings of a tagged template (what the tag receives at runtime). */
-function cookedStrings(node) {
+function cookedStrings(node, tag) {
     return nodesAt(nodeAt(node, 'quasi') ?? node, 'quasis').map((q) => {
         const cooked = q['value']?.cooked;
         if (typeof cooked !== 'string') {
-            throw new CompileError(q.start, q.end, 'This html template has an invalid escape sequence, so it has no string value at ' +
+            throw new CompileError(q.start, q.end, `This ${tag} template has an invalid escape sequence, so it has no string value at ` +
                 'runtime. Fix the escape (write \\\\ for a backslash).');
         }
         return cooked;
@@ -78,16 +89,18 @@ export function compileModule(input) {
     let prefix = '_gyral$';
     for (let n = 1; code.includes(prefix); n++)
         prefix = `_gyral${String(n)}$`;
+    /** `compiled from "entry"` → the import's local name, per tag function and entry. */
     const callees = new Map();
+    const imports = [];
     const consts = new Map();
     const decls = [];
     const edits = [];
-    for (const { node, binding } of sites) {
+    for (const { node, binding, tag } of sites) {
         const { line, column } = lines.position(node.start);
         const loc = `${input.file}:${String(line)}:${String(column + 1)}`;
         let analysis;
         try {
-            analysis = analyze(cookedStrings(node), loc);
+            analysis = analyze(cookedStrings(node, tag), loc, tag === 'svg');
         }
         catch (error) {
             if (error instanceof TemplateError)
@@ -113,14 +126,20 @@ export function compileModule(input) {
             decls.push(`const ${name} = ${JSON.stringify(emitted(template, input.ssr, input.ids))};`);
         }
         const entry = COMPILED_ENTRIES[binding.specifier] ?? binding.specifier;
-        let callee = callees.get(entry);
+        const exported = tag === 'svg' ? 'compiledSvg' : 'compiled';
+        const from = `${exported} from ${JSON.stringify(entry)}`;
+        let callee = callees.get(from);
         if (callee === undefined) {
-            callee = `${prefix}compiled${callees.size === 0 ? '' : String(callees.size)}`;
-            callees.set(entry, callee);
+            callee = `${prefix}${exported}${callees.size === 0 ? '' : String(callees.size)}`;
+            callees.set(from, callee);
+            imports.push(`import { ${exported} as ${callee} } from ${JSON.stringify(entry)};`);
         }
         edits.push(...siteEdits(code, node, callee, name));
     }
-    const imports = [...callees].map(([entry, local]) => `import { compiled as ${local} } from ${JSON.stringify(entry)};`);
+    for (const e of input.extra ?? []) {
+        if (!sites.some(({ node }) => e.start < node.end && e.end > node.start))
+            edits.push(e);
+    }
     // Prepended to the first line (after a hashbang), so no line moves.
     const at = code.startsWith('#!') ? code.indexOf('\n') + 1 : 0;
     edits.unshift({ start: at, end: at, text: [...imports, ...decls].join('') });

package/dist/compiler/compile.js.map

@@ -1 +1 @@
-{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/compiler/compile.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2FAA2F;AAC3F,8FAA8F;AAC9F,yFAAyF;AACzF,sFAAsF;AACtF,iFAAiF;AACjF,OAAO,EAAE,OAAO,EAAE,aAAa,EAAuB,MAAM,kBAAkB,CAAC;AAE/E,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAe,MAAM,mBAAmB,CAAC;AAEjE,OAAO,EAAE,MAAM,EAAyC,MAAM,aAAa,CAAC;AAE5E,gGAAgG;AAChG,MAAM,gBAAgB,GAAqC;IACzD,aAAa,EAAE,sBAAsB;CACtC,CAAC;AAEF,qFAAqF;AACrF,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,YACW,KAAa,EACb,GAAW,EACpB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAJN,UAAK,GAAL,KAAK,CAAQ;QACb,QAAG,GAAH,GAAG,CAAQ;IAItB,CAAC;CACF;AAoBD;;;;;GAKG;AACH,SAAS,OAAO,CAAC,QAAwB,EAAE,GAAY,EAAE,GAAY;IACnE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IACvD,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/F,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AAChD,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAEpF,wFAAwF;AACxF,SAAS,SAAS,CAAC,IAAY,EAAE,IAAU,EAAE,MAAc,EAAE,IAAY;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,aAAa,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,MAAM,IAAI,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY,EAAQ,EAAE,CAAC,CAAC;QAChE,KAAK;QACL,GAAG;QACH,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;KAC9C,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC;IACtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,KAAK,CAAC,IAAI,CAAC;QACT,KAAK,EAAE,IAAI,CAAC,GAAG;QACf,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI;KACtD,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa,CAAC,IAAU;IAC/B,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChE,MAAM,MAAM,GAAI,CAAC,CAAC,OAAO,CAAsC,EAAE,MAAM,CAAC;QACxE,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,YAAY,CACpB,CAAC,CAAC,KAAK,EACP,CAAC,CAAC,GAAG,EACL,kFAAkF;gBAChF,uDAAuD,CAC1D,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,aAAa,CAAC,KAAmB;IAC/C,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACrC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,MAAM,GAAG,SAAS,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;QAAE,MAAM,GAAG,SAAS,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;QACtC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QAClE,IAAI,QAAQ,CAAC;QACb,IAAI,CAAC;YACH,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,aAAa;gBAChC,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAC9D,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YACrD,MAAM,IAAI,YAAY,CACpB,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,GAAG,EACR,wCAAwC,QAAQ,CAAC,EAAE,kBAAkB,KAAK,CAAC,GAAG,QAAQ;gBACpF,uFAAuF;gBACvF,0EAA0E,CAC7E,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAChF,IAAI,QAAQ;YAAE,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC7E,IAAI,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,GAAG,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC;QACvE,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,WAAW,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAC9B,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,wBAAwB,KAAK,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CACrF,CAAC;IACF,oEAAoE;IACpE,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AACxC,CAAC","sourcesContent":["// Compiles one module's `html` call sites (view/01-templates.md \"Compiled\"): each call site's\n// cooked strings go through the same normalizer as the runtime path (so ids match), parse5\n// double-checks rule 7, one module-level constant is hoisted per template object (without its\n// id in production client builds: the renderer compares those by identity), and the call\n// becomes `compiled(<const>, [values…])`. Line breaks inside a rewritten template are\n// kept, so every following line keeps its number; the source map covers columns.\nimport { analyze, TemplateError, type TemplateObject } from '../view/index.js';\nimport type { Node } from './ast.js';\nimport { nodeAt, nodesAt } from './ast.js';\nimport { checkWithParse5, type Parse5 } from './parse5-check.js';\nimport type { HtmlImport } from './scan.js';\nimport { splice, type Edit, type Lines, type SourceMap } from './source.js';\n\n/** Where a source's `compiled` lives when its `html` module isn't the one to import it from. */\nconst COMPILED_ENTRIES: Readonly<Record<string, string>> = {\n  '@gyral/core': '@gyral/core/compiled',\n};\n\n/** A build error at `start`–`end` of the module (the plugin adds the code frame). */\nexport class CompileError extends Error {\n  constructor(\n    readonly start: number,\n    readonly end: number,\n    message: string,\n  ) {\n    super(message);\n  }\n}\n\nexport interface CompileInput {\n  readonly lines: Lines;\n  /** Module id, and its path relative to the root (for messages). */\n  readonly id: string;\n  readonly file: string;\n  readonly sites: readonly { readonly node: Node; readonly binding: HtmlImport }[];\n  /** Server build: keep the server segments. */\n  readonly ssr: boolean;\n  /**\n   * Keep template ids: SSR and development builds (development markers, the hydration id\n   * check). A production client compares templates by identity, so its objects go without.\n   */\n  readonly ids: boolean;\n  readonly parse5: Parse5 | undefined;\n  /** Template id → normalized strings and call site, for the whole build (collisions). */\n  readonly seen: Map<string, { readonly strings: string; readonly loc: string }>;\n}\n\n/**\n * The template object as emitted: no `loc` (production), no `segments` in client builds, no\n * `id` unless `ids` (01 \"Template ids\": random base-36 text that gzip can't shrink). Its fields\n * are already compact (numeric part kinds, tuples, `server` only when true; 01), so the code\n * needs no decoding.\n */\nfunction emitted(template: TemplateObject, ssr: boolean, ids: boolean): object {\n  const { id, html, parts, server, segments } = template;\n  const client = { ...(ids ? { id } : {}), html, parts, ...(server === true ? { server } : {}) };\n  return ssr ? { ...client, segments } : client;\n}\n\nconst newlines = (text: string): string => '\\n'.repeat(text.split('\\n').length - 1);\n\n/** Edits turning html`a${x}b${y}c` into `callee(name, [x, y])`, keeping line breaks. */\nfunction siteEdits(code: string, node: Node, callee: string, name: string): Edit[] {\n  const values = nodesAt(nodeAt(node, 'quasi') ?? node, 'expressions');\n  const first = values[0];\n  const last = values.at(-1);\n  if (first === undefined || last === undefined) {\n    const nl = newlines(code.slice(node.start, node.end));\n    return [{ start: node.start, end: node.end, text: `${callee}(${name}, [${nl}])` }];\n  }\n  const edit = (start: number, end: number, text: string): Edit => ({\n    start,\n    end,\n    text: text + newlines(code.slice(start, end)),\n  });\n  const edits = [edit(node.start, first.start, `${callee}(${name}, [`)];\n  for (let k = 1; k < values.length; k++) {\n    const prev = values[k - 1];\n    const next = values[k];\n    if (prev !== undefined && next !== undefined) edits.push(edit(prev.end, next.start, ', '));\n  }\n  edits.push({\n    start: last.end,\n    end: node.end,\n    text: `${newlines(code.slice(last.end, node.end))}])`,\n  });\n  return edits;\n}\n\n/** The cooked strings of a tagged template (what the tag receives at runtime). */\nfunction cookedStrings(node: Node): string[] {\n  return nodesAt(nodeAt(node, 'quasi') ?? node, 'quasis').map((q) => {\n    const cooked = (q['value'] as { cooked?: unknown } | undefined)?.cooked;\n    if (typeof cooked !== 'string') {\n      throw new CompileError(\n        q.start,\n        q.end,\n        'This html template has an invalid escape sequence, so it has no string value at ' +\n          'runtime. Fix the escape (write \\\\\\\\ for a backslash).',\n      );\n    }\n    return cooked;\n  });\n}\n\n/** Rewrites every call site in the module; nested templates inside values are included. */\nexport function compileModule(input: CompileInput): { code: string; map: SourceMap } {\n  const { lines, sites, seen } = input;\n  const { code } = lines;\n  let prefix = '_gyral$';\n  for (let n = 1; code.includes(prefix); n++) prefix = `_gyral${String(n)}$`;\n  const callees = new Map<string, string>();\n  const consts = new Map<string, string>();\n  const decls: string[] = [];\n  const edits: Edit[] = [];\n  for (const { node, binding } of sites) {\n    const { line, column } = lines.position(node.start);\n    const loc = `${input.file}:${String(line)}:${String(column + 1)}`;\n    let analysis;\n    try {\n      analysis = analyze(cookedStrings(node), loc);\n    } catch (error) {\n      if (error instanceof TemplateError)\n        throw new CompileError(node.start, node.end, error.message);\n      throw error;\n    }\n    const { template, shape } = analysis;\n    const strings = JSON.stringify(analysis.strings);\n    const known = seen.get(template.id);\n    if (known !== undefined && known.strings !== strings) {\n      throw new CompileError(\n        node.start,\n        node.end,\n        `Two different templates share the id ${template.id} (this one and ${known.loc}), so ` +\n          `server output and hydration could confuse them. Change one slightly (for example add ` +\n          `a class) and report the collision (view/01-templates.md \"Template ids\").`,\n      );\n    }\n    seen.set(template.id, { strings, loc });\n    const repaired = input.parse5 && checkWithParse5(input.parse5, template, shape);\n    if (repaired) throw new CompileError(node.start, node.end, repaired.message);\n    let name = consts.get(template.id);\n    if (name === undefined) {\n      name = `${prefix}t${String(consts.size)}`;\n      consts.set(template.id, name);\n      decls.push(`const ${name} = ${JSON.stringify(emitted(template, input.ssr, input.ids))};`);\n    }\n    const entry = COMPILED_ENTRIES[binding.specifier] ?? binding.specifier;\n    let callee = callees.get(entry);\n    if (callee === undefined) {\n      callee = `${prefix}compiled${callees.size === 0 ? '' : String(callees.size)}`;\n      callees.set(entry, callee);\n    }\n    edits.push(...siteEdits(code, node, callee, name));\n  }\n  const imports = [...callees].map(\n    ([entry, local]) => `import { compiled as ${local} } from ${JSON.stringify(entry)};`,\n  );\n  // Prepended to the first line (after a hashbang), so no line moves.\n  const at = code.startsWith('#!') ? code.indexOf('\\n') + 1 : 0;\n  edits.unshift({ start: at, end: at, text: [...imports, ...decls].join('') });\n  return splice(lines, edits, input.id);\n}\n"]}
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/compiler/compile.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,gGAAgG;AAChG,wFAAwF;AACxF,6FAA6F;AAC7F,4FAA4F;AAC5F,8FAA8F;AAC9F,iCAAiC;AACjC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAuB,MAAM,kBAAkB,CAAC;AAE/E,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAe,MAAM,mBAAmB,CAAC;AAEjE,OAAO,EAAE,MAAM,EAAyC,MAAM,aAAa,CAAC;AAE5E,gGAAgG;AAChG,MAAM,gBAAgB,GAAqC;IACzD,aAAa,EAAE,sBAAsB;CACtC,CAAC;AAEF,qFAAqF;AACrF,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,YACW,KAAa,EACb,GAAW,EACpB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAJN,UAAK,GAAL,KAAK,CAAQ;QACb,QAAG,GAAH,GAAG,CAAQ;IAItB,CAAC;CACF;AA0BD;;;;;GAKG;AACH,SAAS,OAAO,CAAC,QAAwB,EAAE,GAAY,EAAE,GAAY;IACnE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IAC1E,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,IAAI;QACJ,KAAK;QACL,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtC,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjC,CAAC;IACF,IAAI,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IACxB,OAAO,YAAY,KAAK,SAAS;QAC/B,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE;QACzB,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAEpF,wFAAwF;AACxF,SAAS,SAAS,CAAC,IAAY,EAAE,IAAU,EAAE,MAAc,EAAE,IAAY;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,aAAa,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,MAAM,IAAI,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY,EAAQ,EAAE,CAAC,CAAC;QAChE,KAAK;QACL,GAAG;QACH,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;KAC9C,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC;IACtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,KAAK,CAAC,IAAI,CAAC;QACT,KAAK,EAAE,IAAI,CAAC,GAAG;QACf,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI;KACtD,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa,CAAC,IAAU,EAAE,GAAQ;IACzC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChE,MAAM,MAAM,GAAI,CAAC,CAAC,OAAO,CAAsC,EAAE,MAAM,CAAC;QACxE,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,YAAY,CACpB,CAAC,CAAC,KAAK,EACP,CAAC,CAAC,GAAG,EACL,QAAQ,GAAG,yEAAyE;gBAClF,uDAAuD,CAC1D,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,aAAa,CAAC,KAAmB;IAC/C,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACrC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,MAAM,GAAG,SAAS,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;QAAE,MAAM,GAAG,SAAS,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3E,qFAAqF;IACrF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,KAAK,EAAE,CAAC;QAC3C,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QAClE,IAAI,QAAQ,CAAC;QACb,IAAI,CAAC;YACH,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC;QACnE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,aAAa;gBAChC,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAC9D,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YACrD,MAAM,IAAI,YAAY,CACpB,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,GAAG,EACR,wCAAwC,QAAQ,CAAC,EAAE,kBAAkB,KAAK,CAAC,GAAG,QAAQ;gBACpF,uFAAuF;gBACvF,0EAA0E,CAC7E,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAChF,IAAI,QAAQ;YAAE,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC7E,IAAI,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,GAAG,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC;QACvE,MAAM,QAAQ,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC;QAC5D,MAAM,IAAI,GAAG,GAAG,QAAQ,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACjF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,YAAY,QAAQ,OAAO,MAAM,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzF,CAAC;IACD,oEAAoE;IACpE,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AACxC,CAAC","sourcesContent":["// Compiles one module's `html` and `svg` call sites (view/01-templates.md \"Compiled\"): each\n// call site's cooked strings go through the same normalizer as the runtime path (so ids match),\n// parse5 double-checks rule 7, one module-level constant is hoisted per template object\n// (without its id in production client builds: the renderer compares those by identity), and\n// the call becomes `compiled(<const>, [values…])`, or `compiledSvg(…)` for an svg template.\n// Line breaks inside a rewritten template are kept, so every following line keeps its number;\n// the source map covers columns.\nimport { analyze, TemplateError, type TemplateObject } from '../view/index.js';\nimport type { Node } from './ast.js';\nimport { nodeAt, nodesAt } from './ast.js';\nimport { checkWithParse5, type Parse5 } from './parse5-check.js';\nimport type { HtmlImport, Tag } from './scan.js';\nimport { splice, type Edit, type Lines, type SourceMap } from './source.js';\n\n/** Where a source's `compiled` lives when its `html` module isn't the one to import it from. */\nconst COMPILED_ENTRIES: Readonly<Record<string, string>> = {\n  '@gyral/core': '@gyral/core/compiled',\n};\n\n/** A build error at `start`–`end` of the module (the plugin adds the code frame). */\nexport class CompileError extends Error {\n  constructor(\n    readonly start: number,\n    readonly end: number,\n    message: string,\n  ) {\n    super(message);\n  }\n}\n\nexport interface CompileInput {\n  readonly lines: Lines;\n  /** Module id, and its path relative to the root (for messages). */\n  readonly id: string;\n  readonly file: string;\n  readonly sites: readonly {\n    readonly node: Node;\n    readonly binding: HtmlImport;\n    readonly tag: Tag;\n  }[];\n  /** Server build: keep the server segments. */\n  readonly ssr: boolean;\n  /**\n   * Keep template ids: SSR and development builds (development markers, the hydration id\n   * check). A production client compares templates by identity, so its objects go without.\n   */\n  readonly ids: boolean;\n  readonly parse5: Parse5 | undefined;\n  /** Other edits to apply in the same pass (prop-schemas.ts); dropped inside a call site. */\n  readonly extra?: readonly Edit[];\n  /** Template id → normalized strings and call site, for the whole build (collisions). */\n  readonly seen: Map<string, { readonly strings: string; readonly loc: string }>;\n}\n\n/**\n * The template object as emitted: no `loc` (production), no `segments` in client builds, no\n * `id` unless `ids` (01 \"Template ids\": random base-36 text that gzip can't shrink). Its fields\n * are already compact (numeric part kinds, tuples, `server` only when true; 01), so the code\n * needs no decoding.\n */\nfunction emitted(template: TemplateObject, ssr: boolean, ids: boolean): object {\n  const { id, html, parts, server, svg, segments, staticStyles } = template;\n  const client = {\n    ...(ids ? { id } : {}),\n    html,\n    parts,\n    ...(server === true ? { server } : {}),\n    ...(svg === true ? { svg } : {}),\n  };\n  if (!ssr) return client;\n  return staticStyles === undefined\n    ? { ...client, segments }\n    : { ...client, segments, staticStyles };\n}\n\nconst newlines = (text: string): string => '\\n'.repeat(text.split('\\n').length - 1);\n\n/** Edits turning html`a${x}b${y}c` into `callee(name, [x, y])`, keeping line breaks. */\nfunction siteEdits(code: string, node: Node, callee: string, name: string): Edit[] {\n  const values = nodesAt(nodeAt(node, 'quasi') ?? node, 'expressions');\n  const first = values[0];\n  const last = values.at(-1);\n  if (first === undefined || last === undefined) {\n    const nl = newlines(code.slice(node.start, node.end));\n    return [{ start: node.start, end: node.end, text: `${callee}(${name}, [${nl}])` }];\n  }\n  const edit = (start: number, end: number, text: string): Edit => ({\n    start,\n    end,\n    text: text + newlines(code.slice(start, end)),\n  });\n  const edits = [edit(node.start, first.start, `${callee}(${name}, [`)];\n  for (let k = 1; k < values.length; k++) {\n    const prev = values[k - 1];\n    const next = values[k];\n    if (prev !== undefined && next !== undefined) edits.push(edit(prev.end, next.start, ', '));\n  }\n  edits.push({\n    start: last.end,\n    end: node.end,\n    text: `${newlines(code.slice(last.end, node.end))}])`,\n  });\n  return edits;\n}\n\n/** The cooked strings of a tagged template (what the tag receives at runtime). */\nfunction cookedStrings(node: Node, tag: Tag): string[] {\n  return nodesAt(nodeAt(node, 'quasi') ?? node, 'quasis').map((q) => {\n    const cooked = (q['value'] as { cooked?: unknown } | undefined)?.cooked;\n    if (typeof cooked !== 'string') {\n      throw new CompileError(\n        q.start,\n        q.end,\n        `This ${tag} template has an invalid escape sequence, so it has no string value at ` +\n          'runtime. Fix the escape (write \\\\\\\\ for a backslash).',\n      );\n    }\n    return cooked;\n  });\n}\n\n/** Rewrites every call site in the module; nested templates inside values are included. */\nexport function compileModule(input: CompileInput): { code: string; map: SourceMap } {\n  const { lines, sites, seen } = input;\n  const { code } = lines;\n  let prefix = '_gyral$';\n  for (let n = 1; code.includes(prefix); n++) prefix = `_gyral${String(n)}$`;\n  /** `compiled from \"entry\"` → the import's local name, per tag function and entry. */\n  const callees = new Map<string, string>();\n  const imports: string[] = [];\n  const consts = new Map<string, string>();\n  const decls: string[] = [];\n  const edits: Edit[] = [];\n  for (const { node, binding, tag } of sites) {\n    const { line, column } = lines.position(node.start);\n    const loc = `${input.file}:${String(line)}:${String(column + 1)}`;\n    let analysis;\n    try {\n      analysis = analyze(cookedStrings(node, tag), loc, tag === 'svg');\n    } catch (error) {\n      if (error instanceof TemplateError)\n        throw new CompileError(node.start, node.end, error.message);\n      throw error;\n    }\n    const { template, shape } = analysis;\n    const strings = JSON.stringify(analysis.strings);\n    const known = seen.get(template.id);\n    if (known !== undefined && known.strings !== strings) {\n      throw new CompileError(\n        node.start,\n        node.end,\n        `Two different templates share the id ${template.id} (this one and ${known.loc}), so ` +\n          `server output and hydration could confuse them. Change one slightly (for example add ` +\n          `a class) and report the collision (view/01-templates.md \"Template ids\").`,\n      );\n    }\n    seen.set(template.id, { strings, loc });\n    const repaired = input.parse5 && checkWithParse5(input.parse5, template, shape);\n    if (repaired) throw new CompileError(node.start, node.end, repaired.message);\n    let name = consts.get(template.id);\n    if (name === undefined) {\n      name = `${prefix}t${String(consts.size)}`;\n      consts.set(template.id, name);\n      decls.push(`const ${name} = ${JSON.stringify(emitted(template, input.ssr, input.ids))};`);\n    }\n    const entry = COMPILED_ENTRIES[binding.specifier] ?? binding.specifier;\n    const exported = tag === 'svg' ? 'compiledSvg' : 'compiled';\n    const from = `${exported} from ${JSON.stringify(entry)}`;\n    let callee = callees.get(from);\n    if (callee === undefined) {\n      callee = `${prefix}${exported}${callees.size === 0 ? '' : String(callees.size)}`;\n      callees.set(from, callee);\n      imports.push(`import { ${exported} as ${callee} } from ${JSON.stringify(entry)};`);\n    }\n    edits.push(...siteEdits(code, node, callee, name));\n  }\n  for (const e of input.extra ?? []) {\n    if (!sites.some(({ node }) => e.start < node.end && e.end > node.start)) edits.push(e);\n  }\n  // Prepended to the first line (after a hashbang), so no line moves.\n  const at = code.startsWith('#!') ? code.indexOf('\\n') + 1 : 0;\n  edits.unshift({ start: at, end: at, text: [...imports, ...decls].join('') });\n  return splice(lines, edits, input.id);\n}\n"]}

package/dist/compiler/component-entries.d.ts

@@ -0,0 +1,7 @@
+import type { Rollup } from 'vite';
+/**
+ * Modules statically retained by the app's inputs (transitively). A component among them is
+ * defined at startup by the app's own entry; giving it to the loader as well would make the
+ * bundler split it out of the entry into a chunk of its own.
+ */
+export declare function staticallyReachable(ctx: Rollup.PluginContext, inputs: readonly string[]): Promise<Set<string>>;

package/dist/compiler/component-entries.js

@@ -0,0 +1,42 @@
+/**
+ * Modules statically retained by the app's inputs (transitively). A component among them is
+ * defined at startup by the app's own entry; giving it to the loader as well would make the
+ * bundler split it out of the entry into a chunk of its own.
+ */
+export async function staticallyReachable(ctx, inputs) {
+    const seen = new Set();
+    const reachable = new Set();
+    const entries = new Set();
+    const queue = [];
+    for (const input of inputs) {
+        const resolved = await ctx.resolve(input, undefined, { isEntry: true });
+        if (resolved !== null && !resolved.external) {
+            entries.add(resolved.id);
+            queue.push(resolved);
+        }
+    }
+    while (queue.length > 0) {
+        const resolved = queue.pop();
+        if (resolved === undefined)
+            break;
+        const { id } = resolved;
+        if (seen.has(id) || id === '\0virtual:gyral/components')
+            continue;
+        seen.add(id);
+        const info = await ctx.load({ ...resolved, resolveDependencies: true });
+        // A side-effect-only import can be dropped by tree shaking. Keep such components in
+        // the loader rather than assuming the entry registered them (including through barrels).
+        if ((info.moduleSideEffects ?? resolved.moduleSideEffects) === false && !entries.has(id))
+            continue;
+        reachable.add(id);
+        for (const next of info.importedIds) {
+            if (seen.has(next))
+                continue;
+            const dependency = await ctx.resolve(next, id);
+            if (dependency !== null && !dependency.external)
+                queue.push(dependency);
+        }
+    }
+    return reachable;
+}
+//# sourceMappingURL=component-entries.js.map

package/dist/compiler/component-entries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-entries.js","sourceRoot":"","sources":["../../src/compiler/component-entries.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,GAAyB,EACzB,MAAyB;IAEzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM;QAClC,MAAM,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,4BAA4B;YAAE,SAAS;QAClE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,QAAQ,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,oFAAoF;QACpF,yFAAyF;QACzF,IAAI,CAAC,IAAI,CAAC,iBAAiB,IAAI,QAAQ,CAAC,iBAAiB,CAAC,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACtF,SAAS;QACX,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,UAAU,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC","sourcesContent":["// Preserve components statically retained by the app entry instead of forcing another\n// dynamic-import entry for them (ADR 0016, gyral-1zd.31).\nimport type { Rollup } from 'vite';\n\n/**\n * Modules statically retained by the app's inputs (transitively). A component among them is\n * defined at startup by the app's own entry; giving it to the loader as well would make the\n * bundler split it out of the entry into a chunk of its own.\n */\nexport async function staticallyReachable(\n  ctx: Rollup.PluginContext,\n  inputs: readonly string[],\n): Promise<Set<string>> {\n  const seen = new Set<string>();\n  const reachable = new Set<string>();\n  const entries = new Set<string>();\n  const queue: Rollup.ResolvedId[] = [];\n  for (const input of inputs) {\n    const resolved = await ctx.resolve(input, undefined, { isEntry: true });\n    if (resolved !== null && !resolved.external) {\n      entries.add(resolved.id);\n      queue.push(resolved);\n    }\n  }\n  while (queue.length > 0) {\n    const resolved = queue.pop();\n    if (resolved === undefined) break;\n    const { id } = resolved;\n    if (seen.has(id) || id === '\\0virtual:gyral/components') continue;\n    seen.add(id);\n    const info = await ctx.load({ ...resolved, resolveDependencies: true });\n    // A side-effect-only import can be dropped by tree shaking. Keep such components in\n    // the loader rather than assuming the entry registered them (including through barrels).\n    if ((info.moduleSideEffects ?? resolved.moduleSideEffects) === false && !entries.has(id))\n      continue;\n    reachable.add(id);\n    for (const next of info.importedIds) {\n      if (seen.has(next)) continue;\n      const dependency = await ctx.resolve(next, id);\n      if (dependency !== null && !dependency.external) queue.push(dependency);\n    }\n  }\n  return reachable;\n}\n"]}

package/dist/compiler/components.d.ts

@@ -0,0 +1,4 @@
+import type { Plugin } from 'vite';
+import type { ComponentsOptions } from '../vite.js';
+/** Automatic component loading (`gyralVitePreset({ components })`). */
+export declare function createComponents(options: ComponentsOptions): Plugin;

package/dist/compiler/components.js

@@ -0,0 +1,182 @@
+// Automatic component loading (`gyralVitePreset({ components })`, ADR 0016 addendum "Automatic
+// component loading"): finds the app's components, adds a loader to the client build that
+// imports a tag's module once the tag is in the page, and writes the manifest
+// `@gyral/ssr/static`'s `componentsFromManifest` reads. ../vite.ts loads it on the plugin's
+// first hook, as it loads the compiler.
+import { relative, resolve, sep } from 'node:path';
+import { staticallyReachable } from './component-entries.js';
+import { loaderSource } from './loader-source.js';
+import { discoverComponents } from './tag-map.js';
+/** The loader module's id, and Vite's id for it (a virtual module). */
+const COMPONENTS_ID = 'virtual:gyral/components';
+const COMPONENTS_RESOLVED = `\0${COMPONENTS_ID}`;
+/** The file the build writes next to `.vite/manifest.json` (read by `@gyral/ssr/static`). */
+const COMPONENTS_MANIFEST = '.vite/gyral-components.json';
+const SOURCE_FILE = /\.[cm]?[jt]sx?$/;
+/**
+ * Tag → root-relative URL (`/src/…`) of the module defining it: ./tag-map.ts's scan, then the
+ * `modules` the app lists for components the scan can't see (defined through a wrapper).
+ */
+function scanComponents(root, include, listed = {}) {
+    const tags = new Map();
+    for (const [tag, path] of Object.entries(listed)) {
+        tags.set(tag, `/${relative(root, resolve(root, path)).split(sep).join('/')}`);
+    }
+    for (const { tag, file } of discoverComponents(root, include)) {
+        const url = `/${relative(root, file).split(sep).join('/')}`;
+        const known = tags.get(tag);
+        if (known === undefined)
+            tags.set(tag, url);
+        else if (known !== url && listed[tag] === undefined) {
+            console.warn(`gyral: <${tag}> is defined in ${known} and ${url}; loading ${known}`);
+        }
+    }
+    return tags;
+}
+/** The app's own inputs (everything but the loader), as module specifiers. */
+function inputsOf(input) {
+    if (input === undefined)
+        return [];
+    if (typeof input === 'string')
+        return [input];
+    if (Array.isArray(input))
+        return [...input];
+    return Object.values(input);
+}
+/** The client build's input with the loader added. */
+function withLoader(input) {
+    if (input === undefined)
+        return { components: COMPONENTS_ID };
+    if (typeof input === 'string') {
+        const name = input.replace(/^.*\//, '').replace(/\.[^.]*$/, '');
+        return withLoader({ [name]: input });
+    }
+    if (Array.isArray(input))
+        return [...input, COMPONENTS_ID];
+    const entries = input;
+    let name = 'components';
+    while (name in entries)
+        name += '-loader';
+    return { ...entries, [name]: COMPONENTS_ID };
+}
+/** Automatic component loading (`gyralVitePreset({ components })`). */
+export function createComponents(options) {
+    const include = options.include ?? ['src'];
+    let root = process.cwd();
+    let tags = new Map();
+    /** The app's own build inputs, recorded before the loader is added. */
+    let appInputs = [];
+    /** Tags the app's entry defines itself (statically imported): not loaded by the loader. */
+    let entryTags = [];
+    let loaderFile = '';
+    const scan = () => (tags = scanComponents(root, include, options.modules));
+    const api = { tags: scan };
+    return {
+        name: 'gyral:components',
+        api,
+        config(config, env) {
+            root = resolve(config.root ?? process.cwd());
+            if (env.command !== 'build' || env.isSsrBuild === true)
+                return;
+            const build = (config.build ??= {});
+            const key = build.rolldownOptions !== undefined ? 'rolldownOptions' : 'rollupOptions';
+            const bundler = (build[key] ??= {});
+            const input = bundler.input ?? config.input;
+            appInputs = inputsOf(input);
+            bundler.input = withLoader(input);
+            build.manifest ??= true;
+        },
+        configResolved(config) {
+            root = config.root;
+            if (config.command !== 'build' || config.build.ssr !== false)
+                return;
+            const preload = config.build.modulePreload;
+            if (preload === false)
+                return;
+            const previous = preload.resolveDependencies;
+            preload.resolveDependencies = (file, deps, context) => context.hostType === 'js' && context.hostId === loaderFile
+                ? []
+                : (previous?.(file, deps, context) ?? deps);
+        },
+        buildStart() {
+            scan();
+        },
+        resolveId(source) {
+            return source === COMPONENTS_ID ? COMPONENTS_RESOLVED : null;
+        },
+        async load(id) {
+            if (id !== COMPONENTS_RESOLVED)
+                return null;
+            if (this.environment.config.command === 'serve') {
+                scan();
+                return loaderSource(tags);
+            }
+            // A production build: components the app's entry imports are already defined at startup,
+            // and every other one becomes a dynamic import. The dependency filter removes repeated
+            // JS preload lists (renderPage already preloads them); Vite still loads their CSS.
+            const inEntry = await staticallyReachable(this, appInputs);
+            entryTags = [];
+            const lazy = new Map();
+            for (const [tag, url] of tags) {
+                const file = resolve(root, url.slice(1));
+                if (inEntry.has(file)) {
+                    entryTags.push(tag);
+                    continue;
+                }
+                lazy.set(tag, url);
+            }
+            return loaderSource(lazy, { known: entryTags });
+        },
+        configureServer(server) {
+            // A new or edited component module changes the loader's table.
+            const refresh = (file) => {
+                if (!SOURCE_FILE.test(file))
+                    return;
+                const module = server.environments.client.moduleGraph.getModuleById(COMPONENTS_RESOLVED);
+                if (module !== undefined)
+                    server.environments.client.moduleGraph.invalidateModule(module);
+            };
+            server.watcher.on('add', refresh);
+            server.watcher.on('unlink', refresh);
+            server.watcher.on('change', refresh);
+        },
+        generateBundle(_output, bundle) {
+            if (this.environment.config.consumer !== 'client')
+                return;
+            const loader = Object.values(bundle).find((chunk) => chunk.type === 'chunk' && chunk.facadeModuleId === COMPONENTS_RESOLVED);
+            if (loader?.type !== 'chunk')
+                return;
+            loaderFile = loader.fileName;
+            const modules = Object.fromEntries([...tags].map(([tag, url]) => [tag, url.slice(1)]));
+            // Each tag's chunk by file. A module another chunk imports statically is bundled into
+            // that chunk (often the entry), so Vite's manifest has no key for it; the server finds
+            // the chunk by file instead (`componentAssets`).
+            const chunkOf = new Map();
+            for (const chunk of Object.values(bundle)) {
+                if (chunk.type !== 'chunk')
+                    continue;
+                for (const id of chunk.moduleIds)
+                    chunkOf.set(id, chunk.fileName);
+            }
+            const chunks = {};
+            for (const [tag, url] of tags) {
+                const file = chunkOf.get(resolve(root, url.slice(1)));
+                if (file !== undefined)
+                    chunks[tag] = file;
+            }
+            const written = {
+                loader: loader.fileName,
+                loaderImports: loader.imports,
+                modules,
+                chunks,
+                entryTags,
+            };
+            this.emitFile({
+                type: 'asset',
+                fileName: COMPONENTS_MANIFEST,
+                source: `${JSON.stringify(written, null, 2)}\n`,
+            });
+        },
+    };
+}
+//# sourceMappingURL=components.js.map

package/dist/compiler/components.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"components.js","sourceRoot":"","sources":["../../src/compiler/components.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,0FAA0F;AAC1F,8EAA8E;AAC9E,4FAA4F;AAC5F,wCAAwC;AACxC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAEnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,uEAAuE;AACvE,MAAM,aAAa,GAAG,0BAA0B,CAAC;AACjD,MAAM,mBAAmB,GAAG,KAAK,aAAa,EAAE,CAAC;AACjD,6FAA6F;AAC7F,MAAM,mBAAmB,GAAG,6BAA6B,CAAC;AAE1D,MAAM,WAAW,GAAG,iBAAiB,CAAC;AAEtC;;;GAGG;AACH,SAAS,cAAc,CACrB,IAAY,EACZ,OAA0B,EAC1B,SAA2C,EAAE;IAE7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9D,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;aACvC,IAAI,KAAK,KAAK,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YACpD,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,mBAAmB,KAAK,QAAQ,GAAG,aAAa,KAAK,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAID,8EAA8E;AAC9E,SAAS,QAAQ,CAAC,KAAY;IAC5B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,GAAI,KAA2B,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,KAAyC,CAAC,CAAC;AAClE,CAAC;AAED,sDAAsD;AACtD,SAAS,UAAU,CAAC,KAAY;IAC9B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAChE,OAAO,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,GAAI,KAA2B,EAAE,aAAa,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,KAAyC,CAAC;IAC1D,IAAI,IAAI,GAAG,YAAY,CAAC;IACxB,OAAO,IAAI,IAAI,OAAO;QAAE,IAAI,IAAI,SAAS,CAAC;IAC1C,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;AAC/C,CAAC;AAOD,uEAAuE;AACvE,MAAM,UAAU,gBAAgB,CAAC,OAA0B;IACzD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IACzB,IAAI,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrC,uEAAuE;IACvE,IAAI,SAAS,GAAa,EAAE,CAAC;IAC7B,2FAA2F;IAC3F,IAAI,SAAS,GAAa,EAAE,CAAC;IAC7B,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,MAAM,IAAI,GAAG,GAAwB,EAAE,CAAC,CAAC,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAChG,MAAM,GAAG,GAAwB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChD,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,GAAG;QACH,MAAM,CAAC,MAAM,EAAE,GAAG;YAChB,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;YAC7C,IAAI,GAAG,CAAC,OAAO,KAAK,OAAO,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI;gBAAE,OAAO;YAM/D,MAAM,KAAK,GAAG,CAAE,MAA4B,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC;YAC3D,MAAM,GAAG,GAAG,KAAK,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC;YACtF,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;YAC5C,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC5B,OAAO,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAClC,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC;QAC1B,CAAC;QACD,cAAc,CAAC,MAAM;YACnB,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;YACnB,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,KAAK;gBAAE,OAAO;YACrE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;YAC3C,IAAI,OAAO,KAAK,KAAK;gBAAE,OAAO;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,mBAAmB,CAAC;YAC7C,OAAO,CAAC,mBAAmB,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CACpD,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;gBACxD,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC;QAClD,CAAC;QACD,UAAU;YACR,IAAI,EAAE,CAAC;QACT,CAAC;QACD,SAAS,CAAC,MAAM;YACd,OAAO,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,KAAK,mBAAmB;gBAAE,OAAO,IAAI,CAAC;YAC5C,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;gBAChD,IAAI,EAAE,CAAC;gBACP,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;YACD,yFAAyF;YACzF,uFAAuF;YACvF,mFAAmF;YACnF,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAC3D,SAAS,GAAG,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;YACvC,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACzC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACpB,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACrB,CAAC;YACD,OAAO,YAAY,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,eAAe,CAAC,MAAM;YACpB,+DAA+D;YAC/D,MAAM,OAAO,GAAG,CAAC,IAAY,EAAQ,EAAE;gBACrC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO;gBACpC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC;gBACzF,IAAI,MAAM,KAAK,SAAS;oBAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC5F,CAAC,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAClC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QACD,cAAc,CAAC,OAAO,EAAE,MAAM;YAC5B,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAAE,OAAO;YAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CACvC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,cAAc,KAAK,mBAAmB,CAClF,CAAC;YACF,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO;gBAAE,OAAO;YACrC,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,sFAAsF;YACtF,uFAAuF;YACvF,iDAAiD;YACjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;oBAAE,SAAS;gBACrC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACpE,CAAC;YACD,MAAM,MAAM,GAA2B,EAAE,CAAC;YAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtD,IAAI,IAAI,KAAK,SAAS;oBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;YAC7C,CAAC;YACD,MAAM,OAAO,GAAG;gBACd,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,aAAa,EAAE,MAAM,CAAC,OAAO;gBAC7B,OAAO;gBACP,MAAM;gBACN,SAAS;aACV,CAAC;YACF,IAAI,CAAC,QAAQ,CAAC;gBACZ,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,mBAAmB;gBAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;aAChD,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["// Automatic component loading (`gyralVitePreset({ components })`, ADR 0016 addendum \"Automatic\n// component loading\"): finds the app's components, adds a loader to the client build that\n// imports a tag's module once the tag is in the page, and writes the manifest\n// `@gyral/ssr/static`'s `componentsFromManifest` reads. ../vite.ts loads it on the plugin's\n// first hook, as it loads the compiler.\nimport { relative, resolve, sep } from 'node:path';\nimport type { Plugin } from 'vite';\nimport { staticallyReachable } from './component-entries.js';\nimport type { ComponentsOptions } from '../vite.js';\nimport { loaderSource } from './loader-source.js';\nimport { discoverComponents } from './tag-map.js';\n\n/** The loader module's id, and Vite's id for it (a virtual module). */\nconst COMPONENTS_ID = 'virtual:gyral/components';\nconst COMPONENTS_RESOLVED = `\\0${COMPONENTS_ID}`;\n/** The file the build writes next to `.vite/manifest.json` (read by `@gyral/ssr/static`). */\nconst COMPONENTS_MANIFEST = '.vite/gyral-components.json';\n\nconst SOURCE_FILE = /\\.[cm]?[jt]sx?$/;\n\n/**\n * Tag → root-relative URL (`/src/…`) of the module defining it: ./tag-map.ts's scan, then the\n * `modules` the app lists for components the scan can't see (defined through a wrapper).\n */\nfunction scanComponents(\n  root: string,\n  include: readonly string[],\n  listed: Readonly<Record<string, string>> = {},\n): Map<string, string> {\n  const tags = new Map<string, string>();\n  for (const [tag, path] of Object.entries(listed)) {\n    tags.set(tag, `/${relative(root, resolve(root, path)).split(sep).join('/')}`);\n  }\n  for (const { tag, file } of discoverComponents(root, include)) {\n    const url = `/${relative(root, file).split(sep).join('/')}`;\n    const known = tags.get(tag);\n    if (known === undefined) tags.set(tag, url);\n    else if (known !== url && listed[tag] === undefined) {\n      console.warn(`gyral: <${tag}> is defined in ${known} and ${url}; loading ${known}`);\n    }\n  }\n  return tags;\n}\n\ntype Input = string | readonly string[] | Readonly<Record<string, string>> | undefined;\n\n/** The app's own inputs (everything but the loader), as module specifiers. */\nfunction inputsOf(input: Input): string[] {\n  if (input === undefined) return [];\n  if (typeof input === 'string') return [input];\n  if (Array.isArray(input)) return [...(input as readonly string[])];\n  return Object.values(input as Readonly<Record<string, string>>);\n}\n\n/** The client build's input with the loader added. */\nfunction withLoader(input: Input): string[] | Record<string, string> {\n  if (input === undefined) return { components: COMPONENTS_ID };\n  if (typeof input === 'string') {\n    const name = input.replace(/^.*\\//, '').replace(/\\.[^.]*$/, '');\n    return withLoader({ [name]: input });\n  }\n  if (Array.isArray(input)) return [...(input as readonly string[]), COMPONENTS_ID];\n  const entries = input as Readonly<Record<string, string>>;\n  let name = 'components';\n  while (name in entries) name += '-loader';\n  return { ...entries, [name]: COMPONENTS_ID };\n}\n\n/** The API `gyralDevServer` reads from this plugin (the tags it found, fresh). */\ninterface ComponentsPluginApi {\n  readonly tags: () => ReadonlyMap<string, string>;\n}\n\n/** Automatic component loading (`gyralVitePreset({ components })`). */\nexport function createComponents(options: ComponentsOptions): Plugin {\n  const include = options.include ?? ['src'];\n  let root = process.cwd();\n  let tags = new Map<string, string>();\n  /** The app's own build inputs, recorded before the loader is added. */\n  let appInputs: string[] = [];\n  /** Tags the app's entry defines itself (statically imported): not loaded by the loader. */\n  let entryTags: string[] = [];\n  let loaderFile = '';\n  const scan = (): Map<string, string> => (tags = scanComponents(root, include, options.modules));\n  const api: ComponentsPluginApi = { tags: scan };\n  return {\n    name: 'gyral:components',\n    api,\n    config(config, env) {\n      root = resolve(config.root ?? process.cwd());\n      if (env.command !== 'build' || env.isSsrBuild === true) return;\n      type Build = {\n        manifest?: boolean | string;\n        rollupOptions?: { input?: Input };\n        rolldownOptions?: { input?: Input };\n      };\n      const build = ((config as { build?: Build }).build ??= {});\n      const key = build.rolldownOptions !== undefined ? 'rolldownOptions' : 'rollupOptions';\n      const bundler = (build[key] ??= {});\n      const input = bundler.input ?? config.input;\n      appInputs = inputsOf(input);\n      bundler.input = withLoader(input);\n      build.manifest ??= true;\n    },\n    configResolved(config) {\n      root = config.root;\n      if (config.command !== 'build' || config.build.ssr !== false) return;\n      const preload = config.build.modulePreload;\n      if (preload === false) return;\n      const previous = preload.resolveDependencies;\n      preload.resolveDependencies = (file, deps, context) =>\n        context.hostType === 'js' && context.hostId === loaderFile\n          ? []\n          : (previous?.(file, deps, context) ?? deps);\n    },\n    buildStart() {\n      scan();\n    },\n    resolveId(source) {\n      return source === COMPONENTS_ID ? COMPONENTS_RESOLVED : null;\n    },\n    async load(id) {\n      if (id !== COMPONENTS_RESOLVED) return null;\n      if (this.environment.config.command === 'serve') {\n        scan();\n        return loaderSource(tags);\n      }\n      // A production build: components the app's entry imports are already defined at startup,\n      // and every other one becomes a dynamic import. The dependency filter removes repeated\n      // JS preload lists (renderPage already preloads them); Vite still loads their CSS.\n      const inEntry = await staticallyReachable(this, appInputs);\n      entryTags = [];\n      const lazy = new Map<string, string>();\n      for (const [tag, url] of tags) {\n        const file = resolve(root, url.slice(1));\n        if (inEntry.has(file)) {\n          entryTags.push(tag);\n          continue;\n        }\n        lazy.set(tag, url);\n      }\n      return loaderSource(lazy, { known: entryTags });\n    },\n    configureServer(server) {\n      // A new or edited component module changes the loader's table.\n      const refresh = (file: string): void => {\n        if (!SOURCE_FILE.test(file)) return;\n        const module = server.environments.client.moduleGraph.getModuleById(COMPONENTS_RESOLVED);\n        if (module !== undefined) server.environments.client.moduleGraph.invalidateModule(module);\n      };\n      server.watcher.on('add', refresh);\n      server.watcher.on('unlink', refresh);\n      server.watcher.on('change', refresh);\n    },\n    generateBundle(_output, bundle) {\n      if (this.environment.config.consumer !== 'client') return;\n      const loader = Object.values(bundle).find(\n        (chunk) => chunk.type === 'chunk' && chunk.facadeModuleId === COMPONENTS_RESOLVED,\n      );\n      if (loader?.type !== 'chunk') return;\n      loaderFile = loader.fileName;\n      const modules = Object.fromEntries([...tags].map(([tag, url]) => [tag, url.slice(1)]));\n      // Each tag's chunk by file. A module another chunk imports statically is bundled into\n      // that chunk (often the entry), so Vite's manifest has no key for it; the server finds\n      // the chunk by file instead (`componentAssets`).\n      const chunkOf = new Map<string, string>();\n      for (const chunk of Object.values(bundle)) {\n        if (chunk.type !== 'chunk') continue;\n        for (const id of chunk.moduleIds) chunkOf.set(id, chunk.fileName);\n      }\n      const chunks: Record<string, string> = {};\n      for (const [tag, url] of tags) {\n        const file = chunkOf.get(resolve(root, url.slice(1)));\n        if (file !== undefined) chunks[tag] = file;\n      }\n      const written = {\n        loader: loader.fileName,\n        loaderImports: loader.imports,\n        modules,\n        chunks,\n        entryTags,\n      };\n      this.emitFile({\n        type: 'asset',\n        fileName: COMPONENTS_MANIFEST,\n        source: `${JSON.stringify(written, null, 2)}\\n`,\n      });\n    },\n  };\n}\n"]}

package/dist/compiler/facts.d.ts

@@ -0,0 +1,31 @@
+import { type Node } from './ast.js';
+/** Optional machinery the build adds when a module may use it. */
+export type Feature = 'invokers' | 'transitions' | 'frame' | 'states' | 'forms' | 'subscriptions' | 'dialogs' | 'disposal' | 'errorView' | 'errored';
+/** The spec field each spec-field feature is reached through (04, 05). */
+export declare const FIELDS: {
+    readonly transitions: "viewTransition";
+    readonly frame: "renderOnFrame";
+    readonly states: "states";
+    readonly forms: "formAssociated";
+    readonly subscriptions: "subscriptions";
+    readonly disposal: "dispose";
+    readonly errorView: "error";
+    readonly errored: "Errored";
+};
+export interface ModuleFacts {
+    /** Identifier names in runtime code, import declarations left out. */
+    readonly names: ReadonlySet<string>;
+    /** String literal values, and template literal texts with `${}` for each expression. */
+    readonly texts: readonly string[];
+    /** Specifiers through which the module may reach a `raw` export (see the header). */
+    readonly rawSources: readonly string[];
+    /** Whether the module may give a component an error view (see `specError`). */
+    readonly errorView: boolean;
+}
+/** The facts the scan needs about a module (`program`, from `this.parse`). */
+export declare function factsOf(program: Node): ModuleFacts;
+/**
+ * Whether the module may use `feature` by what it writes itself. For `invokers` that is the
+ * markup and strings; `raw` needs resolving `rawSources` (features.ts).
+ */
+export declare function writes(facts: ModuleFacts, feature: Feature): boolean;