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

package/dist/index.js

@@ -16,6 +16,8 @@ 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 { parseOptionalTypeExpression, parseTypeExpression } from './type-expressions.js';
+import { readTypeParameterNames, readTypeParameterRecords } from './type-parameters.js';
 import { readVariantPayloadFields } from './type-variants.js';
 import { parseViewBlock } from './view.js';
 import { FrontierSourceBlockKinds, readFrontierSourceBlocks } from './source-syntax-report.js';
@@ -167,7 +169,17 @@ 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) });
+  const typeParameters = readTypeParameterRecords(block.header);
+  return typeNode({
+    id: idFrom(block.header, `type_${name}`),
+    name,
+    parameters: typeParameters?.map((parameter) => parameter.name) ?? readTypeParameterNames(block.header),
+    ...(typeParameters ? { typeParameters } : {}),
+    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);
@@ -280,18 +292,6 @@ function parseSemantic(text) {
   if (latticeId) return { kind: 'lattice', latticeId };
   return undefined;
 }
-function parseOptionalTypeExpression(value) { return value ? parseTypeExpression(value.trim()) : undefined; }
-function parseTypeExpression(value) {
-  const text = value.trim();
-  if (/^Set<.+>$/.test(text)) return { kind: 'set', item: parseTypeExpression(text.slice(4, -1)) };
-  if (/^List<.+>$/.test(text)) return { kind: 'list', item: parseTypeExpression(text.slice(5, -1)) };
-  const map = /^Map<(.+),\s*(.+)>$/.exec(text);
-  if (map) return { kind: 'map', key: parseTypeExpression(map[1]), value: parseTypeExpression(map[2]) };
-  return text;
-}
-function readTypeParameters(header) {
-  return /<([^>]+)>/.exec(header)?.[1]?.split(',').map((item) => item.trim()).filter(Boolean);
-}
 function readTypeFields(body) {
   const fields = [];
   const re = /^\s*([A-Za-z_$][\w$]*)(?:\s+@id\(\s*["']([^"']+)["']\s*\))?\s*:\s*([^\n]+)/gm;

package/dist/type-expressions.js

@@ -0,0 +1,33 @@
+import { splitTopLevelCommaList } from './type-variants.js';
+
+export function parseOptionalTypeExpression(value) {
+  return value ? parseTypeExpression(value.trim()) : undefined;
+}
+
+export function parseTypeExpression(value) {
+  const text = value.trim();
+  const application = readTypeApplication(text);
+  if (!application) return text;
+  const args = splitTopLevelCommaList(application.body);
+  if (args.some((arg) => !arg)) return text;
+  const parsedArgs = args.map(parseTypeExpression);
+  if (application.name === 'Set' && parsedArgs.length === 1) return { kind: 'set', item: parsedArgs[0] };
+  if (application.name === 'List' && parsedArgs.length === 1) return { kind: 'list', item: parsedArgs[0] };
+  if (application.name === 'Map' && parsedArgs.length === 2) return { kind: 'map', key: parsedArgs[0], value: parsedArgs[1] };
+  return { kind: 'ref', name: application.name, args: parsedArgs };
+}
+
+function readTypeApplication(text) {
+  const match = /^([A-Za-z_$][\w$]*)</.exec(text);
+  if (!match || !text.endsWith('>')) return undefined;
+  let depth = 0;
+  for (let index = match[1].length; index < text.length; index++) {
+    const char = text[index];
+    if (char === '<') depth++;
+    if (char === '>') depth--;
+    if (depth < 0) return undefined;
+    if (depth === 0 && index !== text.length - 1) return undefined;
+  }
+  if (depth !== 0) return undefined;
+  return { name: match[1], body: text.slice(match[1].length + 1, -1).trim() };
+}

package/dist/type-parameters.js

@@ -0,0 +1,53 @@
+import { parseTypeExpression } from './type-expressions.js';
+import { splitTopLevelCommaList } from './type-variants.js';
+
+export function readTypeParameterNames(header) {
+  return readTypeParameterRecords(header)?.map((parameter) => parameter.name);
+}
+
+export function readTypeParameterRecords(header) {
+  const source = readTypeParameterSource(header);
+  if (!source) return undefined;
+  const records = [];
+  for (const item of splitTopLevelCommaList(source)) {
+    const record = readTypeParameterRecord(item);
+    if (!record) return undefined;
+    records.push(record);
+  }
+  return records.length ? records : undefined;
+}
+
+function readTypeParameterRecord(source) {
+  const [withoutDefault, defaultSource] = splitTopLevelAssignment(source);
+  const match = /^\s*([A-Za-z_$][\w$]*)(?:(?:\s+extends\s+|\s*:\s*)(.+))?\s*$/.exec(withoutDefault);
+  if (!match) return undefined;
+  return {
+    name: match[1],
+    ...(match[2]?.trim() ? { constraint: parseTypeExpression(match[2].trim()) } : {}),
+    ...(defaultSource?.trim() ? { default: parseTypeExpression(defaultSource.trim()) } : {})
+  };
+}
+
+function readTypeParameterSource(header) {
+  const start = header.indexOf('<');
+  if (start < 0) return undefined;
+  let depth = 0;
+  for (let index = start; index < header.length; index++) {
+    const char = header[index];
+    if (char === '<') depth++;
+    if (char === '>') depth--;
+    if (depth === 0) return header.slice(start + 1, index).trim();
+  }
+  return undefined;
+}
+
+function splitTopLevelAssignment(source) {
+  let depth = 0;
+  for (let index = 0; index < source.length; index++) {
+    const char = source[index];
+    if (char === '<') depth++;
+    if (char === '>') depth--;
+    if (char === '=' && depth === 0) return [source.slice(0, index).trim(), source.slice(index + 1).trim()];
+  }
+  return [source.trim(), undefined];
+}

package/dist/type-variants.js

@@ -41,7 +41,7 @@ function parseVariantPayloadField(source, variantName, parseTypeExpression) {
   };
 }
 
-function splitTopLevelCommaList(source) {
+export function splitTopLevelCommaList(source) {
   const parts = [];
   let depth = 0;
   let start = 0;

package/dist/view.js

@@ -1,5 +1,6 @@
 import { viewNode } from '@shapeshift-labs/frontier-lang-kernel';
 import { readFrontierNestedBlocks } from './source-syntax-report.js';
+import { parseOptionalTypeExpression, parseTypeExpression } from './type-expressions.js';
 
 export function parseViewBlock(block) {
   const name = nameFrom(block.header);
@@ -30,7 +31,7 @@ function readViewEvents(body) {
   const events = [];
   const re = /^\s*event\s+([A-Za-z_$][\w$.-]*)(?:\s+@id\(\s*["']([^"']+)["']\s*\))?([^\n]*)$/gm;
   let match;
-  while ((match = re.exec(body))) events.push({ id: match[2] ?? `view_event_${match[1]}`, name: match[1], action: readInlineWord('action', match[3]), input: parseOptionalTypeExpression(readInlineWord('input', match[3])) });
+  while ((match = re.exec(body))) events.push({ id: match[2] ?? `view_event_${match[1]}`, name: match[1], action: readInlineWord('action', match[3]), input: parseOptionalTypeExpression(readInlineType('input', match[3])) });
   return events;
 }
 
@@ -95,15 +96,7 @@ function readList(label, body) { const line = new RegExp('^\\s*' + label + '\\s+
 function readLine(label, body) { return new RegExp('^\\s*' + label + '\\s+([^\\n]+)', 'm').exec(body)?.[1]?.trim(); }
 function readQuotedLine(label, body) { return new RegExp(`^\\s*${label}\\s+["']([^"']+)["']`, 'm').exec(body)?.[1]; }
 function readInlineWord(label, text = '') { return new RegExp('(?:^|\\s)' + label + '\\s+([^\\s,]+)').exec(text)?.[1]?.trim(); }
+function readInlineType(label, text = '') { return new RegExp('(?:^|\\s)' + label + '\\s+(.+)$').exec(text)?.[1]?.trim(); }
 function readRenderValue(value) { const quoted = /^["']([^"']+)["']$/.exec(value.trim()); return quoted ? { value: quoted[1] } : { expression: value.trim() }; }
 function compactRecord(record) { return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined)); }
 function uniqueStrings(values) { const result = []; for (const value of values) if (value && !result.includes(value)) result.push(value); return result.length ? result : undefined; }
-function parseOptionalTypeExpression(value) { return value ? parseTypeExpression(value.trim()) : undefined; }
-function parseTypeExpression(value) {
-  const text = value.trim();
-  if (/^Set<.+>$/.test(text)) return { kind: 'set', item: parseTypeExpression(text.slice(4, -1)) };
-  if (/^List<.+>$/.test(text)) return { kind: 'list', item: parseTypeExpression(text.slice(5, -1)) };
-  const map = /^Map<(.+),\s*(.+)>$/.exec(text);
-  if (map) return { kind: 'map', key: parseTypeExpression(map[1]), value: parseTypeExpression(map[2]) };
-  return text;
-}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-parser",
-  "version": "0.3.57",
+  "version": "0.3.59",
   "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/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",
+    "test": "npm run build && node test/smoke.mjs && node test/type-variant-payload-smoke.mjs && node test/type-generic-ref-smoke.mjs && node test/type-parameter-constraints-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",
@@ -54,7 +54,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@shapeshift-labs/frontier-lang-kernel": "0.3.13"
+    "@shapeshift-labs/frontier-lang-kernel": "0.3.14"
   },
   "devDependencies": {
     "typescript": "^5.9.3"