tsc-ts 0.0.10 → 0.1.0

package/dist/api/compiler/program-checker.js

@@ -1,5 +1,5 @@
 import { Checker, CheckerHost, disposeChecker } from './checker.js';
-import { createDiagnostic, messageCode } from './diagnostics.js';
+import { compareDiagnostics, createDiagnostic, messageCode, } from './diagnostics.js';
 import { ModuleSpecifierHost } from './module-specifiers.js';
 import { sortAndDeduplicateDiagnostics } from './program.js';
 import { getEmitModuleFormatOfFile, getEmitSyntaxForUsageLocation, isCheckJsEnabledForFile, } from './program-utilities.js';
@@ -199,6 +199,12 @@ export class CheckedProgram {
      */
     referenceThreads = 1;
     parallelGlobalDiagnostics = [];
+    /**
+     * Whether the semantic diagnostics of a file include the global diagnostics its checker found while
+     * checking it, as an incremental program caches them (IncrementalProgram). Such a program doesn't report
+     * the global diagnostics found by checking otherwise (`reportsGlobalDiagnosticsOfChecking`, compile-program.ts).
+     */
+    globalsInFileDiagnostics = false;
     /**
      * The declaration diagnostics checker threads computed under `noEmit` (PlainProgram,
      * IncrementalProgram), by file index; `undefined` for files they did not. Set once every file is
@@ -337,10 +343,10 @@ export class CheckedProgram {
             return own;
         return sortAndDeduplicateDiagnostics([...own, ...parallel]);
     }
-    /** Whether `file`'s bind and check diagnostics are reported. */
-    skipTypeChecking(file) {
+    /** Whether `file`'s bind and check diagnostics are skipped; `ignoreNoCheck` leaves `noCheck` out. */
+    skipTypeChecking(file, ignoreNoCheck = false) {
         const options = this.program.options;
-        return (options.noCheck === true ||
+        return ((!ignoreNoCheck && options.noCheck === true) ||
             (options.skipLibCheck === true && file.isDeclarationFile) ||
             (options.skipDefaultLibCheck === true && this.program.isSourceFileDefaultLibrary(file.path)) ||
             this.program.getProjectReferenceFromSource(file.path) !== undefined ||
@@ -371,8 +377,23 @@ export class CheckedProgram {
     getBindAndCheckDiagnostics(file, checks) {
         const options = this.program.options;
         const diagnostics = file.bindDiagnostics.slice();
-        for (const d of checks ?? this.checker.getDiagnostics(file))
-            diagnostics.push(d);
+        if (checks !== undefined)
+            for (const d of checks)
+                diagnostics.push(d);
+        else if (this.globalsInFileDiagnostics) {
+            const checker = this.checker;
+            const before = checker.getGlobalDiagnostics();
+            for (const d of checker.getDiagnostics(file))
+                diagnostics.push(d);
+            const after = checker.getGlobalDiagnostics();
+            if (after.length > before.length)
+                for (const d of after)
+                    if (!containsSortedDiagnostic(before, d))
+                        diagnostics.push(d);
+        }
+        else
+            for (const d of this.checker.getDiagnostics(file))
+                diagnostics.push(d);
         if (isPlainJSFile(file, options)) {
             const result = [];
             for (const d of diagnostics)
@@ -387,7 +408,7 @@ export class CheckedProgram {
         const directives = new Directives(file);
         const filtered = directives.filter(diagnostics);
         for (const directive of directives.unused()) {
-            filtered.push(createDiagnostic(file.diagnosticFile(), directive.pos, directive.end, 729 /* Diagnostics.Unused_ts_expect_error_directive */));
+            filtered.push(createDiagnostic(file.diagnosticFile(), directive.pos, directive.end, 736 /* Diagnostics.Unused_ts_expect_error_directive */));
         }
         return filtered;
     }
@@ -398,6 +419,22 @@ export class CheckedProgram {
         return diagnostics.length === 0 ? diagnostics : new Directives(file).filter(diagnostics);
     }
 }
+/** Whether `sorted`, in `compareDiagnostics` order, has a diagnostic equal to `diagnostic`. */
+function containsSortedDiagnostic(sorted, diagnostic) {
+    let low = 0;
+    let high = sorted.length - 1;
+    while (low <= high) {
+        const middle = (low + high) >>> 1;
+        const c = compareDiagnostics(sorted[middle], diagnostic);
+        if (c === 0)
+            return true;
+        if (c < 0)
+            low = middle + 1;
+        else
+            high = middle - 1;
+    }
+    return false;
+}
 /** The `@ts-ignore` and `@ts-expect-error` comments of a file, by line. */
 class Directives {
     file;
@@ -421,6 +458,11 @@ class Directives {
         const lineStarts = this.file.diagnosticFile().getLineStarts();
         const result = [];
         for (const diagnostic of diagnostics) {
+            // A global diagnostic, or one of another file, has no line here.
+            if (diagnostic.file === undefined || diagnostic.file.fileName !== this.file.fileName) {
+                result.push(diagnostic);
+                continue;
+            }
             let ignored = false;
             for (let line = computeLineOfPosition(lineStarts, diagnostic.pos) - 1; line >= 0; line--) {
                 const directive = this.byLine.get(line);
@@ -476,14 +518,14 @@ function canIncludeBindAndCheckDiagnostics(file, options) {
 }
 /** The errors reported in JavaScript files that aren't type checked. */
 const plainJSErrors = codesOf([
-    619 /* Diagnostics.Cannot_redeclare_block_scoped_variable_0 */,
-    686 /* Diagnostics.A_module_cannot_have_multiple_default_exports */,
-    885 /* Diagnostics.Another_export_default_is_here */,
-    884 /* Diagnostics.The_first_export_default_is_here */,
+    626 /* Diagnostics.Cannot_redeclare_block_scoped_variable_0 */,
+    693 /* Diagnostics.A_module_cannot_have_multiple_default_exports */,
+    892 /* Diagnostics.Another_export_default_is_here */,
+    891 /* Diagnostics.The_first_export_default_is_here */,
     211 /* Diagnostics.Identifier_expected_0_is_a_reserved_word_at_the_top_level_of_a_module */,
     167 /* Diagnostics.Identifier_expected_0_is_a_reserved_word_in_strict_mode_Modules_are_automatically_in_strict_mode */,
     293 /* Diagnostics.Identifier_expected_0_is_a_reserved_word_that_cannot_be_used_here */,
-    1834 /* Diagnostics.X_constructor_is_a_reserved_word */,
+    1854 /* Diagnostics.X_constructor_is_a_reserved_word */,
     71 /* Diagnostics.X_delete_cannot_be_called_on_an_identifier_in_strict_mode */,
     163 /* Diagnostics.Code_contained_in_a_class_is_evaluated_in_JavaScript_s_strict_mode_which_does_not_allow_this_use_of_0_For_more_information_see_https_Colon_Slash_Slashdeveloper_mozilla_org_Slashen_US_Slashdocs_SlashWeb_SlashJavaScript_SlashReference_SlashStrict_mode */,
     168 /* Diagnostics.Invalid_use_of_0_Modules_are_automatically_in_strict_mode */,
@@ -499,56 +541,57 @@ const plainJSErrors = codesOf([
     83 /* Diagnostics.A_continue_statement_can_only_jump_to_a_label_of_an_enclosing_iteration_statement */,
     81 /* Diagnostics.A_default_clause_cannot_appear_more_than_once_in_a_switch_statement */,
     207 /* Diagnostics.A_default_export_must_be_at_the_top_level_of_a_file_or_module_declaration */,
+    1952 /* Diagnostics.A_deferred_import_must_specify_a_namespace_binding */,
     205 /* Diagnostics.A_definite_assignment_assertion_is_not_permitted_in_this_context */,
     138 /* Diagnostics.A_destructuring_declaration_must_have_an_initializer */,
     40 /* Diagnostics.A_get_accessor_cannot_have_parameters */,
-    661 /* Diagnostics.A_rest_element_cannot_contain_a_binding_pattern */,
-    720 /* Diagnostics.A_rest_element_cannot_have_a_property_name */,
+    668 /* Diagnostics.A_rest_element_cannot_contain_a_binding_pattern */,
+    727 /* Diagnostics.A_rest_element_cannot_have_a_property_name */,
     142 /* Diagnostics.A_rest_element_cannot_have_an_initializer */,
-    628 /* Diagnostics.A_rest_element_must_be_last_in_a_destructuring_pattern */,
+    635 /* Diagnostics.A_rest_element_must_be_last_in_a_destructuring_pattern */,
     35 /* Diagnostics.A_rest_parameter_cannot_have_an_initializer */,
     10 /* Diagnostics.A_rest_parameter_must_be_last_in_a_parameter_list */,
     9 /* Diagnostics.A_rest_parameter_or_binding_pattern_may_not_have_a_trailing_comma */,
-    1857 /* Diagnostics.A_return_statement_cannot_be_used_inside_a_class_static_block */,
+    1877 /* Diagnostics.A_return_statement_cannot_be_used_inside_a_class_static_block */,
     39 /* Diagnostics.A_set_accessor_cannot_have_rest_parameter */,
     36 /* Diagnostics.A_set_accessor_must_have_exactly_one_parameter */,
-    389 /* Diagnostics.An_export_declaration_can_only_be_used_at_the_top_level_of_a_module */,
+    387 /* Diagnostics.An_export_declaration_can_only_be_used_at_the_top_level_of_a_module */,
     149 /* Diagnostics.An_export_declaration_cannot_have_modifiers */,
-    388 /* Diagnostics.An_import_declaration_can_only_be_used_at_the_top_level_of_a_module */,
+    386 /* Diagnostics.An_import_declaration_can_only_be_used_at_the_top_level_of_a_module */,
     147 /* Diagnostics.An_import_declaration_cannot_have_modifiers */,
     119 /* Diagnostics.An_object_member_cannot_be_declared_optional */,
     261 /* Diagnostics.Argument_of_dynamic_import_cannot_be_spread_element */,
-    935 /* Diagnostics.Cannot_assign_to_private_method_0_Private_methods_are_not_writable */,
-    652 /* Diagnostics.Cannot_redeclare_identifier_0_in_catch_clause */,
+    942 /* Diagnostics.Cannot_assign_to_private_method_0_Private_methods_are_not_writable */,
+    659 /* Diagnostics.Cannot_redeclare_identifier_0_in_catch_clause */,
     153 /* Diagnostics.Catch_clause_variable_cannot_have_an_initializer */,
-    1853 /* Diagnostics.Class_decorators_can_t_be_used_with_static_private_identifier_Consider_removing_the_experimental_decorator */,
+    1873 /* Diagnostics.Class_decorators_can_t_be_used_with_static_private_identifier_Consider_removing_the_experimental_decorator */,
     130 /* Diagnostics.Classes_can_only_extend_a_single_class */,
-    1829 /* Diagnostics.Classes_may_not_have_a_field_named_constructor */,
+    1849 /* Diagnostics.Classes_may_not_have_a_field_named_constructor */,
     248 /* Diagnostics.Did_you_mean_to_use_a_Colon_An_can_only_follow_a_property_name_when_the_containing_object_literal_is_part_of_a_destructuring_pattern */,
     82 /* Diagnostics.Duplicate_label_0 */,
     372 /* Diagnostics.Dynamic_imports_can_only_accept_a_module_specifier_and_an_optional_set_of_attributes_as_arguments */,
-    1855 /* Diagnostics.X_for_await_loops_cannot_be_used_inside_a_class_static_block */,
-    1804 /* Diagnostics.JSX_attributes_must_only_be_assigned_a_non_empty_expression */,
-    1805 /* Diagnostics.JSX_elements_cannot_have_multiple_attributes_with_the_same_name */,
-    1830 /* Diagnostics.JSX_expressions_may_not_use_the_comma_operator_Did_you_mean_to_write_an_array */,
-    776 /* Diagnostics.JSX_property_access_expressions_cannot_include_JSX_namespace_names */,
+    1875 /* Diagnostics.X_for_await_loops_cannot_be_used_inside_a_class_static_block */,
+    1824 /* Diagnostics.JSX_attributes_must_only_be_assigned_a_non_empty_expression */,
+    1825 /* Diagnostics.JSX_elements_cannot_have_multiple_attributes_with_the_same_name */,
+    1850 /* Diagnostics.JSX_expressions_may_not_use_the_comma_operator_Did_you_mean_to_write_an_array */,
+    783 /* Diagnostics.JSX_property_access_expressions_cannot_include_JSX_namespace_names */,
     76 /* Diagnostics.Jump_target_cannot_cross_function_boundary */,
     156 /* Diagnostics.Line_terminator_not_permitted_before_arrow */,
     140 /* Diagnostics.Modifiers_cannot_appear_here */,
     60 /* Diagnostics.Only_a_single_variable_declaration_is_allowed_in_a_for_in_statement */,
     144 /* Diagnostics.Only_a_single_variable_declaration_is_allowed_in_a_for_of_statement */,
-    1838 /* Diagnostics.Private_identifiers_are_not_allowed_outside_class_bodies */,
+    1858 /* Diagnostics.Private_identifiers_are_not_allowed_outside_class_bodies */,
     373 /* Diagnostics.Private_identifiers_are_only_allowed_in_class_bodies_and_may_only_be_used_as_part_of_a_class_member_declaration_property_access_or_on_the_left_hand_side_of_an_in_expression */,
-    1835 /* Diagnostics.Property_0_is_not_accessible_outside_class_1_because_it_has_a_private_identifier */,
+    1855 /* Diagnostics.Property_0_is_not_accessible_outside_class_1_because_it_has_a_private_identifier */,
     292 /* Diagnostics.Tagged_template_expressions_are_not_permitted_in_an_optional_chain */,
     75 /* Diagnostics.The_left_hand_side_of_a_for_of_statement_may_not_be_async */,
     145 /* Diagnostics.The_variable_declaration_of_a_for_in_statement_cannot_have_an_initializer */,
     146 /* Diagnostics.The_variable_declaration_of_a_for_of_statement_cannot_have_an_initializer */,
     5 /* Diagnostics.Trailing_comma_not_allowed */,
     90 /* Diagnostics.Variable_declaration_list_cannot_be_empty */,
-    1151 /* Diagnostics.X_0_and_1_operations_cannot_be_mixed_without_parentheses */,
+    1158 /* Diagnostics.X_0_and_1_operations_cannot_be_mixed_without_parentheses */,
     2 /* Diagnostics.X_0_expected */,
-    1815 /* Diagnostics.X_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2 */,
+    1835 /* Diagnostics.X_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2 */,
     66 /* Diagnostics.X_0_list_cannot_be_empty */,
     23 /* Diagnostics.X_0_modifier_already_seen */,
     58 /* Diagnostics.X_0_modifier_cannot_appear_on_a_constructor_declaration */,
@@ -560,13 +603,20 @@ const plainJSErrors = codesOf([
     116 /* Diagnostics.X_0_declarations_can_only_be_declared_inside_a_block */,
     115 /* Diagnostics.X_0_declarations_must_be_initialized */,
     128 /* Diagnostics.X_extends_clause_already_seen */,
-    643 /* Diagnostics.X_let_is_not_allowed_to_be_used_as_a_name_in_let_or_const_declarations */,
+    650 /* Diagnostics.X_let_is_not_allowed_to_be_used_as_a_name_in_let_or_const_declarations */,
     302 /* Diagnostics.Class_constructor_may_not_be_a_generator */,
     276 /* Diagnostics.Class_constructor_may_not_be_an_accessor */,
     246 /* Diagnostics.X_await_expressions_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules */,
-    972 /* Diagnostics.X_await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules */,
+    979 /* Diagnostics.X_await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules */,
     80 /* Diagnostics.Private_field_0_must_be_declared_in_an_enclosing_class */,
-    961 /* Diagnostics.This_condition_will_always_return_0_since_JavaScript_compares_objects_by_reference_not_value */,
+    968 /* Diagnostics.This_condition_will_always_return_0_since_JavaScript_compares_objects_by_reference_not_value */,
+    1952 /* Diagnostics.A_deferred_import_must_specify_a_namespace_binding */,
+    1946 /* Diagnostics.A_source_phase_import_must_specify_a_local_binding */,
+    1947 /* Diagnostics.Named_and_namespace_imports_are_not_allowed_in_a_source_phase_import */,
+    1949 /* Diagnostics.Optional_chaining_cannot_be_used_with_import_source */,
+    1950 /* Diagnostics.Source_phase_imports_are_not_allowed_on_statements_that_compile_to_CommonJS_require_calls */,
+    1948 /* Diagnostics.Source_phase_imports_are_only_supported_when_the_module_option_is_set_to_esnext_nodenext_or_preserve */,
+    1896 /* Diagnostics.X_0_is_not_a_valid_meta_property_for_keyword_import_Did_you_mean_meta_defer_or_source */,
 ]);
 function codesOf(messages) {
     const codes = new Set();

package/dist/api/compiler/program-utilities.d.ts

@@ -1,7 +1,7 @@
 /**
  * Option and syntax queries of program construction: libraries, module formats and resolution modes.
  */
-import { ExternalModuleIndicatorOptions, ImportAttributes, type Node, type SourceFile } from './ast.js';
+import { ExternalModuleIndicatorOptions, ImportAttribute, ImportAttributes, type Node, type SourceFile } from './ast.js';
 import { JsxEmit, ModuleKind, ScriptTarget, type CompilerOptions } from './options.js';
 /** `--lib` names in declaration order. */
 export declare const libNames: readonly string[];
@@ -44,6 +44,8 @@ export declare function getJSXImplicitImportBase(options: CompilerOptions, file:
 export declare function getJSXRuntimeImport(base: string, options: CompilerOptions): string;
 /** The `resolution-mode` of `import type` attributes, or `None`. */
 export declare function getResolutionModeOverride(attributes: ImportAttributes | undefined): ModuleKind;
+/** The `resolution-mode` attribute among import attributes, as tsgo's `GetResolutionModeOverride` finds it. */
+export declare function resolutionModeAttribute(attributes: ImportAttributes | undefined): ImportAttribute | undefined;
 /** Whether `import` syntax decides how a specifier resolves: Node16-style resolution or `exports`/`imports`. */
 export declare function importSyntaxAffectsModuleResolution(options: CompilerOptions): boolean;
 /** The mode a module specifier resolves in: from attributes, the import syntax, or the file's format. */

package/dist/api/compiler/program-utilities.js

@@ -1,8 +1,8 @@
 /**
  * Option and syntax queries of program construction: libraries, module formats and resolution modes.
  */
-import { ExportDeclaration, ExternalModuleIndicatorOptions, ImportAttribute, ImportDeclaration, ImportEqualsDeclaration, ImportTypeNode, JSDocImportTag, LiteralTypeNode, NoSubstitutionTemplateLiteral, ParenthesizedExpression, StringLiteral, } from './ast.js';
-import { isImportCall, isRequireCall } from './ast-utilities.js';
+import { ExportDeclaration, ExternalModuleIndicatorOptions, Identifier, ImportAttribute, ImportDeclaration, ImportEqualsDeclaration, ImportTypeNode, JSDocImportTag, LiteralTypeNode, NoSubstitutionTemplateLiteral, ParenthesizedExpression, StringLiteral, } from './ast.js';
+import { isImportCall, isRequireCall, isSourcePhaseImportCall } from './ast-utilities.js';
 import { libMap } from './option-declarations.js';
 import { getEmitModuleDetectionKind, getEmitModuleKind, getEmitScriptTarget, getModuleResolutionKind, getResolvePackageJsonExports, getResolvePackageJsonImports, JsxEmit, ModuleDetectionKind, ModuleKind, ModuleResolutionKind, ScriptTarget, } from './options.js';
 import { fileExtensionIsOneOf, isDeclarationFileName, toFileNameLowerCase } from './path.js';
@@ -26,6 +26,8 @@ export function getDefaultLibFileName(options) {
     switch (getEmitScriptTarget(options)) {
         case ScriptTarget.ESNext:
             return 'lib.esnext.full.d.ts';
+        case ScriptTarget.ES2026:
+            return 'lib.es2026.full.d.ts';
         case ScriptTarget.ES2025:
             return 'lib.es2025.full.d.ts';
         case ScriptTarget.ES2024:
@@ -80,6 +82,8 @@ export function scriptTargetName(target) {
             return 'ES2024';
         case ScriptTarget.ES2025:
             return 'ES2025';
+        case ScriptTarget.ES2026:
+            return 'ES2026';
         case ScriptTarget.ESNext:
             return 'ESNext';
         case ScriptTarget.JSON:
@@ -258,18 +262,8 @@ function literalText(node) {
 }
 /** The `resolution-mode` of `import type` attributes, or `None`. */
 export function getResolutionModeOverride(attributes) {
-    if (attributes === undefined)
-        return ModuleKind.None;
-    const elements = attributes.attributes.nodes;
-    if (elements.length !== 1)
-        return ModuleKind.None;
-    const attribute = elements[0];
-    if (!(attribute instanceof ImportAttribute))
-        return ModuleKind.None;
-    const name = attribute.name;
-    if (name === undefined || !isStringLiteralLike(name) || literalText(name) !== 'resolution-mode')
-        return ModuleKind.None;
-    if (!isStringLiteralLike(attribute.value))
+    const attribute = resolutionModeAttribute(attributes);
+    if (attribute === undefined || !isStringLiteralLike(attribute.value))
         return ModuleKind.None;
     const text = literalText(attribute.value);
     if (text === 'import')
@@ -278,6 +272,22 @@ export function getResolutionModeOverride(attributes) {
         return ModuleKind.CommonJS;
     return ModuleKind.None;
 }
+/** The `resolution-mode` attribute among import attributes, as tsgo's `GetResolutionModeOverride` finds it. */
+export function resolutionModeAttribute(attributes) {
+    if (attributes === undefined)
+        return undefined;
+    for (const attribute of attributes.attributes.nodes) {
+        if (!(attribute instanceof ImportAttribute))
+            continue;
+        const name = attribute.name;
+        if (name === undefined)
+            continue;
+        const text = name instanceof Identifier ? name.text : literalText(name);
+        if (text === 'resolution-mode')
+            return attribute;
+    }
+    return undefined;
+}
 /** The attributes of an import or export declaration or a JSDoc `@import`, if any. */
 function importOrExportAttributes(node) {
     if (node instanceof ImportDeclaration)
@@ -335,12 +345,15 @@ export function getEmitSyntaxForUsageLocation(fileName, metadata, usage, options
     if (parent === undefined)
         return ModuleKind.None;
     if (isRequireCall(parent, false) ||
-        (parent.kind === 284 /* SyntaxKind.ExternalModuleReference */ && parent.parent instanceof ImportEqualsDeclaration)) {
+        (parent.kind === 285 /* SyntaxKind.ExternalModuleReference */ && parent.parent instanceof ImportEqualsDeclaration)) {
         return ModuleKind.CommonJS;
     }
     const fileEmitMode = getEmitModuleFormatOfFile(fileName, options, metadata);
     const call = walkUpParenthesizedExpressions(parent);
     if (call !== undefined && isImportCall(call)) {
+        // `import.source()` is never transformed to `require`.
+        if (isSourcePhaseImportCall(call))
+            return ModuleKind.ESNext;
         return shouldTransformImportCall(options, fileEmitMode) ? ModuleKind.CommonJS : ModuleKind.ESNext;
     }
     if (fileEmitMode === ModuleKind.CommonJS)

package/dist/api/compiler/program.d.ts

@@ -84,6 +84,8 @@ export declare class Program implements OutputPathsHost {
     getGlobalTypingsCacheLocation(): string;
     /** Files of the same package version that redirect to the file at `path`. */
     getRedirectTargets(path: string): readonly string[];
+    /** The nearest `package.json` lookup at or above `directory`. */
+    getPackageScopeForPath(directory: string): PackageJsonInfo | undefined;
     /** The directory of the nearest `package.json` at or above `directory`, or `''`. */
     getNearestAncestorDirectoryWithPackageJson(directory: string): string;
     /** The `package.json` at `packageJsonPath`, if it exists and is the scope of its directory. */