@shapeshift-labs/frontier-lang-parser 0.3.56 → 0.3.57

package/dist/index.js

@@ -16,6 +16,7 @@ import { parseResourceGraphBlock } from './resource-graph.js';
 import { parseRuntimeCapabilityBlock } from './runtime-capability.js';
 import { parseNativeSourceBlock } from './source-evidence.js';
 import { parseTargetProjectionMetadata } from './target-projection.js';
+import { readVariantPayloadFields } from './type-variants.js';
 import { parseViewBlock } from './view.js';
 import { FrontierSourceBlockKinds, readFrontierSourceBlocks } from './source-syntax-report.js';
 export { FrontierSourceBlockKinds, inspectFrontierSourceSyntax } from './source-syntax-report.js';
@@ -166,15 +167,7 @@ function parseCapability(block) {
 function parseType(block) {
   const name = nameFrom(block.header);
   const alias = /^\s*=\s*([^\n]+)/m.exec(block.body)?.[1]?.trim();
-  return typeNode({
-    id: idFrom(block.header, `type_${name}`),
-    name,
-    parameters: readTypeParameters(block.header),
-    type: alias ? parseTypeExpression(alias) : undefined,
-    fields: readTypeFields(block.body),
-    variants: readVariants(block.body),
-    invariants: readList('invariants', block.body)
-  });
+  return typeNode({ id: idFrom(block.header, `type_${name}`), name, parameters: readTypeParameters(block.header), type: alias ? parseTypeExpression(alias) : undefined, fields: readTypeFields(block.body), variants: readVariants(block.body), invariants: readList('invariants', block.body) });
 }
 function parseExtern(block) {
   const name = nameFrom(block.header);
@@ -310,8 +303,13 @@ function readTypeFields(body) {
 }
 function readVariants(body) {
   const variants = [];
-  const re = /^\s*variant\s+([A-Za-z_$][\w$]*)(?:\s+@id\(\s*["']([^"']+)["']\s*\))?/gm;
+  const re = /^\s*variant\s+([A-Za-z_$][\w$]*)(.*)$/gm;
   let match;
-  while ((match = re.exec(body))) variants.push({ id: match[2], name: match[1] });
+  while ((match = re.exec(body))) {
+    const fields = readVariantPayloadFields(match[2] ?? '', match[1], parseTypeExpression);
+    if (fields === null) continue;
+    const id = /@id\(\s*["']([^"']+)["']\s*\)/.exec(match[2] ?? '')?.[1];
+    variants.push({ ...(id ? { id } : {}), name: match[1], ...(fields?.length ? { fields } : {}) });
+  }
   return variants.length ? variants : undefined;
 }

package/dist/source-syntax-children.js

@@ -1,5 +1,6 @@
 import { readActionSyntaxChildren } from './action-syntax-children.js';
 import { ROW_SYNTAX_CONFIG } from './source-syntax-row-config.js';
+import { inspectVariantPayload } from './type-variants.js';
 
 const ROW_NAME_PATTERN = '([A-Za-z_$@./:*+-][\\w$./@:*+-]*)';
 
@@ -11,11 +12,47 @@ export function readSourceSyntaxChildren(source, block, options = {}) {
   if (block.kind === 'conversion' || block.kind === 'universalConversionPlan') {
     return readConversionSyntaxChildren(source, block, options);
   }
+  if (block.kind === 'type') {
+    return readTypeSyntaxChildren(source, block, options);
+  }
   const rowConfig = ROW_SYNTAX_CONFIG[block.kind];
   if (rowConfig) return readGenericRowSyntaxChildren(source, block, options, rowConfig);
   return [];
 }
 
+function readTypeSyntaxChildren(source, block, options) {
+  const children = [];
+  for (const line of readBodyLines(source, block)) {
+    if (!line.text || line.text.startsWith('#')) continue;
+    const variant = /^variant\s+([A-Za-z_$][\w$]*)(.*)$/.exec(line.text);
+    if (!variant) continue;
+    const [, name, rest] = variant;
+    const payload = inspectVariantPayload(rest ?? '');
+    children.push(cleanRecord({
+      kind: 'typeVariant',
+      rowKind: 'variant',
+      normalizedRowKind: 'variant',
+      name,
+      id: idFrom(rest, `type_variant_${safeId(name)}`),
+      header: line.text,
+      startOffset: line.startOffset,
+      endOffset: line.endOffset,
+      location: sourcePosition(source, line.startOffset),
+      parentKind: block.kind,
+      parentId: block.id,
+      parentName: block.name,
+      moduleId: block.moduleId,
+      moduleName: block.moduleName,
+      sourceSpan: sourceSpan(source, block, line.startOffset, line.endOffset, options),
+      recognized: payload.ok,
+      reason: payload.ok ? undefined : payload.reason,
+      fieldCount: payload.fieldCount,
+      fieldIds: payload.fieldIds
+    }));
+  }
+  return children;
+}
+
 function readConversionSyntaxChildren(source, block, options) {
   const children = [];
   for (const line of readBodyLines(source, block)) {

package/dist/type-variants.js

@@ -0,0 +1,63 @@
+export function readVariantPayloadFields(rest, variantName, parseTypeExpression) {
+  const withoutId = stripLeadingVariantId(rest);
+  if (!withoutId) return undefined;
+  const payload = /^\((.*)\)$/.exec(withoutId);
+  if (!payload || !payload[1].trim()) return null;
+  const fields = [];
+  for (const part of splitTopLevelCommaList(payload[1])) {
+    const field = parseVariantPayloadField(part, variantName, parseTypeExpression);
+    if (!field) return null;
+    fields.push(field);
+  }
+  return fields;
+}
+
+export function inspectVariantPayload(rest) {
+  const withoutId = stripLeadingVariantId(rest);
+  if (!withoutId) return { ok: true };
+  const payload = /^\((.*)\)$/.exec(withoutId);
+  if (!payload || !payload[1].trim()) return { ok: false, reason: 'malformed-type-variant-payload' };
+  const fieldIds = [];
+  const seen = new Set();
+  for (const fieldSource of splitTopLevelCommaList(payload[1])) {
+    const field = parseVariantPayloadField(fieldSource);
+    if (!field) return { ok: false, reason: 'malformed-type-variant-payload' };
+    if (seen.has(field.id)) return { ok: false, reason: 'duplicate-type-variant-field-id' };
+    seen.add(field.id);
+    fieldIds.push(field.id);
+  }
+  return { ok: true, fieldCount: fieldIds.length, fieldIds };
+}
+
+function parseVariantPayloadField(source, variantName, parseTypeExpression) {
+  const match = /^\s*([A-Za-z_$][\w$]*)(\?)?(?:\s+@id\(\s*["']([^"']+)["']\s*\))?(\?)?\s*:\s*(.+)\s*$/.exec(source);
+  if (!match || !match[5].trim()) return undefined;
+  const optional = Boolean(match[2] || match[4]);
+  return {
+    id: match[3] ?? (variantName ? `variant_field_${variantName}_${match[1]}` : match[1]),
+    name: match[1],
+    ...(parseTypeExpression ? { type: parseTypeExpression(match[5].trim()) } : {}),
+    ...(optional ? { optional: true } : {})
+  };
+}
+
+function splitTopLevelCommaList(source) {
+  const parts = [];
+  let depth = 0;
+  let start = 0;
+  for (let index = 0; index < source.length; index++) {
+    const char = source[index];
+    if (char === '<') depth++;
+    if (char === '>') depth = Math.max(0, depth - 1);
+    if (char === ',' && depth === 0) {
+      parts.push(source.slice(start, index).trim());
+      start = index + 1;
+    }
+  }
+  parts.push(source.slice(start).trim());
+  return parts;
+}
+
+function stripLeadingVariantId(rest) {
+  return rest.replace(/^\s*@id\(\s*["'][^"']+["']\s*\)/, '').trim();
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-parser",
-  "version": "0.3.56",
+  "version": "0.3.57",
   "description": "Parser for the first Frontier Lang .frontier syntax slice.",
   "type": "module",
   "main": "./dist/index.js",
@@ -22,7 +22,7 @@
   ],
   "scripts": {
     "build": "node scripts/build.mjs",
-    "test": "npm run build && node test/smoke.mjs && node test/action-body-smoke.mjs && node test/action-structured-literals-smoke.mjs && node test/action-return-smoke.mjs && node test/action-else-smoke.mjs && node test/action-match-smoke.mjs && node test/action-for-in-smoke.mjs && node test/action-repeat-smoke.mjs && node test/action-call-smoke.mjs && node test/target-projection-aggregate-smoke.mjs && node test/conversion-constraint-fields-smoke.mjs && node test/conversion-evidence-smoke.mjs && node test/package-canvas-surface-smoke.mjs && node test/view-render-graph-smoke.mjs && node test/resource-graph-smoke.mjs && node test/interlingua-smoke.mjs && node test/dialect-registry-smoke.mjs",
+    "test": "npm run build && node test/smoke.mjs && node test/type-variant-payload-smoke.mjs && node test/action-body-smoke.mjs && node test/action-structured-literals-smoke.mjs && node test/action-return-smoke.mjs && node test/action-else-smoke.mjs && node test/action-match-smoke.mjs && node test/action-for-in-smoke.mjs && node test/action-repeat-smoke.mjs && node test/action-call-smoke.mjs && node test/target-projection-aggregate-smoke.mjs && node test/conversion-constraint-fields-smoke.mjs && node test/conversion-evidence-smoke.mjs && node test/package-canvas-surface-smoke.mjs && node test/view-render-graph-smoke.mjs && node test/resource-graph-smoke.mjs && node test/interlingua-smoke.mjs && node test/dialect-registry-smoke.mjs",
     "typecheck": "node ./node_modules/typescript/bin/tsc --noEmit -p test/tsconfig.json",
     "fuzz": "npm run build && node fuzz/smoke.mjs",
     "bench": "npm run build && node bench/smoke.mjs",