@vesk/compiler 0.2.18 → 0.2.20

package/dist/strip-ts.d.ts

@@ -1,3 +1,5 @@
+/** True when a node is a type-only import/export (`import type`, `export type`). */
+export declare function isTypeOnlyImportExport(node: any): boolean;
 /** True when the AST contains any TypeScript-only node. */
 export declare function hasTsSyntax(ast: any): boolean;
 /** True when a Program-body statement is type-only (safe to drop from emitted JS). */
@@ -10,6 +12,8 @@ export declare function isTypeOnlyStatement(node: any): boolean;
  * - type arguments on call/new expressions and type parameter declarations
  * - whole type-only statements (interfaces, type aliases, declare/abstract
  *   members), replaced by null entries
+ * - type-only imports/exports (`import type`, `export type { ... }`, and
+ *   inline `type` specifiers inside mixed import/export statements)
  *
  * Returns a new tree (zimmerframe walks are immutable); callers must use the
  * return value.

package/dist/strip-ts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"strip-ts.d.ts","sourceRoot":"","sources":["../src/strip-ts.ts"],"names":[],"mappings":"AAwBA,2DAA2D;AAC3D,wBAAgB,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAY7C;AAYD,sFAAsF;AACtF,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAMtD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CA6D1C;AAWD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAiBnD"}
+{"version":3,"file":"strip-ts.d.ts","sourceRoot":"","sources":["../src/strip-ts.ts"],"names":[],"mappings":"AAwBA,oFAAoF;AACpF,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAOzD;AAUD,2DAA2D;AAC3D,wBAAgB,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAgB7C;AAYD,sFAAsF;AACtF,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAUtD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CAmF1C;AAWD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAiBnD"}

package/dist/strip-ts.js

@@ -20,6 +20,27 @@ const TS_NODE_TYPES = new Set([
     'TSImportEqualsDeclaration',
     'TSParameterProperty',
 ]);
+/** True when a node is a type-only import/export (`import type`, `export type`). */
+export function isTypeOnlyImportExport(node) {
+    if (!node)
+        return false;
+    if (node.type === 'ImportDeclaration')
+        return node.importKind === 'type';
+    if (node.type === 'ExportNamedDeclaration' || node.type === 'ExportAllDeclaration') {
+        return node.exportKind === 'type';
+    }
+    return false;
+}
+/** True when a specifier is type-only inside a mixed import/export. */
+function isTypeOnlySpecifier(node) {
+    if (!node)
+        return false;
+    if (node.importKind === 'type')
+        return true;
+    if (node.exportKind === 'type')
+        return true;
+    return false;
+}
 /** True when the AST contains any TypeScript-only node. */
 export function hasTsSyntax(ast) {
     let found = false;
@@ -29,6 +50,10 @@ export function hasTsSyntax(ast) {
                 found = true;
                 return;
             }
+            if (isTypeOnlyImportExport(node) || isTypeOnlySpecifier(node)) {
+                found = true;
+                return;
+            }
             return context.next();
         },
     });
@@ -48,8 +73,13 @@ export function isTypeOnlyStatement(node) {
     if (!node)
         return true;
     if (node.type === 'ExportNamedDeclaration' || node.type === 'ExportDefaultDeclaration') {
+        if (node.exportKind === 'type')
+            return true;
         return !!node.declaration && isTypeOnlyStatement(node.declaration);
     }
+    if (node.type === 'ImportDeclaration' || node.type === 'ExportAllDeclaration') {
+        return isTypeOnlyImportExport(node);
+    }
     return TYPE_ONLY_STATEMENTS.has(node.type);
 }
 /**
@@ -60,6 +90,8 @@ export function isTypeOnlyStatement(node) {
  * - type arguments on call/new expressions and type parameter declarations
  * - whole type-only statements (interfaces, type aliases, declare/abstract
  *   members), replaced by null entries
+ * - type-only imports/exports (`import type`, `export type { ... }`, and
+ *   inline `type` specifiers inside mixed import/export statements)
  *
  * Returns a new tree (zimmerframe walks are immutable); callers must use the
  * return value.
@@ -113,6 +145,33 @@ export function stripTsTypes(ast) {
                 node.typeAnnotation = null;
             return context.next();
         },
+        ImportDeclaration(node, context) {
+            if (isTypeOnlyImportExport(node))
+                return null;
+            if (Array.isArray(node.specifiers)) {
+                const kept = node.specifiers.filter((s) => !isTypeOnlySpecifier(s));
+                if (kept.length === 0)
+                    return null;
+                node.specifiers = kept;
+            }
+            return context.next();
+        },
+        ExportNamedDeclaration(node, context) {
+            if (isTypeOnlyImportExport(node))
+                return null;
+            if (Array.isArray(node.specifiers)) {
+                const kept = node.specifiers.filter((s) => !isTypeOnlySpecifier(s));
+                if (kept.length === 0 && node.declaration == null)
+                    return null;
+                node.specifiers = kept;
+            }
+            return context.next();
+        },
+        ExportAllDeclaration(node, context) {
+            if (isTypeOnlyImportExport(node))
+                return null;
+            return context.next();
+        },
         TSInterfaceDeclaration(node) {
             return null;
         },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vesk/compiler",
-  "version": "0.2.18",
+  "version": "0.2.20",
   "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.18",
+    "@vesk/types": "^0.2.20",
     "acorn": "^8.15.0",
     "esrap": "^2.3.0",
     "is-reference": "^3.0.0",