@tsrx/core 0.1.42 → 0.1.43

package/package.json

@@ -3,7 +3,7 @@
   "description": "Core compiler infrastructure for TSRX syntax",
   "license": "MIT",
   "author": "Dominic Gannaway",
-  "version": "0.1.42",
+  "version": "0.1.43",
   "type": "module",
   "repository": {
     "type": "git",

package/src/comment-utils.js

@@ -58,6 +58,18 @@ export function is_jsdoc_ts_annotation(comment) {
 	return tsAnnotations.some((annotation) => comment.value.includes(annotation));
 }
 
+/**
+ * Check if a comment is a TypeScript JSX pragma (`@jsxImportSource`,
+ * `@jsxRuntime`, `@jsxFrag`, `@jsx`). TS reads these from a file's LEADING
+ * comments to pick that file's JSX type source/factory, overriding tsconfig —
+ * dropping one silently retypes every JSX expression in the file.
+ * @param {AST.CommentWithLocation} comment
+ * @returns {boolean}
+ */
+export function is_jsx_pragma(comment) {
+	return /@jsx(ImportSource|Runtime|Frag)?\b/.test(comment.value);
+}
+
 /**
  * Check if a comment should be preserved in to_ts mode
  * @param {AST.CommentWithLocation} comment
@@ -65,7 +77,10 @@ export function is_jsdoc_ts_annotation(comment) {
  */
 export function should_preserve_comment(comment) {
 	return (
-		is_ts_pragma(comment) || is_triple_slash_directive(comment) || is_jsdoc_ts_annotation(comment)
+		is_ts_pragma(comment) ||
+		is_triple_slash_directive(comment) ||
+		is_jsdoc_ts_annotation(comment) ||
+		is_jsx_pragma(comment)
 	);
 }
 

package/src/transform/jsx/helpers.js

@@ -2,6 +2,7 @@
 /** @import { Visitors } from 'zimmerframe' */
 
 import tsx from 'esrap/languages/tsx';
+import { should_preserve_comment, format_comment } from '../../comment-utils.js';
 
 /**
  * Zimmerframe provides `path` as the ancestor chain. A native template node in
@@ -68,10 +69,32 @@ export function set_node_path_metadata(node, path) {
  * (structural tokens carry one-character source locations). typeOnly/volar
  * prints opt in — their maps are consumed positionally by the language
  * tooling and never shipped; build prints stay sparse.
+ * @param {AST.CommentWithLocation[]} [comments] Source comments; the ones
+ * `should_preserve_comment` classifies as semantic-to-TS (`@ts-nocheck`,
+ * `@jsxImportSource`, triple-slash references, …) and that LEAD the program
+ * are re-emitted at the top of the printed output. The generated TSX is real
+ * TS input — dropping a leading pragma changes how the whole file checks.
  */
-export function tsx_with_ts_locations(boundary_tokens = false) {
+export function tsx_with_ts_locations(boundary_tokens = false, comments = undefined) {
 	const base = /** @type {any} */ (tsx({ boundaryTokens: boundary_tokens }));
 
+	const leading_preserved = (/** @type {any} */ program) => {
+		if (!comments?.length) return [];
+		// Injected statements (dynamic-import/try-import prepends) carry no
+		// loc; anchor "leading" on the first statement that maps to source,
+		// else every preserved comment in the file would hoist to the top.
+		const first = program.body?.find((/** @type {any} */ node) => node.loc);
+		return comments.filter(
+			(/** @type {any} */ comment) =>
+				should_preserve_comment(comment) &&
+				(first?.loc == null ||
+					(comment.loc &&
+						(comment.loc.end.line < first.loc.start.line ||
+							(comment.loc.end.line === first.loc.start.line &&
+								comment.loc.end.column <= first.loc.start.column)))),
+		);
+	};
+
 	/**
 	 * @param {any} node
 	 * @param {any} context
@@ -89,6 +112,15 @@ export function tsx_with_ts_locations(boundary_tokens = false) {
 
 	/** @type {Record<string, (node: any, context: any) => void>} */
 	const wrappers = {
+		Program: (node, context) => {
+			for (const comment of leading_preserved(node)) {
+				if (comment.loc) context.location(comment.loc.start.line, comment.loc.start.column);
+				context.write(format_comment(comment));
+				if (comment.loc) context.location(comment.loc.end.line, comment.loc.end.column);
+				context.newline();
+			}
+			base.Program(node, context);
+		},
 		ArrayPattern: (node, context) => {
 			base.ArrayPattern(node, context);
 			if (node.typeAnnotation) {

package/src/transform/jsx/index.js

@@ -841,10 +841,20 @@ export function createJsxTransform(platform) {
 				: apply_lazy_transforms(/** @type {any} */ (lowered_program), new Map())
 		);
 
-		const result = print(final_program, tsx_with_ts_locations(transform_context.typeOnly), {
-			sourceMapSource: filename,
-			sourceMapContent: source,
-		});
+		const result = print(
+			final_program,
+			// typeOnly output is real TS input: re-emit preserved leading comments
+			// (@jsxImportSource / @ts-nocheck / triple-slash references) so TS
+			// semantics survive the comment-stripping print.
+			tsx_with_ts_locations(
+				transform_context.typeOnly,
+				transform_context.typeOnly ? transform_context.comments : undefined,
+			),
+			{
+				sourceMapSource: filename,
+				sourceMapContent: source,
+			},
+		);
 
 		const { css, cssHash } = render_css_result(/** @type {any} */ (stylesheets));