@vesk/compiler 0.2.39 → 0.2.41

package/dist/ir-generator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir-generator.d.ts","sourceRoot":"","sources":["../src/ir-generator.ts"],"names":[],"mappings":"AACA,OAAO,EACL,MAAM,EAsBP,MAAM,uBAAuB,CAAC;AAmT/B,wBAAgB,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,GAAG,CAAC;IAAC,cAAc,CAAC,EAAE,GAAG,CAAC;IAAC,UAAU,CAAC,EAAE,GAAG,EAAE,CAAA;CAAE,CAAC,GAAG,SAAS,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAkCnL;AA48BD,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CA4N9E"}
+{"version":3,"file":"ir-generator.d.ts","sourceRoot":"","sources":["../src/ir-generator.ts"],"names":[],"mappings":"AACA,OAAO,EACL,MAAM,EAsBP,MAAM,uBAAuB,CAAC;AA2T/B,wBAAgB,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,GAAG,CAAC;IAAC,cAAc,CAAC,EAAE,GAAG,CAAC;IAAC,UAAU,CAAC,EAAE,GAAG,EAAE,CAAA;CAAE,CAAC,GAAG,SAAS,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAkCnL;AA48BD,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CA6N9E"}

package/dist/ir-generator.js

@@ -15,6 +15,13 @@ let __vskAnnotations = [];
  * slot handed to it by a caller that wrote `name={<div/>}`.
  */
 let __slotProps = null;
+/**
+ * The identifier a component binds its props to (`props` by convention, but
+ * any first-parameter name is legal). Slot detection used to hardcode the
+ * literal `props`, so a `Component`-typed prop read through a differently
+ * named parameter was treated as a plain value and stringified.
+ */
+let __propsParam = null;
 function parseExprNode(text) {
     try {
         const ParserClass = createBaseParser();
@@ -463,7 +470,7 @@ function containsJSX(node) {
  */
 function slotReadPropName(expr) {
     if (expr.type === 'MemberExpression' && !expr.computed &&
-        expr.object.type === 'Identifier' && expr.object.name === 'props' &&
+        expr.object.type === 'Identifier' && expr.object.name === (__propsParam || 'props') &&
         expr.property.type === 'Identifier') {
         return expr.property.name;
     }
@@ -719,7 +726,7 @@ function processJSXChildren(source, children) {
                 continue;
             }
             if ((expr.type === 'MemberExpression' && !expr.computed &&
-                expr.object.type === 'Identifier' && expr.object.name === 'props' &&
+                expr.object.type === 'Identifier' && expr.object.name === (__propsParam || 'props') &&
                 expr.property.type === 'Identifier' && expr.property.name === 'children')
                 || (expr.type === 'Identifier' && expr.name === 'children')) {
                 result.push(new SlotNode());
@@ -818,7 +825,7 @@ function exprToIR(source, expr) {
     // insert the slot nodes — not degrade to a text binding that stringifies
     // the fragment (`String(props.children)` → "[object DocumentFragment]").
     if ((expr.type === 'MemberExpression' && !expr.computed &&
-        expr.object.type === 'Identifier' && expr.object.name === 'props' &&
+        expr.object.type === 'Identifier' && expr.object.name === (__propsParam || 'props') &&
         expr.property.type === 'Identifier' && expr.property.name === 'children')
         || (expr.type === 'Identifier' && expr.name === 'children')) {
         return [new SlotNode()];
@@ -1500,6 +1507,7 @@ export function generateIR(ast, source, filename) {
         // value bindings for THIS component only.
         const prevSlotProps = __slotProps;
         __slotProps = slotPropNamesFromType(propsType);
+        __propsParam = propsAlias || null;
         if (isStatementMode(bodyStmts)) {
             const raw = processStatementModeBody(source, bodyStmts, file);
             const { body, css } = extractStyle(raw);
@@ -1553,7 +1561,7 @@ export function generateIR(ast, source, filename) {
             const guardBody = buildGuardChain(source, guardClauses, mainReturn);
             const { body, css } = extractStyle([...preamble, ...guardBody]);
             validateBlocks(name, isClientComp, body, file, source);
-            const comp = new ComponentIR(name, paramNames, body, { exported, defaultExport, isClient: inner.client, isAsync: inner.async, ssrAwait: componentUsesFetch(body), propsType });
+            const comp = new ComponentIR(name, paramNames, body, { exported, defaultExport, isClient: inner.client, isAsync: inner.async, ssrAwait: componentUsesFetch(body), propsType, propsAlias });
             comp.style = css;
             components.push(comp);
             __slotProps = prevSlotProps;

package/dist/typecheck.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typecheck.d.ts","sourceRoot":"","sources":["../src/typecheck.ts"],"names":[],"mappings":"AAOA,MAAM,WAAW,gBAAgB;IAC/B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAKD,eAAO,MAAM,OAAO,6xoBAkhBnB,CAAC;AAEF,eAAO,MAAM,gBAAgB,uZAS5B,CAAC;AA6LF,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B;AAED,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,GAAE,gBAAqB,GAAG,eAAe,CA4FlG;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAItE;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,MAAM,CAI1E"}
+{"version":3,"file":"typecheck.d.ts","sourceRoot":"","sources":["../src/typecheck.ts"],"names":[],"mappings":"AAOA,MAAM,WAAW,gBAAgB;IAC/B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAKD,eAAO,MAAM,OAAO,6xoBAkhBnB,CAAC;AAEF,eAAO,MAAM,gBAAgB,uZAS5B,CAAC;AA6LF,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B;AAuCD,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,GAAE,gBAAqB,GAAG,eAAe,CA2GlG;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAItE;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,MAAM,CAI1E"}

package/dist/typecheck.js

@@ -2,7 +2,7 @@ import { readFileSync, readdirSync, statSync } from 'node:fs';
 import { join, dirname, normalize, relative, resolve, sep } from 'node:path';
 import * as ts from 'typescript';
 import { parse } from '@vesk/compiler/src/parser';
-import { vskToTsx, generateVskDts } from '@vesk/compiler/src/vsk-tsx';
+import { compileVskCodegen, generateVskDts } from '@vesk/compiler/src/vsk-tsx';
 import { resolveAliasModule } from '@vesk/compiler/src/module-imports';
 const SKIP_DIRS = new Set(['node_modules', '.vesk', '.git', 'dist', 'tarballs', '.next']);
 const SKIP_FILES = new Set(['__vesk_ambient.d.ts', '__vesk_runtime_override.d.ts']);
@@ -642,7 +642,7 @@ function createTypecheckHost(projectRoot, appDir, vskFiles) {
                 content = '';
             }
             else if (vskFiles.has(file)) {
-                content = vskToTsx(vskFiles.get(file));
+                content = compileVskCodegen(vskFiles.get(file)).code;
             }
             else if (ts.sys.fileExists(file)) {
                 content = ts.sys.readFile(file);
@@ -684,7 +684,7 @@ function createTypecheckHost(projectRoot, appDir, vskFiles) {
             if (file.endsWith('.css.d.ts'))
                 return '';
             if (vskFiles.has(file))
-                return vskToTsx(vskFiles.get(file));
+                return compileVskCodegen(vskFiles.get(file)).code;
             return ts.sys.readFile(file);
         },
         writeFile: () => { },
@@ -739,6 +739,35 @@ function createTypecheckHost(projectRoot, appDir, vskFiles) {
     };
     return host;
 }
+function mapGeneratedOffset(mappings, generatedOffset) {
+    let nearest = null;
+    for (const mapping of mappings) {
+        for (let i = 0; i < mapping.generatedOffsets.length; i++) {
+            const generated = mapping.generatedOffsets[i];
+            const length = mapping.lengths[i] ?? 0;
+            const source = mapping.sourceOffsets[i];
+            if (generated <= generatedOffset && generated + length >= generatedOffset) {
+                return source + (generatedOffset - generated);
+            }
+            if (generated <= generatedOffset && (!nearest || generated > nearest.generated)) {
+                nearest = { source, generated, length };
+            }
+        }
+    }
+    return nearest ? nearest.source + Math.min(nearest.length, Math.max(0, generatedOffset - nearest.generated)) : null;
+}
+function sourcePosition(source, offset) {
+    const bounded = Math.max(0, Math.min(offset, source.length));
+    let line = 1;
+    let lineStart = 0;
+    for (let i = 0; i < bounded; i++) {
+        if (source.charCodeAt(i) === 10) {
+            line++;
+            lineStart = i + 1;
+        }
+    }
+    return { line, character: bounded - lineStart + 1 };
+}
 export function typecheckProject(projectRoot, opts = {}) {
     const appDir = opts.appDir ?? join(projectRoot, 'app');
     const vskFiles = new Map();
@@ -820,12 +849,29 @@ export function typecheckProject(projectRoot, opts = {}) {
         }
         if (!rootSet.has(filePath) && !vskSet.has(filePath))
             continue;
-        const pos = file.getLineAndCharacterOfPosition(diag.start ?? 0);
+        let sourceOffset = diag.start ?? 0;
+        let line;
+        let column;
+        if (vskFiles.has(filePath)) {
+            const source = vskFiles.get(filePath);
+            const generated = compileVskCodegen(source);
+            const mapped = mapGeneratedOffset(generated.mappings, sourceOffset);
+            if (mapped !== null)
+                sourceOffset = mapped;
+            const pos = sourcePosition(source, sourceOffset);
+            line = pos.line;
+            column = pos.character;
+        }
+        else {
+            const pos = file.getLineAndCharacterOfPosition(diag.start ?? 0);
+            line = pos.line + 1;
+            column = pos.character + 1;
+        }
         const code = typeof diag.code === 'number' ? `TS${diag.code}` : String(diag.code);
         errors.push({
             file: relative(projectRoot, filePath),
-            line: pos.line + 1,
-            column: pos.character + 1,
+            line,
+            column,
             code,
             message: ts.flattenDiagnosticMessageText(diag.messageText, '\n'),
         });

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vesk/compiler",
-  "version": "0.2.39",
+  "version": "0.2.41",
   "type": "module",
   "description": "Vesk compiler — lexer, parser, semantic analysis, IR, codegen",
   "main": "./dist/index.js",
@@ -20,7 +20,7 @@
   },
   "dependencies": {
     "@sveltejs/acorn-typescript": "^1.0.0",
-    "@vesk/types": "^0.2.39",
+    "@vesk/types": "^0.2.41",
     "acorn": "^8.15.0",
     "esrap": "^2.3.0",
     "is-reference": "^3.0.0",