tsc-ts 0.0.6 → 0.0.8

package/src/compiler/reparser.ts

@@ -84,6 +84,7 @@ import {
   getTypeExpression,
   getTypeParameters,
   type TypeNode,
+  FullPropertyAssignment,
 } from './ast.js';
 import {
   isAssignmentOperator,
@@ -855,10 +856,14 @@ export class Reparser {
     if (parent.kind !== SyntaxKind.ClassDeclaration && parent.kind !== SyntaxKind.ClassExpression) return false;
     const className = tag.className;
     const heritageClauses = getHeritageClauses(parent);
+    // Parsed lists may share their nodes array (empty ones do), so a longer list is a new list.
     if (heritageClauses !== undefined) {
       for (const clause of heritageClauses.nodes)
         if (clause instanceof HeritageClause && (clause as HeritageClause).token === SyntaxKind.ImplementsKeyword) {
-          (clause as HeritageClause).types.nodes.push(this.addDeepCloneReparse(className));
+          const types = (clause as HeritageClause).types;
+          const nodes = types.nodes.slice();
+          nodes.push(this.addDeepCloneReparse(className));
+          (clause as HeritageClause).types = this.p.newNodeList(types.pos, types.end, nodes);
           this.finishMutatedNode(clause);
           return true;
         }
@@ -868,7 +873,11 @@ export class Reparser {
     this.finishReparsedNode(heritageClause, className);
     if (heritageClauses === undefined)
       setHeritageClauses(parent, this.p.newNodeList(className.pos, className.end, [heritageClause]));
-    else heritageClauses.nodes.push(heritageClause);
+    else {
+      const nodes = heritageClauses.nodes.slice();
+      nodes.push(heritageClause);
+      setHeritageClauses(parent, this.p.newNodeList(heritageClauses.pos, heritageClauses.end, nodes));
+    }
     this.finishMutatedNode(parent);
     return true;
   }
@@ -1420,8 +1429,9 @@ function setType(node: Node, value: Node): boolean {
     (node as PropertyDeclaration).type = value;
     return true;
   }
-  if (node instanceof PropertyAssignment) {
-    (node as PropertyAssignment).type = value;
+  // Property assignments in JavaScript files, which are the ones reparsed, are full ones.
+  if (node instanceof FullPropertyAssignment) {
+    (node as FullPropertyAssignment).type = value;
     return true;
   }
   if (node instanceof ShorthandPropertyAssignment) {

package/src/compiler/transformers/class-fields.ts

@@ -55,6 +55,9 @@ import {
   getMembers,
   getModifiers,
   getName,
+  callQuestionDotToken,
+  callTypeArguments,
+  newCallExpression,
 } from '../ast.js';
 import { isLeftHandSideExpression } from '../ast-utilities.js';
 import {
@@ -1209,7 +1212,14 @@ export class ClassFieldsTransformer extends Transformer {
     if (node instanceof CallExpression)
       return factory.cloneNode(
         node,
-        new CallExpression(node.expression, node.questionDotToken, node.typeArguments, node.arguments, node.flags),
+        newCallExpression(
+          node.expression,
+          callQuestionDotToken(node),
+          callTypeArguments(node),
+          node.arguments,
+          node.flags,
+          false,
+        ),
       );
     return factory.cloneNode(node, node.deepClone());
   }
@@ -1232,7 +1242,7 @@ export class ClassFieldsTransformer extends Transformer {
       const call = factory.created(
         new PropertyAccessExpression(
           target,
-          optional ? node.questionDotToken : undefined,
+          optional ? callQuestionDotToken(node) : undefined,
           factory.createIdentifier('call'),
           optional ? NodeFlags.OptionalChain : NodeFlags.None,
         ),

package/src/compiler/transformers/commonjs-module.ts

@@ -63,6 +63,7 @@ import {
   ModifierList,
   getElements,
   getName,
+  callQuestionDotToken,
 } from '../ast.js';
 import { getExternalModuleName, isImportCall, isInJSFile, isRequireCall } from '../ast-utilities.js';
 import { isAssignmentExpression, isDestructuringAssignment } from '../binder-utilities.js';
@@ -1248,7 +1249,7 @@ export class CommonJSModuleTransformer extends Transformer {
       const updated = this.factory.updateCallExpression(
         node,
         expression,
-        node.questionDotToken,
+        callQuestionDotToken(node),
         undefined,
         this.visitNodes(node.arguments)!,
         node.flags,
@@ -1340,7 +1341,7 @@ export class CommonJSModuleTransformer extends Transformer {
       if (rewritten !== first || visitedRest !== rest)
         args = new NodeList(args.pos, args.end, [rewritten].concat(visitedRest));
     }
-    return factory.updateCallExpression(node, expression, node.questionDotToken, undefined, args, node.flags);
+    return factory.updateCallExpression(node, expression, callQuestionDotToken(node), undefined, args, node.flags);
   }
 
   private visitTaggedTemplateExpression(node: TaggedTemplateExpression): Node {

package/src/compiler/transformers/declarations-pseudo.ts

@@ -33,6 +33,7 @@ import {
   getSymbol,
   getType,
   getTypeParameters,
+  propertyAssignmentPostfixToken,
 } from '../ast.js';
 import { isFunctionLike, nodeIsMissing } from '../ast-utilities.js';
 import { getCombinedNodeFlags, hasSyntacticModifier, isIdentifierNamed } from '../binder-utilities.js';
@@ -544,7 +545,7 @@ export class PseudoChecker {
         }
         case SyntaxKind.PropertyAssignment: {
           const assignment = property as PropertyAssignment;
-          const postfix = assignment.postfixToken;
+          const postfix = propertyAssignmentPostfixToken(assignment);
           members.push(
             new PseudoMember(
               PseudoMemberKind.Property,

package/src/compiler/transformers/declarations.ts

@@ -2751,7 +2751,7 @@ const modifierKindsInOrder: SyntaxKind[] = [
   SyntaxKind.OutKeyword,
 ];
 
-function preservedReferences(references: FileReference[]): FileReference[] {
+function preservedReferences(references: readonly FileReference[]): FileReference[] {
   const result: FileReference[] = [];
   for (const reference of references)
     if (reference.preserve)

package/src/compiler/transformers/module.ts

@@ -26,6 +26,7 @@ import {
   StringLiteral,
   NoSubstitutionTemplateLiteral,
   Identifier,
+  callQuestionDotToken,
 } from '../ast.js';
 import { isAnyImportOrReExport, isImportCall, isInJSFile, isRequireCall } from '../ast-utilities.js';
 import { type CompilerOptions, JsxEmit, ModuleKind, getEmitModuleKind, getIsolatedModules } from '../options.js';
@@ -392,7 +393,7 @@ export class ESModuleTransformer extends Transformer {
     return factory.updateCallExpression(
       node,
       this.visitNode(node.expression)!,
-      node.questionDotToken,
+      callQuestionDotToken(node),
       undefined,
       new NodeList(node.arguments.pos, node.arguments.end, [argument].concat(rest)),
       node.flags,

package/src/compiler/transformers/optional-chain.ts

@@ -9,6 +9,8 @@ import {
   PropertyAccessExpression,
   SyntheticReferenceExpression,
   TaggedTemplateExpression,
+  callQuestionDotToken,
+  newCallExpression,
 } from '../ast.js';
 import { skipParentheses } from '../binder-utilities.js';
 import type { EmitContext } from '../printer/emit-context.js';
@@ -201,12 +203,13 @@ export class OptionalChainTransformer extends Transformer {
           );
         } else
           rightExpression = factory.created(
-            new CallExpression(
+            newCallExpression(
               rightExpression,
               undefined,
               undefined,
               this.visitNodes(segment.arguments)!,
               NodeFlags.None,
+              false,
             ),
           );
       }
@@ -231,7 +234,7 @@ export class OptionalChainTransformer extends Transformer {
 function questionDotTokenOf(node: Node): Node | undefined {
   if (node instanceof PropertyAccessExpression) return node.questionDotToken;
   if (node instanceof ElementAccessExpression) return node.questionDotToken;
-  if (node instanceof CallExpression) return node.questionDotToken;
+  if (node instanceof CallExpression) return callQuestionDotToken(node);
   return undefined;
 }
 

package/src/compiler/transformers/subtree-facts.ts

@@ -32,6 +32,7 @@ import {
   JsxSelfClosingElement,
   HeritageClause,
   getModifiers,
+  callTypeArguments,
 } from '../ast.js';
 import { ClusteredIntLinkTable } from '../link-tables.js';
 import { isTypeNodeKind } from '../printer/utilities.js';
@@ -233,7 +234,7 @@ function ownFacts(node: Node): Facts {
         ? Facts.TypeScript
         : Facts.None;
     case SyntaxKind.CallExpression:
-      return node instanceof CallExpression && node.typeArguments !== undefined ? Facts.TypeScript : Facts.None;
+      return node instanceof CallExpression && callTypeArguments(node) !== undefined ? Facts.TypeScript : Facts.None;
     case SyntaxKind.NewExpression:
       return node instanceof NewExpression && node.typeArguments !== undefined ? Facts.TypeScript : Facts.None;
     case SyntaxKind.TaggedTemplateExpression:

package/src/compiler/transformers/tagged-template.ts

@@ -2,7 +2,6 @@
 // calls with a `__makeTemplateObject` template object.
 import {
   ArrayLiteralExpression,
-  CallExpression,
   type Node,
   NodeFlags,
   NoSubstitutionTemplateLiteral,
@@ -13,6 +12,7 @@ import {
   TemplateMiddle,
   TemplateSpan,
   TemplateTail,
+  newCallExpression,
 } from '../ast.js';
 import type { EmitContext } from '../printer/emit-context.js';
 import { getSourceTextOfNode } from '../printer/utilities.js';
@@ -106,7 +106,7 @@ export class TaggedTemplateTransformer extends Transformer {
       templateObject = factory.createLogicalOr(name, factory.createAssignment(name, helperCall));
     }
     args.unshift(templateObject);
-    const call = factory.created(new CallExpression(tag, undefined, undefined, factory.createNodeList(args), 0));
+    const call = factory.created(newCallExpression(tag, undefined, undefined, factory.createNodeList(args), 0, false));
     call.pos = node.pos;
     call.end = node.end;
     return call;

package/src/compiler/transformers/type-eraser.ts

@@ -38,6 +38,7 @@ import {
   VariableDeclaration,
   ArrowFunction,
   getExpression,
+  callQuestionDotToken,
 } from '../ast.js';
 import { nodeIsMissing } from '../ast-utilities.js';
 import type { CompilerOptions } from '../options.js';
@@ -317,7 +318,7 @@ export class TypeEraser extends Transformer {
           return factory.updateCallExpression(
             node,
             this.required(node.expression),
-            node.questionDotToken,
+            callQuestionDotToken(node),
             undefined,
             this.visitNodes(node.arguments)!,
             node.flags,

package/src/compiler/transformers/visitor-base.ts

@@ -170,6 +170,11 @@ import {
   WithStatement,
   YieldExpression,
   type Node,
+  propertyAssignmentPostfixToken,
+  propertyAssignmentType,
+  callQuestionDotToken,
+  propertyAssignmentModifiers,
+  callTypeArguments,
 } from '../ast.js';
 import { SyntaxKind } from '../syntax-kind.js';
 import { VisitorHooks } from './visitor-hooks.js';
@@ -381,8 +386,8 @@ export abstract class VisitorBase extends VisitorHooks {
           return this.factory.updateCallExpression(
             node,
             required(this.visitNode(node.expression), node.expression),
-            asOptionalToken(this.visitNode(node.questionDotToken)),
-            this.visitNodes(node.typeArguments),
+            asOptionalToken(this.visitNode(callQuestionDotToken(node))),
+            this.visitNodes(callTypeArguments(node)),
             this.visitNodes(node.arguments)!,
             node.flags,
           );
@@ -1301,10 +1306,10 @@ export abstract class VisitorBase extends VisitorHooks {
         if (node instanceof PropertyAssignment)
           return this.factory.updatePropertyAssignment(
             node,
-            this.visitModifiers(node.modifiers),
+            this.visitModifiers(propertyAssignmentModifiers(node)),
             required(this.visitNode(node.name), node.name),
-            asOptionalToken(this.visitNode(node.postfixToken)),
-            this.visitNode(node.type),
+            asOptionalToken(this.visitNode(propertyAssignmentPostfixToken(node))),
+            this.visitNode(propertyAssignmentType(node)),
             required(this.visitNode(node.initializer), node.initializer),
           );
         break;

package/src/compiler/tsconfig.ts

@@ -22,6 +22,7 @@ import {
   StringLiteral,
   type Node,
   type SourceFile,
+  propertyAssignmentPostfixToken,
 } from './ast.js';
 import { enumNamesList } from './command-line.js';
 import {
@@ -868,7 +869,7 @@ class ConfigFileConverter {
         this.errors.push(diagnosticAtRange(this.file, element, Diagnostics.Property_assignment_expected));
         continue;
       }
-      const postfix = element.postfixToken;
+      const postfix = propertyAssignmentPostfixToken(element);
       if (postfix !== undefined && postfix.kind === SyntaxKind.QuestionToken) {
         this.errors.push(
           diagnosticAtRange(this.file, postfix, Diagnostics.The_0_modifier_can_only_be_used_in_TypeScript_files, '?'),