@marko/compiler 5.39.13 → 5.39.15

package/dist/babel-plugin/index.js

@@ -1,4 +1,4 @@
-"use strict";var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");exports.__esModule = true;exports.default = void 0;exports.getMarkoFile = getMarkoFile;var _traverse = _interopRequireDefault(require("@babel/traverse"));
+"use strict";var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");exports.__esModule = true;exports.default = void 0;exports.getFile = getFile;exports.getProgram = getProgram;var _traverse = _interopRequireDefault(require("@babel/traverse"));
 var _babelUtils = require("@marko/compiler/babel-utils");
 var _crypto = require("crypto");
 var _path = _interopRequireDefault(require("path"));
@@ -15,7 +15,8 @@ var _parser = require("./parser");
 var _migrate = require("./plugins/migrate");
 var _transform = require("./plugins/transform");function _getRequireWildcardCache(e) {if ("function" != typeof WeakMap) return null;var r = new WeakMap(),t = new WeakMap();return (_getRequireWildcardCache = function (e) {return e ? t : r;})(e);}function _interopRequireWildcard(e, r) {if (!r && e && e.__esModule) return e;if (null === e || "object" != typeof e && "function" != typeof e) return { default: e };var t = _getRequireWildcardCache(r);if (t && t.has(e)) return t.get(e);var n = { __proto__: null },a = Object.defineProperty && Object.getOwnPropertyDescriptor;for (var u in e) if ("default" !== u && {}.hasOwnProperty.call(e, u)) {var i = a ? Object.getOwnPropertyDescriptor(e, u) : null;i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u];}return n.default = e, t && t.set(e, n), n;}
 
-const SOURCE_FILES = new WeakMap();var _default =
+const SOURCE_FILES = new WeakMap();
+let currentFile;var _default =
 
 (api, markoOpts) => {
   api.assertVersion(7);
@@ -61,22 +62,18 @@ const SOURCE_FILES = new WeakMap();var _default =
       curOpts = opts;
     },
     parserOverride(code) {
-      const prevFS = _config.default.fs;
-      _config.default.fs = markoOpts.fileSystem;
-      try {
-        const file = getMarkoFile(code, curOpts, markoOpts);
-        const finalAst = t.cloneNode(file.ast, true);
-        SOURCE_FILES.set(finalAst, file);
-        return finalAst;
-      } finally {
-        _config.default.fs = prevFS;
-      }
+      const file = getMarkoFile(code, curOpts, markoOpts);
+      const finalAst = t.cloneNode(file.ast, true);
+      SOURCE_FILES.set(finalAst, file);
+      return finalAst;
     },
     pre(file) {
       const { buildError: prevBuildError } = file.hub;
       const { buildCodeFrameError: prevCodeFrameError } = file;
       const prevFS = _config.default.fs;
+      const prevFile = currentFile;
       _config.default.fs = markoOpts.fileSystem;
+      currentFile = file;
       curOpts = undefined;
       try {
         const { ast, metadata } = file;
@@ -114,6 +111,7 @@ const SOURCE_FILES = new WeakMap();var _default =
         file.path.scope.crawl(); // Ensure all scopes are accurate for subsequent babel plugins
       } finally {
         _config.default.fs = prevFS;
+        currentFile = prevFile;
         file.buildCodeFrameError = prevCodeFrameError;
         file.hub.buildError = prevBuildError;
         file.markoOpts =
@@ -147,6 +145,22 @@ const SOURCE_FILES = new WeakMap();var _default =
   };
 };exports.default = _default;
 
+function getFile() {
+  if (currentFile) {
+    return currentFile;
+  }
+
+  throw new Error("Unable to access Marko File outside of a compilation");
+}
+
+function getProgram() {
+  if (currentFile) {
+    return currentFile.path;
+  }
+
+  throw new Error("Unable to access Marko Program outside of a compilation");
+}
+
 function getMarkoFile(code, fileOpts, markoOpts) {
   const { translator } = markoOpts;
   let compileCache = markoOpts.cache.get(translator);
@@ -191,129 +205,137 @@ function getMarkoFile(code, fileOpts, markoOpts) {
     return cached.file;
   }
 
-  const taglibLookup = (0, _taglib.buildLookup)(_path.default.dirname(filename), translator);
-
-  const file = new _file.MarkoFile(fileOpts, {
-    code,
-    ast: {
-      type: "File",
-      program: {
-        type: "Program",
-        sourceType: "module",
-        body: [],
-        directives: [],
-        params: [t.identifier("input")]
+  const prevFs = _config.default.fs;
+  const prevFile = currentFile;
+  _config.default.fs = markoOpts.fileSystem;
+
+  try {
+    const taglibLookup = (0, _taglib.buildLookup)(_path.default.dirname(filename), translator);
+    const file = currentFile = new _file.MarkoFile(fileOpts, {
+      code,
+      ast: {
+        type: "File",
+        program: {
+          type: "Program",
+          sourceType: "module",
+          body: [],
+          directives: [],
+          params: [t.identifier("input")]
+        }
       }
-    }
-  });
-
-  const meta = file.metadata.marko = {
-    id,
-    deps: [],
-    tags: [],
-    watchFiles: [],
-    diagnostics: []
-  };
+    });
 
-  file.markoOpts = markoOpts;
-  file.___taglibLookup = taglibLookup;
-  file.___getMarkoFile = getMarkoFile;
+    const meta = file.metadata.marko = {
+      id,
+      deps: [],
+      tags: [],
+      watchFiles: [],
+      diagnostics: []
+    };
 
-  file.___compileStage = "parse";
-  (0, _parser.parseMarko)(file);
+    file.markoOpts = markoOpts;
+    file.___taglibLookup = taglibLookup;
+    file.___getMarkoFile = getMarkoFile;
 
-  if (isSource) {
-    return file;
-  }
+    file.___compileStage = "parse";
+    (0, _parser.parseMarko)(file);
+
+    if (isSource) {
+      return file;
+    }
 
-  file.path.scope.crawl(); // Initialize bindings.
+    file.path.scope.crawl(); // Initialize bindings.
 
-  const rootMigrators = [];
-  for (const id in taglibLookup.taglibsById) {
-    for (const migrator of taglibLookup.taglibsById[id].migrators) {
-      addPlugin(meta, rootMigrators, migrator);
+    const rootMigrators = [];
+    for (const id in taglibLookup.taglibsById) {
+      for (const migrator of taglibLookup.taglibsById[id].migrators) {
+        addPlugin(meta, rootMigrators, migrator);
+      }
     }
-  }
 
-  rootMigrators.push(_migrate.visitor);
-  file.___compileStage = "migrate";
-  traverseAll(file, rootMigrators);
-
-  if (file.___hasParseErrors) {
-    if (markoOpts.errorRecovery) {
-      t.traverseFast(file.path.node, (node) => {
-        if (node.type === "MarkoParseError") {
-          (0, _babelUtils.diagnosticError)(file.path, {
-            label: node.label,
-            loc: node.errorLoc || node.loc
-          });
-        }
-      });
-    } else {
-      let errors = [];
-      t.traverseFast(file.path.node, (node) => {
-        if (node.type === "MarkoParseError") {
-          errors.push(
-            (0, _buildCodeFrame.buildCodeFrameError)(
-              file.opts.filename,
-              file.code,
-              node.errorLoc || node.loc,
-              node.label
-            )
-          );
-        }
-      });
+    rootMigrators.push(_migrate.visitor);
+    file.___compileStage = "migrate";
+    traverseAll(file, rootMigrators);
+
+    if (file.___hasParseErrors) {
+      if (markoOpts.errorRecovery) {
+        t.traverseFast(file.path.node, (node) => {
+          if (node.type === "MarkoParseError") {
+            (0, _babelUtils.diagnosticError)(file.path, {
+              label: node.label,
+              loc: node.errorLoc || node.loc
+            });
+          }
+        });
+      } else {
+        let errors = [];
+        t.traverseFast(file.path.node, (node) => {
+          if (node.type === "MarkoParseError") {
+            errors.push(
+              (0, _buildCodeFrame.buildCodeFrameError)(
+                file.opts.filename,
+                file.code,
+                node.errorLoc || node.loc,
+                node.label
+              )
+            );
+          }
+        });
 
-      (0, _mergeErrors.default)(errors);
+        (0, _mergeErrors.default)(errors);
+      }
     }
-  }
 
-  if (isMigrate) {
-    return file;
-  }
+    if (isMigrate) {
+      return file;
+    }
 
-  const rootTransformers = [];
-  for (const id in taglibLookup.taglibsById) {
-    for (const transformer of taglibLookup.taglibsById[id].transformers) {
-      addPlugin(meta, rootTransformers, transformer);
+    const rootTransformers = [];
+    for (const id in taglibLookup.taglibsById) {
+      for (const transformer of taglibLookup.taglibsById[id].transformers) {
+        addPlugin(meta, rootTransformers, transformer);
+      }
     }
-  }
 
-  rootTransformers.push(_transform.visitor);
-  if (translator.transform) {
-    rootTransformers.push(translator.transform);
-  }
-  file.___compileStage = "transform";
-  traverseAll(file, rootTransformers);
+    rootTransformers.push(_transform.visitor);
+    if (translator.transform) {
+      rootTransformers.push(translator.transform);
+    }
+    file.___compileStage = "transform";
+    traverseAll(file, rootTransformers);
 
-  for (const taglibId in taglibLookup.taglibsById) {
-    const { filePath } = taglibLookup.taglibsById[taglibId];
+    for (const taglibId in taglibLookup.taglibsById) {
+      const { filePath } = taglibLookup.taglibsById[taglibId];
 
-    if (
-    filePath[filePath.length - 5] === "." &&
-    filePath.endsWith("marko.json"))
-    {
-      meta.watchFiles.push(filePath);
+      if (
+      filePath[filePath.length - 5] === "." &&
+      filePath.endsWith("marko.json"))
+      {
+        meta.watchFiles.push(filePath);
+      }
     }
-  }
 
-  compileCache.set(cacheKey, {
-    time: Date.now(),
-    file,
-    contentHash
-  });
-
-  if (translator.analyze) {
-    try {
-      file.___compileStage = "analyze";
-      traverseAll(file, translator.analyze);
-    } catch (e) {
-      compileCache.delete(cacheKey);
-      throw e;
+    compileCache.set(cacheKey, {
+      time: Date.now(),
+      file,
+      contentHash
+    });
+
+    if (translator.analyze) {
+      try {
+        file.___compileStage = "analyze";
+        traverseAll(file, translator.analyze);
+      } catch (e) {
+        compileCache.delete(cacheKey);
+        throw e;
+      }
     }
-  }
 
-  return file;
+    return file;
+  } finally {
+    _config.default.fs = prevFs;
+    currentFile = prevFile;
+  }
 }
 
 function shallowClone(data) {

package/dist/babel-types/types/patch.js

@@ -1,6 +1,6 @@
 "use strict";var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");
 var babelTypes = _interopRequireWildcard(require("@babel/types"));
-var _utils = _interopRequireDefault(require("@babel/types/lib/definitions/utils"));
+var definitionUtils = _interopRequireWildcard(require("@babel/types/lib/definitions/utils"));
 var generatedValidators = _interopRequireWildcard(require("@babel/types/lib/validators/generated"));
 var referencedValidators = _interopRequireWildcard(require("@babel/types/lib/validators/isReferenced"));
 var _validate = _interopRequireDefault(require("@babel/types/lib/validators/validate"));
@@ -21,7 +21,7 @@ getBindingIdentifiers.keys.MarkoTag = ["var"];
 getBindingIdentifiers.keys.MarkoTagBody = ["params"];
 
 _definitions.MARKO_TYPES.forEach((typeName) => {
-  (0, _utils.default)(typeName, _definitions.default[typeName]);
+  definitionUtils.default(typeName, _definitions.default[typeName]);
 });
 
 babelTypes.NODE_FIELDS.Program.params =
@@ -65,6 +65,17 @@ referencedValidators.default = (node, parent, grandparent) => {
   }
 };
 
+for (const { types, set } of definitionUtils.allExpandedTypes || []) {
+  for (const type of types) {
+    const aliases = FLIPPED_ALIAS_KEYS[type];
+    if (aliases) {
+      aliases.forEach(set.add, set);
+    } else {
+      set.add(type);
+    }
+  }
+}
+
 function assert(typeName, node, opts) {
   if (!is(typeName, node, opts)) {
     throw new Error(

package/dist/index.js

@@ -1,4 +1,4 @@
-"use strict";var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");exports.__esModule = true;exports._clearDefaults = _clearDefaults;exports.compile = compile;exports.compileFile = compileFile;exports.compileFileSync = compileFileSync;exports.compileSync = compileSync;exports.configure = configure;exports.getRuntimeEntryFiles = getRuntimeEntryFiles;exports.types = exports.taglib = exports.globalConfig = void 0;var _types = _interopRequireWildcard(require("./babel-types"));exports.types = _types;
+"use strict";var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");exports.__esModule = true;exports._clearDefaults = _clearDefaults;exports.compile = compile;exports.compileFile = compileFile;exports.compileFileSync = compileFileSync;exports.compileSync = compileSync;exports.configure = configure;exports.getProgram = exports.getFile = void 0;exports.getRuntimeEntryFiles = getRuntimeEntryFiles;exports.types = exports.taglib = exports.globalConfig = void 0;var _types = _interopRequireWildcard(require("./babel-types"));exports.types = _types;
 var babel = _interopRequireWildcard(require("@babel/core"));
 var _pluginSyntaxTypescript = _interopRequireDefault(require("@babel/plugin-syntax-typescript"));
 var _pluginTransformModulesCommonjs = _interopRequireDefault(require("@babel/plugin-transform-modules-commonjs"));
@@ -6,7 +6,7 @@ var _pluginTransformTypescript = _interopRequireDefault(require("@babel/plugin-t
 var _babelUtils = require("@marko/compiler/babel-utils");
 var _path = _interopRequireDefault(require("path"));
 
-var _babelPlugin = _interopRequireDefault(require("./babel-plugin"));
+var _babelPlugin = _interopRequireWildcard(require("./babel-plugin"));exports.getFile = _babelPlugin.getFile;exports.getProgram = _babelPlugin.getProgram;
 var _config = _interopRequireDefault(require("./config"));
 var taglib = _interopRequireWildcard(require("./taglib"));exports.taglib = taglib;
 var _buildCodeFrame = require("./util/build-code-frame");
@@ -15,6 +15,7 @@ var _shouldOptimize = _interopRequireDefault(require("./util/should-optimize"));
 var _tryLoadTranslator = _interopRequireDefault(require("./util/try-load-translator"));function _getRequireWildcardCache(e) {if ("function" != typeof WeakMap) return null;var r = new WeakMap(),t = new WeakMap();return (_getRequireWildcardCache = function (e) {return e ? t : r;})(e);}function _interopRequireWildcard(e, r) {if (!r && e && e.__esModule) return e;if (null === e || "object" != typeof e && "function" != typeof e) return { default: e };var t = _getRequireWildcardCache(r);if (t && t.has(e)) return t.get(e);var n = { __proto__: null },a = Object.defineProperty && Object.getOwnPropertyDescriptor;for (var u in e) if ("default" !== u && {}.hasOwnProperty.call(e, u)) {var i = a ? Object.getOwnPropertyDescriptor(e, u) : null;i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u];}return n.default = e, t && t.set(e, n), n;}
 
 
+
 const CWD = process.cwd();
 
 let globalConfig = exports.globalConfig = { ..._config.default };

package/dist/traverse.d.ts

@@ -746,6 +746,7 @@ export class NodePath<T = Node> {
     getAllNextSiblings(): NodePath[];
 
     get<K extends keyof T>(key: K, context?: boolean | TraversalContext): NodePathResult<T[K]>;
+    get<P extends string>(path: P, context?: boolean | TraversalContext): NodePathResult<ImplGetRecursive<T, P>>;
     
 
     getBindingIdentifiers(duplicates: true): Record<string, t.Identifier[]>;
@@ -1488,6 +1489,27 @@ export interface TraversalContext<S = unknown> {
     opts: TraverseOptions;
 }
 
+// Based on `GetFieldType`s from `@types/lodash/common/object.d.ts`:
+// dprint-ignore
+type ImplGetOfArray<T extends readonly unknown[], K extends string> =
+    K extends `${infer N extends number}` ? T[N]
+    : K extends keyof T ? T[K]
+    : never;
+
+// dprint-ignore
+type ImplGetByKey<T, K extends string>
+    = T extends readonly unknown[] ? ImplGetOfArray<T, K>
+    : K extends keyof T ? T[K]
+    : K extends `${infer N extends number}`
+        ? N extends keyof T ? T[N] : never
+    : never;
+
+// dprint-ignore
+type ImplGetRecursive<T, K extends string>
+    = K extends `${infer L}.${infer R}`
+        ? ImplGetRecursive<ImplGetByKey<T, L>, R>
+    : ImplGetByKey<T, K>;
+
 export type NodePathResult<T> =
     | (Extract<T, Node | null | undefined> extends never ? never : NodePath<Extract<T, Node | null | undefined>>)
     | (T extends Array<Node | null | undefined> ? Array<NodePath<T[number]>> : never);

package/dist/types.d.ts

@@ -46,7 +46,7 @@ interface BaseNode {
   extra?: NodeExtra;
 }
 
-export type Node = Accessor | AnyTypeAnnotation | ArgumentPlaceholder | ArrayExpression | ArrayPattern | ArrayTypeAnnotation | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | BigIntLiteral | Binary | BinaryExpression | BindExpression | Block | BlockParent | BlockStatement | BooleanLiteral | BooleanLiteralTypeAnnotation | BooleanTypeAnnotation | BreakStatement | CallExpression | CatchClause | Class | ClassAccessorProperty | ClassBody | ClassDeclaration | ClassExpression | ClassImplements | ClassMethod | ClassPrivateMethod | ClassPrivateProperty | ClassProperty | CompletionStatement | Conditional | ConditionalExpression | ContinueStatement | DebuggerStatement | DecimalLiteral | Declaration | DeclareClass | DeclareExportAllDeclaration | DeclareExportDeclaration | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareOpaqueType | DeclareTypeAlias | DeclareVariable | DeclaredPredicate | Decorator | Directive | DirectiveLiteral | DoExpression | DoWhileStatement | EmptyStatement | EmptyTypeAnnotation | EnumBody | EnumBooleanBody | EnumBooleanMember | EnumDeclaration | EnumDefaultedMember | EnumMember | EnumNumberBody | EnumNumberMember | EnumStringBody | EnumStringMember | EnumSymbolBody | ExistsTypeAnnotation | ExportAllDeclaration | ExportDeclaration | ExportDefaultDeclaration | ExportDefaultSpecifier | ExportNamedDeclaration | ExportNamespaceSpecifier | ExportSpecifier | Expression | ExpressionStatement | ExpressionWrapper | File | Flow | FlowBaseAnnotation | FlowDeclaration | FlowPredicate | FlowType | For | ForInStatement | ForOfStatement | ForStatement | ForXStatement | Function | FunctionDeclaration | FunctionExpression | FunctionParent | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | Identifier | IfStatement | Immutable | Import | ImportAttribute | ImportDeclaration | ImportDefaultSpecifier | ImportExpression | ImportNamespaceSpecifier | ImportOrExportDeclaration | ImportSpecifier | IndexedAccessType | InferredPredicate | InterfaceDeclaration | InterfaceExtends | InterfaceTypeAnnotation | InterpreterDirective | IntersectionTypeAnnotation | JSX | JSXAttribute | JSXClosingElement | JSXClosingFragment | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXFragment | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXOpeningFragment | JSXSpreadAttribute | JSXSpreadChild | JSXText | LVal | LabeledStatement | Literal | LogicalExpression | Loop | Marko | MarkoAttribute | MarkoCDATA | MarkoClass | MarkoComment | MarkoDeclaration | MarkoDocumentType | MarkoParseError | MarkoPlaceholder | MarkoScriptlet | MarkoSpreadAttribute | MarkoTag | MarkoTagBody | MarkoText | MemberExpression | MetaProperty | Method | Miscellaneous | MixedTypeAnnotation | ModuleDeclaration | ModuleExpression | ModuleSpecifier | NewExpression | Noop | NullLiteral | NullLiteralTypeAnnotation | NullableTypeAnnotation | NumberLiteral | NumberLiteralTypeAnnotation | NumberTypeAnnotation | NumericLiteral | ObjectExpression | ObjectMember | ObjectMethod | ObjectPattern | ObjectProperty | ObjectTypeAnnotation | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeInternalSlot | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | OptionalCallExpression | OptionalIndexedAccessType | OptionalMemberExpression | ParenthesizedExpression | Pattern | PatternLike | PipelineBareFunction | PipelinePrimaryTopicReference | PipelineTopicExpression | Placeholder | Private | PrivateName | Program | Property | Pureish | QualifiedTypeIdentifier | RecordExpression | RegExpLiteral | RegexLiteral | RestElement | RestProperty | ReturnStatement | Scopable | Scope | SequenceExpression | SpreadElement | SpreadProperty | Standardized | Statement | StaticBlock | StringLiteral | StringLiteralTypeAnnotation | StringTypeAnnotation | Super | SwitchCase | SwitchStatement | SymbolTypeAnnotation | TSAnyKeyword | TSArrayType | TSAsExpression | TSBaseType | TSBigIntKeyword | TSBooleanKeyword | TSCallSignatureDeclaration | TSConditionalType | TSConstructSignatureDeclaration | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSEntityName | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExpressionWithTypeArguments | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSImportType | TSIndexSignature | TSIndexedAccessType | TSInferType | TSInstantiationExpression | TSInterfaceBody | TSInterfaceDeclaration | TSIntersectionType | TSIntrinsicKeyword | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamedTupleMember | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSOptionalType | TSParameterProperty | TSParenthesizedType | TSPropertySignature | TSQualifiedName | TSRestType | TSSatisfiesExpression | TSStringKeyword | TSSymbolKeyword | TSThisType | TSTupleType | TSType | TSTypeAliasDeclaration | TSTypeAnnotation | TSTypeAssertion | TSTypeElement | TSTypeLiteral | TSTypeOperator | TSTypeParameter | TSTypeParameterDeclaration | TSTypeParameterInstantiation | TSTypePredicate | TSTypeQuery | TSTypeReference | TSUndefinedKeyword | TSUnionType | TSUnknownKeyword | TSVoidKeyword | TaggedTemplateExpression | TemplateElement | TemplateLiteral | Terminatorless | ThisExpression | ThisTypeAnnotation | ThrowStatement | TopicReference | TryStatement | TupleExpression | TupleTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | TypeScript | TypeofTypeAnnotation | UnaryExpression | UnaryLike | UnionTypeAnnotation | UpdateExpression | UserWhitespacable | V8IntrinsicIdentifier | VariableDeclaration | VariableDeclarator | Variance | VoidTypeAnnotation | While | WhileStatement | WithStatement | YieldExpression;
+export type Node = Accessor | AnyTypeAnnotation | ArgumentPlaceholder | ArrayExpression | ArrayPattern | ArrayTypeAnnotation | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | BigIntLiteral | Binary | BinaryExpression | BindExpression | Block | BlockParent | BlockStatement | BooleanLiteral | BooleanLiteralTypeAnnotation | BooleanTypeAnnotation | BreakStatement | CallExpression | CatchClause | Class | ClassAccessorProperty | ClassBody | ClassDeclaration | ClassExpression | ClassImplements | ClassMethod | ClassPrivateMethod | ClassPrivateProperty | ClassProperty | CompletionStatement | Conditional | ConditionalExpression | ContinueStatement | DebuggerStatement | DecimalLiteral | Declaration | DeclareClass | DeclareExportAllDeclaration | DeclareExportDeclaration | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareOpaqueType | DeclareTypeAlias | DeclareVariable | DeclaredPredicate | Decorator | Directive | DirectiveLiteral | DoExpression | DoWhileStatement | EmptyStatement | EmptyTypeAnnotation | EnumBody | EnumBooleanBody | EnumBooleanMember | EnumDeclaration | EnumDefaultedMember | EnumMember | EnumNumberBody | EnumNumberMember | EnumStringBody | EnumStringMember | EnumSymbolBody | ExistsTypeAnnotation | ExportAllDeclaration | ExportDeclaration | ExportDefaultDeclaration | ExportDefaultSpecifier | ExportNamedDeclaration | ExportNamespaceSpecifier | ExportSpecifier | Expression | ExpressionStatement | ExpressionWrapper | File | Flow | FlowBaseAnnotation | FlowDeclaration | FlowPredicate | FlowType | For | ForInStatement | ForOfStatement | ForStatement | ForXStatement | Function | FunctionDeclaration | FunctionExpression | FunctionParent | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | Identifier | IfStatement | Immutable | Import | ImportAttribute | ImportDeclaration | ImportDefaultSpecifier | ImportExpression | ImportNamespaceSpecifier | ImportOrExportDeclaration | ImportSpecifier | IndexedAccessType | InferredPredicate | InterfaceDeclaration | InterfaceExtends | InterfaceTypeAnnotation | InterpreterDirective | IntersectionTypeAnnotation | JSX | JSXAttribute | JSXClosingElement | JSXClosingFragment | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXFragment | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXOpeningFragment | JSXSpreadAttribute | JSXSpreadChild | JSXText | LVal | LabeledStatement | Literal | LogicalExpression | Loop | Marko | MarkoAttribute | MarkoCDATA | MarkoClass | MarkoComment | MarkoDeclaration | MarkoDocumentType | MarkoParseError | MarkoPlaceholder | MarkoScriptlet | MarkoSpreadAttribute | MarkoTag | MarkoTagBody | MarkoText | MemberExpression | MetaProperty | Method | Miscellaneous | MixedTypeAnnotation | ModuleDeclaration | ModuleExpression | ModuleSpecifier | NewExpression | Noop | NullLiteral | NullLiteralTypeAnnotation | NullableTypeAnnotation | NumberLiteral | NumberLiteralTypeAnnotation | NumberTypeAnnotation | NumericLiteral | ObjectExpression | ObjectMember | ObjectMethod | ObjectPattern | ObjectProperty | ObjectTypeAnnotation | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeInternalSlot | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | OptionalCallExpression | OptionalIndexedAccessType | OptionalMemberExpression | ParenthesizedExpression | Pattern | PatternLike | PipelineBareFunction | PipelinePrimaryTopicReference | PipelineTopicExpression | Placeholder | Private | PrivateName | Program | Property | Pureish | QualifiedTypeIdentifier | RecordExpression | RegExpLiteral | RegexLiteral | RestElement | RestProperty | ReturnStatement | Scopable | Scope | SequenceExpression | SpreadElement | SpreadProperty | Standardized | Statement | StaticBlock | StringLiteral | StringLiteralTypeAnnotation | StringTypeAnnotation | Super | SwitchCase | SwitchStatement | SymbolTypeAnnotation | TSAnyKeyword | TSArrayType | TSAsExpression | TSBaseType | TSBigIntKeyword | TSBooleanKeyword | TSCallSignatureDeclaration | TSConditionalType | TSConstructSignatureDeclaration | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSEntityName | TSEnumBody | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExpressionWithTypeArguments | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSImportType | TSIndexSignature | TSIndexedAccessType | TSInferType | TSInstantiationExpression | TSInterfaceBody | TSInterfaceDeclaration | TSIntersectionType | TSIntrinsicKeyword | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamedTupleMember | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSOptionalType | TSParameterProperty | TSParenthesizedType | TSPropertySignature | TSQualifiedName | TSRestType | TSSatisfiesExpression | TSStringKeyword | TSSymbolKeyword | TSTemplateLiteralType | TSThisType | TSTupleType | TSType | TSTypeAliasDeclaration | TSTypeAnnotation | TSTypeAssertion | TSTypeElement | TSTypeLiteral | TSTypeOperator | TSTypeParameter | TSTypeParameterDeclaration | TSTypeParameterInstantiation | TSTypePredicate | TSTypeQuery | TSTypeReference | TSUndefinedKeyword | TSUnionType | TSUnknownKeyword | TSVoidKeyword | TaggedTemplateExpression | TemplateElement | TemplateLiteral | Terminatorless | ThisExpression | ThisTypeAnnotation | ThrowStatement | TopicReference | TryStatement | TupleExpression | TupleTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | TypeScript | TypeofTypeAnnotation | UnaryExpression | UnaryLike | UnionTypeAnnotation | UpdateExpression | UserWhitespacable | V8IntrinsicIdentifier | VariableDeclaration | VariableDeclarator | Variance | VoidTypeAnnotation | While | WhileStatement | WithStatement | YieldExpression;
 
 export interface ArrayExpression extends BaseNode {
   type: "ArrayExpression";
@@ -665,6 +665,7 @@ export interface ClassPrivateProperty extends BaseNode {
   decorators: Array<Decorator> | null;
   static: boolean;
   definite: boolean | null;
+  optional: boolean | null;
   readonly: boolean | null;
   typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
   variance: Variance | null;
@@ -700,6 +701,12 @@ export interface StaticBlock extends BaseNode {
   body: Array<Statement>;
 }
 
+export interface ImportAttribute extends BaseNode {
+  type: "ImportAttribute";
+  key: Identifier | StringLiteral;
+  value: StringLiteral;
+}
+
 export interface AnyTypeAnnotation extends BaseNode {
   type: "AnyTypeAnnotation";
 }
@@ -1150,7 +1157,8 @@ export interface JSXOpeningElement extends BaseNode {
   name: JSXIdentifier | JSXMemberExpression | JSXNamespacedName;
   attributes: Array<JSXAttribute | JSXSpreadAttribute>;
   selfClosing: boolean;
-  typeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
+  typeArguments: TypeParameterInstantiation | null;
+  typeParameters: TSTypeParameterInstantiation | null;
 }
 
 export interface JSXSpreadAttribute extends BaseNode {
@@ -1206,12 +1214,6 @@ export interface BindExpression extends BaseNode {
   callee: Expression;
 }
 
-export interface ImportAttribute extends BaseNode {
-  type: "ImportAttribute";
-  key: Identifier | StringLiteral;
-  value: StringLiteral;
-}
-
 export interface Decorator extends BaseNode {
   type: "Decorator";
   expression: Expression;
@@ -1330,7 +1332,7 @@ export interface TSPropertySignature extends BaseNode {
   key: Expression;
   typeAnnotation: TSTypeAnnotation | null;
   computed: boolean;
-  kind: "get" | "set";
+  kind: "get" | "set" | null;
   optional: boolean | null;
   readonly: boolean | null;
 }
@@ -1525,6 +1527,12 @@ export interface TSMappedType extends BaseNode {
   readonly: true | false | "+" | "-" | null;
 }
 
+export interface TSTemplateLiteralType extends BaseNode {
+  type: "TSTemplateLiteralType";
+  quasis: Array<TemplateElement>;
+  types: Array<TSType>;
+}
+
 export interface TSLiteralType extends BaseNode {
   type: "TSLiteralType";
   literal: NumericLiteral | StringLiteral | BooleanLiteral | BigIntLiteral | TemplateLiteral | UnaryExpression;
@@ -1582,10 +1590,16 @@ export interface TSTypeAssertion extends BaseNode {
   expression: Expression;
 }
 
+export interface TSEnumBody extends BaseNode {
+  type: "TSEnumBody";
+  members: Array<TSEnumMember>;
+}
+
 export interface TSEnumDeclaration extends BaseNode {
   type: "TSEnumDeclaration";
   id: Identifier;
   members: Array<TSEnumMember>;
+  body: TSEnumBody | null;
   const: boolean | null;
   declare: boolean | null;
   initializer: Expression | null;
@@ -1777,7 +1791,7 @@ export type RestProperty = RestElement;
  */
 export type SpreadProperty = SpreadElement;
 
-export type Standardized = ArrayExpression | AssignmentExpression | BinaryExpression | InterpreterDirective | Directive | DirectiveLiteral | BlockStatement | BreakStatement | CallExpression | CatchClause | ConditionalExpression | ContinueStatement | DebuggerStatement | DoWhileStatement | EmptyStatement | ExpressionStatement | File | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Identifier | IfStatement | LabeledStatement | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | Program | ObjectExpression | ObjectMethod | ObjectProperty | RestElement | ReturnStatement | SequenceExpression | ParenthesizedExpression | SwitchCase | SwitchStatement | ThisExpression | ThrowStatement | TryStatement | UnaryExpression | UpdateExpression | VariableDeclaration | VariableDeclarator | WhileStatement | WithStatement | AssignmentPattern | ArrayPattern | ArrowFunctionExpression | ClassBody | ClassExpression | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ExportSpecifier | ForOfStatement | ImportDeclaration | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier | ImportExpression | MetaProperty | ClassMethod | ObjectPattern | SpreadElement | Super | TaggedTemplateExpression | TemplateElement | TemplateLiteral | YieldExpression | AwaitExpression | Import | BigIntLiteral | ExportNamespaceSpecifier | OptionalMemberExpression | OptionalCallExpression | ClassProperty | ClassAccessorProperty | ClassPrivateProperty | ClassPrivateMethod | PrivateName | StaticBlock;
+export type Standardized = ArrayExpression | AssignmentExpression | BinaryExpression | InterpreterDirective | Directive | DirectiveLiteral | BlockStatement | BreakStatement | CallExpression | CatchClause | ConditionalExpression | ContinueStatement | DebuggerStatement | DoWhileStatement | EmptyStatement | ExpressionStatement | File | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Identifier | IfStatement | LabeledStatement | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | Program | ObjectExpression | ObjectMethod | ObjectProperty | RestElement | ReturnStatement | SequenceExpression | ParenthesizedExpression | SwitchCase | SwitchStatement | ThisExpression | ThrowStatement | TryStatement | UnaryExpression | UpdateExpression | VariableDeclaration | VariableDeclarator | WhileStatement | WithStatement | AssignmentPattern | ArrayPattern | ArrowFunctionExpression | ClassBody | ClassExpression | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ExportSpecifier | ForOfStatement | ImportDeclaration | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier | ImportExpression | MetaProperty | ClassMethod | ObjectPattern | SpreadElement | Super | TaggedTemplateExpression | TemplateElement | TemplateLiteral | YieldExpression | AwaitExpression | Import | BigIntLiteral | ExportNamespaceSpecifier | OptionalMemberExpression | OptionalCallExpression | ClassProperty | ClassAccessorProperty | ClassPrivateProperty | ClassPrivateMethod | PrivateName | StaticBlock | ImportAttribute;
 export type Expression = ArrayExpression | AssignmentExpression | BinaryExpression | CallExpression | ConditionalExpression | FunctionExpression | Identifier | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | ObjectExpression | SequenceExpression | ParenthesizedExpression | ThisExpression | UnaryExpression | UpdateExpression | ArrowFunctionExpression | ClassExpression | ImportExpression | MetaProperty | Super | TaggedTemplateExpression | TemplateLiteral | YieldExpression | AwaitExpression | Import | BigIntLiteral | OptionalMemberExpression | OptionalCallExpression | TypeCastExpression | JSXElement | JSXFragment | BindExpression | DoExpression | RecordExpression | TupleExpression | DecimalLiteral | ModuleExpression | TopicReference | PipelineTopicExpression | PipelineBareFunction | PipelinePrimaryTopicReference | TSInstantiationExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression | MarkoParseError;
 export type Binary = BinaryExpression | LogicalExpression;
 export type Scopable = BlockStatement | CatchClause | DoWhileStatement | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Program | ObjectMethod | SwitchStatement | WhileStatement | ArrowFunctionExpression | ClassExpression | ClassDeclaration | ForOfStatement | ClassMethod | ClassPrivateMethod | StaticBlock | TSModuleBlock;
@@ -1795,7 +1809,7 @@ export type ForXStatement = ForInStatement | ForOfStatement;
 export type Function = FunctionDeclaration | FunctionExpression | ObjectMethod | ArrowFunctionExpression | ClassMethod | ClassPrivateMethod;
 export type FunctionParent = FunctionDeclaration | FunctionExpression | ObjectMethod | ArrowFunctionExpression | ClassMethod | ClassPrivateMethod | StaticBlock | TSModuleBlock;
 export type Pureish = FunctionDeclaration | FunctionExpression | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | ArrowFunctionExpression | BigIntLiteral | DecimalLiteral;
-export type Declaration = FunctionDeclaration | VariableDeclaration | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ImportDeclaration | DeclareClass | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareTypeAlias | DeclareOpaqueType | DeclareVariable | DeclareExportDeclaration | DeclareExportAllDeclaration | InterfaceDeclaration | OpaqueType | TypeAlias | EnumDeclaration | TSDeclareFunction | TSInterfaceDeclaration | TSTypeAliasDeclaration | TSEnumDeclaration | TSModuleDeclaration;
+export type Declaration = FunctionDeclaration | VariableDeclaration | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ImportDeclaration | DeclareClass | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareTypeAlias | DeclareOpaqueType | DeclareVariable | DeclareExportDeclaration | DeclareExportAllDeclaration | InterfaceDeclaration | OpaqueType | TypeAlias | EnumDeclaration | TSDeclareFunction | TSInterfaceDeclaration | TSTypeAliasDeclaration | TSEnumDeclaration | TSModuleDeclaration | TSImportEqualsDeclaration;
 export type PatternLike = Identifier | RestElement | AssignmentPattern | ArrayPattern | ObjectPattern | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
 export type LVal = Identifier | MemberExpression | RestElement | AssignmentPattern | ArrayPattern | ObjectPattern | TSParameterProperty | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
 export type TSEntityName = Identifier | TSQualifiedName;
@@ -1822,10 +1836,10 @@ export type EnumBody = EnumBooleanBody | EnumNumberBody | EnumStringBody | EnumS
 export type EnumMember = EnumBooleanMember | EnumNumberMember | EnumStringMember | EnumDefaultedMember;
 export type JSX = JSXAttribute | JSXClosingElement | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXSpreadChild | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXSpreadAttribute | JSXText | JSXFragment | JSXOpeningFragment | JSXClosingFragment;
 export type Miscellaneous = Noop | Placeholder | V8IntrinsicIdentifier;
-export type TypeScript = TSParameterProperty | TSDeclareFunction | TSDeclareMethod | TSQualifiedName | TSCallSignatureDeclaration | TSConstructSignatureDeclaration | TSPropertySignature | TSMethodSignature | TSIndexSignature | TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSFunctionType | TSConstructorType | TSTypeReference | TSTypePredicate | TSTypeQuery | TSTypeLiteral | TSArrayType | TSTupleType | TSOptionalType | TSRestType | TSNamedTupleMember | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSParenthesizedType | TSTypeOperator | TSIndexedAccessType | TSMappedType | TSLiteralType | TSExpressionWithTypeArguments | TSInterfaceDeclaration | TSInterfaceBody | TSTypeAliasDeclaration | TSInstantiationExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSEnumDeclaration | TSEnumMember | TSModuleDeclaration | TSModuleBlock | TSImportType | TSImportEqualsDeclaration | TSExternalModuleReference | TSNonNullExpression | TSExportAssignment | TSNamespaceExportDeclaration | TSTypeAnnotation | TSTypeParameterInstantiation | TSTypeParameterDeclaration | TSTypeParameter;
+export type TypeScript = TSParameterProperty | TSDeclareFunction | TSDeclareMethod | TSQualifiedName | TSCallSignatureDeclaration | TSConstructSignatureDeclaration | TSPropertySignature | TSMethodSignature | TSIndexSignature | TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSFunctionType | TSConstructorType | TSTypeReference | TSTypePredicate | TSTypeQuery | TSTypeLiteral | TSArrayType | TSTupleType | TSOptionalType | TSRestType | TSNamedTupleMember | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSParenthesizedType | TSTypeOperator | TSIndexedAccessType | TSMappedType | TSTemplateLiteralType | TSLiteralType | TSExpressionWithTypeArguments | TSInterfaceDeclaration | TSInterfaceBody | TSTypeAliasDeclaration | TSInstantiationExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSEnumBody | TSEnumDeclaration | TSEnumMember | TSModuleDeclaration | TSModuleBlock | TSImportType | TSImportEqualsDeclaration | TSExternalModuleReference | TSNonNullExpression | TSExportAssignment | TSNamespaceExportDeclaration | TSTypeAnnotation | TSTypeParameterInstantiation | TSTypeParameterDeclaration | TSTypeParameter;
 export type TSTypeElement = TSCallSignatureDeclaration | TSConstructSignatureDeclaration | TSPropertySignature | TSMethodSignature | TSIndexSignature;
-export type TSType = TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSFunctionType | TSConstructorType | TSTypeReference | TSTypePredicate | TSTypeQuery | TSTypeLiteral | TSArrayType | TSTupleType | TSOptionalType | TSRestType | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSParenthesizedType | TSTypeOperator | TSIndexedAccessType | TSMappedType | TSLiteralType | TSExpressionWithTypeArguments | TSImportType;
-export type TSBaseType = TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSLiteralType;
+export type TSType = TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSFunctionType | TSConstructorType | TSTypeReference | TSTypePredicate | TSTypeQuery | TSTypeLiteral | TSArrayType | TSTupleType | TSOptionalType | TSRestType | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSParenthesizedType | TSTypeOperator | TSIndexedAccessType | TSMappedType | TSTemplateLiteralType | TSLiteralType | TSExpressionWithTypeArguments | TSImportType;
+export type TSBaseType = TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSTemplateLiteralType | TSLiteralType;
 export type ModuleDeclaration = ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ImportDeclaration;
 export type Marko = MarkoParseError | MarkoDocumentType | MarkoDeclaration | MarkoCDATA | MarkoComment | MarkoText | MarkoPlaceholder | MarkoScriptlet | MarkoClass | MarkoAttribute | MarkoSpreadAttribute | MarkoTagBody | MarkoTag;
 export type Scope = MarkoTagBody;
@@ -1975,6 +1989,7 @@ export function classPrivateProperty(key: PrivateName, value?: Expression | null
 export function classPrivateMethod(kind: "get" | "set" | "method" | undefined, key: PrivateName, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, body: BlockStatement, _static?: boolean): ClassPrivateMethod;
 export function privateName(id: Identifier): PrivateName;
 export function staticBlock(body: Array<Statement>): StaticBlock;
+export function importAttribute(key: Identifier | StringLiteral, value: StringLiteral): ImportAttribute;
 export function anyTypeAnnotation(): AnyTypeAnnotation;
 export function arrayTypeAnnotation(elementType: FlowType): ArrayTypeAnnotation;
 export function booleanTypeAnnotation(): BooleanTypeAnnotation;
@@ -2060,7 +2075,6 @@ export function placeholder(expectedNode: "Identifier" | "StringLiteral" | "Expr
 export function v8IntrinsicIdentifier(name: string): V8IntrinsicIdentifier;
 export function argumentPlaceholder(): ArgumentPlaceholder;
 export function bindExpression(object: Expression, callee: Expression): BindExpression;
-export function importAttribute(key: Identifier | StringLiteral, value: StringLiteral): ImportAttribute;
 export function decorator(expression: Expression): Decorator;
 export function doExpression(body: BlockStatement, async?: boolean): DoExpression;
 export function exportDefaultSpecifier(exported: Identifier): ExportDefaultSpecifier;
@@ -2114,6 +2128,7 @@ export function tsParenthesizedType(typeAnnotation: TSType): TSParenthesizedType
 export function tsTypeOperator(typeAnnotation: TSType): TSTypeOperator;
 export function tsIndexedAccessType(objectType: TSType, indexType: TSType): TSIndexedAccessType;
 export function tsMappedType(typeParameter: TSTypeParameter, typeAnnotation?: TSType | null, nameType?: TSType | null): TSMappedType;
+export function tsTemplateLiteralType(quasis: Array<TemplateElement>, types: Array<TSType>): TSTemplateLiteralType;
 export function tsLiteralType(literal: NumericLiteral | StringLiteral | BooleanLiteral | BigIntLiteral | TemplateLiteral | UnaryExpression): TSLiteralType;
 export function tsExpressionWithTypeArguments(expression: TSEntityName, typeParameters?: TSTypeParameterInstantiation | null): TSExpressionWithTypeArguments;
 export function tsInterfaceDeclaration(id: Identifier, typeParameters: TSTypeParameterDeclaration | null | undefined, _extends: Array<TSExpressionWithTypeArguments> | null | undefined, body: TSInterfaceBody): TSInterfaceDeclaration;
@@ -2123,6 +2138,7 @@ export function tsInstantiationExpression(expression: Expression, typeParameters
 export function tsAsExpression(expression: Expression, typeAnnotation: TSType): TSAsExpression;
 export function tsSatisfiesExpression(expression: Expression, typeAnnotation: TSType): TSSatisfiesExpression;
 export function tsTypeAssertion(typeAnnotation: TSType, expression: Expression): TSTypeAssertion;
+export function tsEnumBody(members: Array<TSEnumMember>): TSEnumBody;
 export function tsEnumDeclaration(id: Identifier, members: Array<TSEnumMember>): TSEnumDeclaration;
 export function tsEnumMember(id: Identifier | StringLiteral, initializer?: Expression | null): TSEnumMember;
 export function tsModuleDeclaration(id: Identifier | StringLiteral, body: TSModuleBlock | TSModuleDeclaration): TSModuleDeclaration;
@@ -2618,6 +2634,8 @@ export function isTSDeclareMethod(node: object | null | undefined, opts?: object
 export function assertTSDeclareMethod(node: object | null | undefined, opts?: object | null): void;
 export function isTSEntityName(node: object | null | undefined, opts?: object | null): node is TSEntityName;
 export function assertTSEntityName(node: object | null | undefined, opts?: object | null): void;
+export function isTSEnumBody(node: object | null | undefined, opts?: object | null): node is TSEnumBody;
+export function assertTSEnumBody(node: object | null | undefined, opts?: object | null): void;
 export function isTSEnumDeclaration(node: object | null | undefined, opts?: object | null): node is TSEnumDeclaration;
 export function assertTSEnumDeclaration(node: object | null | undefined, opts?: object | null): void;
 export function isTSEnumMember(node: object | null | undefined, opts?: object | null): node is TSEnumMember;
@@ -2692,6 +2710,8 @@ export function isTSStringKeyword(node: object | null | undefined, opts?: object
 export function assertTSStringKeyword(node: object | null | undefined, opts?: object | null): void;
 export function isTSSymbolKeyword(node: object | null | undefined, opts?: object | null): node is TSSymbolKeyword;
 export function assertTSSymbolKeyword(node: object | null | undefined, opts?: object | null): void;
+export function isTSTemplateLiteralType(node: object | null | undefined, opts?: object | null): node is TSTemplateLiteralType;
+export function assertTSTemplateLiteralType(node: object | null | undefined, opts?: object | null): void;
 export function isTSThisType(node: object | null | undefined, opts?: object | null): node is TSThisType;
 export function assertTSThisType(node: object | null | undefined, opts?: object | null): void;
 export function isTSTupleType(node: object | null | undefined, opts?: object | null): node is TSTupleType;

package/index.d.ts

@@ -69,6 +69,9 @@ export function getRuntimeEntryFiles(
   translator?: string | undefined,
 ): string[];
 
+export function getFile(): types.BabelFile;
+export function getProgram(): types.NodePath<types.Program>;
+
 export namespace taglib {
   export function resolveOptionalTaglibs(
     taglibIds: string[],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@marko/compiler",
-  "version": "5.39.13",
+  "version": "5.39.15",
   "description": "Marko template to JS compiler.",
   "keywords": [
     "babel",
@@ -63,19 +63,19 @@
   },
   "dependencies": {
     "@babel/code-frame": "^7.26.2",
-    "@babel/core": "^7.26.0",
-    "@babel/generator": "^7.26.3",
-    "@babel/parser": "^7.26.3",
+    "@babel/core": "^7.26.10",
+    "@babel/generator": "^7.27.0",
+    "@babel/parser": "^7.27.0",
     "@babel/plugin-syntax-typescript": "^7.25.9",
     "@babel/plugin-transform-modules-commonjs": "^7.26.3",
-    "@babel/plugin-transform-typescript": "^7.26.3",
-    "@babel/runtime": "^7.26.0",
-    "@babel/traverse": "^7.26.4",
-    "@babel/types": "^7.26.3",
-    "@luxass/strip-json-comments": "^1.3.2",
+    "@babel/plugin-transform-typescript": "^7.27.0",
+    "@babel/runtime": "^7.27.0",
+    "@babel/traverse": "^7.27.0",
+    "@babel/types": "^7.27.0",
+    "@luxass/strip-json-comments": "^1.4.0",
     "complain": "^1.6.1",
     "he": "^1.2.0",
-    "htmljs-parser": "^5.5.3",
+    "htmljs-parser": "^5.5.4",
     "jsesc": "^3.1.0",
     "kleur": "^4.1.5",
     "lasso-package-root": "^1.0.1",
@@ -87,7 +87,7 @@
     "source-map-support": "^0.5.21"
   },
   "devDependencies": {
-    "marko": "^5.37.20"
+    "marko": "^5.37.24"
   },
   "engines": {
     "node": "18 || 20 || >=22"