xbintsc 0.3.87 → 0.5.20

package/src/parser/modules.ts

@@ -2,7 +2,7 @@
  * Import and export declaration parsing.
  */
 
-import { TokenKind } from "../lexer/token.js";
+import { TokenKind, type Token } from "../lexer/token.js";
 import {
   ModifierKind,
   SyntaxKind,
@@ -33,7 +33,11 @@ export const moduleMethods: ModuleMethods = {
   parseImportDeclaration(this: Parser): ImportDeclaration {
     const start = this.parseExpected(TokenKind.ImportKeyword).start;
     let importClause: ImportClause | undefined;
-    if (!this.at(TokenKind.StringLiteral)) {
+    let moduleToken: Token;
+    if (this.at(TokenKind.StringLiteral)) {
+      // `import "mod";` evaluates the module for its side effects only.
+      moduleToken = this.nextToken();
+    } else {
       const clauseStart = this.token.start;
       let isTypeOnly = false;
       if (this.at(TokenKind.TypeKeyword) && !this.lookAhead(1).precededByLineBreak) {
@@ -58,9 +62,9 @@ export const moduleMethods: ModuleMethods = {
         namedBindings = this.parseNamedImports();
       }
       importClause = { kind: SyntaxKind.ImportClause, name, namedBindings, isTypeOnly, start: clauseStart, end: namedBindings?.end ?? name?.end ?? clauseStart };
+      this.parseExpected(TokenKind.FromKeyword);
+      moduleToken = this.parseExpected(TokenKind.StringLiteral);
     }
-    this.parseExpected(TokenKind.FromKeyword);
-    const moduleToken = this.parseExpected(TokenKind.StringLiteral);
     const moduleSpecifier = this.stringLiteralFromToken(moduleToken);
     const attributes: { name: string; value: string }[] = [];
     if (this.at(TokenKind.WithKeyword) || (this.at(TokenKind.Identifier) && this.token.text === "assert")) {

package/src/parser/parser.ts

@@ -21,6 +21,34 @@ import { typeMethods, type TypeMethods } from "./types.js";
 
 export class Parser extends ParserContext {
   parseSourceFile(): SourceFileNode {
+    try {
+      return this.parseSourceFileBody();
+    } catch (error) {
+      /* Deeply nested input (thousands of `(`, arrays, type arguments, ...)
+       * exhausts the JavaScript stack before the recursive-descent parser can
+       * produce a syntax error. Report it as a diagnostic instead of letting a
+       * raw RangeError escape as an "internal error" with no location. */
+      if (error instanceof RangeError && /call stack|stack size/i.test(error.message)) {
+        this.diagnostics.error(
+          DiagnosticCode.NestingTooDeep,
+          "Source is nested too deeply to parse; reduce the nesting depth (for example, split the expression)",
+          { start: this.token.start, end: this.token.end },
+          this.source.fileName,
+        );
+        return {
+          kind: SyntaxKind.SourceFile,
+          statements: [],
+          fileName: this.source.fileName,
+          text: this.source.text,
+          start: 0,
+          end: this.source.text.length,
+        };
+      }
+      throw error;
+    }
+  }
+
+  private parseSourceFileBody(): SourceFileNode {
     const statements: Statement[] = [];
     while (!this.at(TokenKind.EndOfFile)) {
       const before = this.consumed;