luaut-parser 1.2.0 → 2.1.0

package/dist/index.d.cts

@@ -135,7 +135,7 @@ interface ExportAllStatement extends BaseNode {
     type: "ExportAllStatement";
     source: StringLiteral;
 }
-type Statement = VariableDeclaration | FunctionDeclaration | FunctionDeclarationStatement | AssignmentStatement | CompoundAssignmentStatement | CallStatement | DoStatement | WhileStatement | RepeatStatement | IfStatement | NumericForStatement | GenericForStatement | ReturnStatement | BreakStatement | ContinueStatement | TypeAliasStatement | ExportTypeAliasStatement | ImportStatement | ExportStatement | ExportDefaultStatement | ExportNamedStatement | ExportAllStatement | DeclareStatement | ErrorStatement;
+type Statement = VariableDeclaration | FunctionDeclaration | FunctionDeclarationStatement | AssignmentStatement | CompoundAssignmentStatement | CallStatement | DoStatement | WhileStatement | RepeatStatement | IfStatement | NumericForStatement | GenericForStatement | ReturnStatement | BreakStatement | ContinueStatement | TypeAliasStatement | ExportTypeAliasStatement | ImportStatement | ExportStatement | ExportDefaultStatement | ExportNamedStatement | ExportAllStatement | DeclareStatement | DeclareClassStatement | ErrorStatement;
 /** `declare game: DataModel` / `declare function require(m: string): unknown`
  *  — an ambient value/function declaration for a definitions file (`.d.luaut`).
  *  Contributes a global type; emits no runtime code. */
@@ -147,6 +147,18 @@ interface DeclareStatement extends BaseNode {
     /** the declared value's type (function form is lowered to a FunctionTypeNode) */
     valueType: TypeNode;
 }
+/** `declare class Part extends BasePart { Shape: EnumItem }` — a *nominal*
+ *  type for a definitions file, the way Roblox's own classes are: a `Part` is
+ *  an `Instance` because it extends one, not because it has the same members,
+ *  and no table literal is ever a `Part`. The body lists the members the class
+ *  adds; it inherits the rest. Declares a type only, no value. */
+interface DeclareClassStatement extends BaseNode {
+    type: "DeclareClassStatement";
+    name: Identifier;
+    /** `extends Base` — another class. */
+    superclass?: TypeReference;
+    body: TableTypeNode;
+}
 /** A statement position that could not be parsed. Only produced when parsing
  *  in recovery mode (`parseWithRecovery`); its span covers the skipped tokens
  *  so tools can still map a cursor there. */
@@ -858,7 +870,26 @@ interface ObjectType {
     /** The alias this object was resolved from — display only, ignored by
      *  `isAssignable` (the type is structural). Dropped on `widen`/`substitute`. */
     name?: string;
+    /** Set on a `declare class` — the type is then *nominal*. See `ClassInfo`. */
+    class?: ClassInfo;
+}
+/** What makes an object a class instance. `properties` then holds every
+ *  member, inherited ones included. Only the class itself and the classes
+ *  extending it are assignable to it — no table literal, no structurally
+ *  identical class. Going the other way, a class satisfies a shape naming
+ *  members it has (`{ Name: string }`) but is not a table: never a
+ *  `{ [K]: V }` or `{}`, which is what keeps `typeof(part)` from matching the
+ *  `{ [unknown]: unknown }` overload. */
+interface ClassInfo {
+    name: string;
+    /** The class it directly extends, if any. */
+    superclass?: string;
+    /** The class itself, then each class it extends, nearest first. */
+    ancestors: readonly string[];
 }
+declare function isClassType(t: Type): t is ObjectType & {
+    class: ClassInfo;
+};
 interface FunctionParam {
     name?: string;
     type: Type;
@@ -1065,7 +1096,9 @@ declare function overlaps(a: Type, b: Type): boolean;
 declare function formatType(t: Type): string;
 
 interface TypeDiagnostic {
-    node: Expression | Statement;
+    /** Usually an expression or statement; a type where the type is wrong
+     *  (`declare class A extends NotAClass`). */
+    node: Expression | Statement | TypeNode;
     message: string;
 }
 interface TypeAnalysis {
@@ -1117,7 +1150,8 @@ interface AnalyzeTypesOptions {
     libTypes?: Record<string, Type>;
     /** Parsed definitions files (`.d.luaut`): their `type` aliases become
      *  available to annotations and their `declare` statements seed global
-     *  types. See `robloxLib`. */
+     *  types. A project lists them under `types` in `luaut.config.json`; see
+     *  `resolveTypeLibraries`. */
     libs?: readonly Program[];
     /** Resolve an `import`'s module path to what that module exports. Called
      *  once per distinct path. Return `undefined` when there is no such module:
@@ -1134,29 +1168,97 @@ declare function moduleExports(program: Program, scopes: ScopeAnalysis, types: T
 /** For `export ... from`: the same resolver the module was analyzed with. */
 resolveModule?: (specifier: string) => ModuleExports | undefined): ModuleExports;
 
-/** Absolute path to the shipped `luau.d.luaut`. */
-declare const luauDefsPath: string;
-/** Raw source of the core definitions. */
-declare const luauDefs: string;
-/** Parsed core Luau definitions. */
-declare const luauLib: Program;
+interface ProjectHost {
+    /** A file's text, or `undefined` when there is no such file. */
+    readFile(path: string): string | undefined;
+}
+declare const nodeHost: ProjectHost;
 
-/** Absolute path to the shipped `roblox.d.luaut`. */
-declare const robloxDefsPath: string;
-/** Raw source of the baseline definitions. */
-declare const robloxDefs: string;
-/** Parsed baseline definitions — pass as `analyzeTypes(..., { libs: [robloxLib] })`. */
-declare const robloxLib: Program;
+declare const CONFIG_FILE_NAMES: readonly ["luaut.config.json", "luaut.config.jsonc"];
+interface LuautConfig {
+    /** Absolute path of the config file. */
+    readonly path: string;
+    /** The folder it sits in. Relative paths in it resolve from here. */
+    readonly directory: string;
+    /** The config file's text, for locating problems in it. */
+    readonly source: string;
+    /** Type libraries to load, in order: `"luau"`, `"@luaut/roblox"`, `"./types"`. */
+    readonly types: readonly string[];
+    /** Import path aliases, as in tsconfig: `{ "@shared/*": ["src/shared/*"] }`. */
+    readonly paths: Readonly<Record<string, readonly string[]>>;
+    /** Where `paths` targets resolve from, absolute. The config's folder unless set. */
+    readonly baseUrl: string;
+    /** Absolute path of a Rojo sourcemap, or `null` for none. */
+    readonly sourceMap: string | null;
+}
+interface ConfigProblem {
+    /** The file the problem is about: a config file, or a sourcemap it names. */
+    readonly file: string;
+    readonly message: string;
+    /** 1-based position in `file`, when the problem has one. */
+    readonly line?: number;
+    readonly column?: number;
+}
+interface ConfigLookup {
+    /** The config that applies, if one was found and could be read. */
+    readonly config?: LuautConfig;
+    readonly problems: readonly ConfigProblem[];
+    /** Every config path looked at on the way up, found or not — what a cache
+     *  must watch, so that creating or deleting a config is noticed. */
+    readonly searched: readonly string[];
+}
+/** The config that applies to `file`: the nearest one in its folder or above. */
+declare function findConfig(file: string, host?: ProjectHost): ConfigLookup;
+/** Read and check one config file. Problems do not stop the rest of it from
+ *  applying: an unknown option is reported and the known ones still work. */
+declare function loadConfig(path: string, host?: ProjectHost): {
+    config?: LuautConfig;
+    problems: ConfigProblem[];
+};
+/** Blank out `//` and `/* *\/` comments and trailing commas, keeping every
+ *  other character where it was — so a JSON error's position still points
+ *  into the original text. */
+declare function stripJsonComments(text: string): string;
 
-/** Core Luau plus the Roblox baseline, in the order `analyzeTypes` expects.
- *
- *  The analyzer has no built-in knowledge of `type` / `typeof` — they are
- *  ordinary overload sets declared in these files, and narrowing is derived
- *  from them. Pass this (or your own list) or those built-ins narrow nothing:
- *
- *      analyzeTypes(program, scopes, { libs: defaultLibs })
- */
-declare const defaultLibs: readonly Program[];
+interface TypeLibraries {
+    /** Definitions files, dependencies before what depends on them. */
+    readonly files: readonly string[];
+    readonly problems: readonly ConfigProblem[];
+}
+declare function resolveTypeLibraries(config: LuautConfig, host?: ProjectHost): TypeLibraries;
+
+/** Every file `specifier` could mean from `fromFile`, in the order they are
+ *  tried. A resolver that caches should watch all of them: creating an earlier
+ *  candidate changes what the import means. */
+declare function moduleCandidates(fromFile: string, specifier: string, config?: LuautConfig): string[];
+/** The file `specifier` names from `fromFile`, if it exists. */
+declare function resolveModulePath(fromFile: string, specifier: string, config?: LuautConfig, host?: ProjectHost): string | undefined;
+
+interface SourceMapNode {
+    name: string;
+    className: string;
+    filePaths?: string[];
+    children?: SourceMapNode[];
+}
+interface SourceMapOptions {
+    /** The type names the loaded libraries define. An instance of a class not
+     *  among them is typed as `Instance`. */
+    readonly classes: ReadonlySet<string>;
+    /** A class's own member names. A child whose name a member already takes
+     *  is left out — Roblox resolves the member first. Defaults to the members
+     *  every instance has. */
+    readonly membersOf?: (className: string) => ReadonlySet<string>;
+}
+interface SourceMapTypes {
+    /** The tree's classes, and `game` / `workspace` for a place. */
+    readonly program: Program;
+    /** `declare script: ...` for a file the tree maps, or `undefined`. */
+    scriptFor(file: string): Program | undefined;
+}
+declare function sourceMapTypes(text: string, path: string, options: SourceMapOptions): {
+    types?: SourceMapTypes;
+    problem?: string;
+};
 
 declare const luautparser: {
     readonly tokenize: typeof tokenize;
@@ -1171,4 +1273,4 @@ declare const luautparser: {
     readonly analyzeTypes: typeof analyzeTypes;
 };
 
-export { type AnalyzeTypesOptions, type AnyType, type ArrayExpression, type ArrayPattern, type ArrayPatternElement, type ArrayType, type ArrayTypeNode, type AsConstExpression, type AssignmentStatement, type BaseNode, type BaseToken, type BinaryExpression, BinaryOperators, type Binding, type BindingId, type BindingKind, type BindingTarget, type Block, type BooleanLiteral, type BreakStatement, type CallExpression, type CallStatement, type CompoundAssignmentStatement, type ConditionalType, type ConditionalTypeNode, type ContinueStatement, type DeclareStatement, type DifferenceType, type DifferenceTypeNode, type DoStatement, type EOFToken, type ErrorStatement, type ExportAllStatement, type ExportDefaultStatement, type ExportNamedStatement, type ExportSpecifier, type ExportStatement, type ExportTypeAliasStatement, type ExportedType, type Expression, type FunctionBody, type FunctionDeclaration, type FunctionDeclarationStatement, type FunctionExpression, type FunctionName, type FunctionParam, type FunctionParameter, type FunctionSignature, type FunctionType, type FunctionTypeNode, type FunctionTypeParameter, type GenericForStatement, type GenericRefType, type GenericTypeParameter, type Identifier, type IdentifierPattern, type IdentifierToken, type IfClause, type IfElseExpression, type IfStatement, type ImportSpecifier, type ImportStatement, type IndexExpression, type IndexedAccessType, type IndexedAccessTypeNode, type InferType, type InferTypeNode, type InterpolatedStringExpression, type InterpolatedStringPart, type InterpolatedStringPart_Expression, type InterpolatedStringPart_String, type InterpolatedStringToken, type IntersectionType, type IntersectionTypeNode, type KeyofType, type KeyofTypeNode, type KeywordToken, Keywords, LexError, type LiteralToken, type LiteralType, type MappedType, type MappedTypeNode, type MemberExpression, type MethodCallExpression, type ModuleExports, type NeverType, type NilLiteral, type Node, type NumberLiteral, type NumericForStatement, type ObjectPattern, type ObjectPatternProperty, type ObjectProperty, type ObjectType, type OperatorToken, Operators, type ParenthesizedExpression, type ParenthesizedTypeNode, ParseError, type ParserOptions, type PrimitiveName, type PrimitiveType, type Program, type PunctuatorToken, Punctuators, type RecoverResult, type RepeatStatement, type ReturnStatement, type SatisfiesExpression, type ScopeAnalysis, type ScopeDiagnostic, type SpreadElement, type Statement, type StringLiteral, type TableExpression, type TableField, type TableTypeNode, type TableTypeProperty, type TemplateLiteralType, type TemplateLiteralTypeNode, type Token, type TupleType, type TupleTypeNode, type Type, type TypeAliasStatement, type TypeAnalysis, type TypeAssertionExpression, type TypeDiagnostic, type TypeLiteralBoolean, type TypeLiteralNumber, type TypeLiteralString, type TypeNode, type TypePackNode, type TypeParamType, type TypePredicate, type TypePredicateNode, type TypeReference, type TypedIdentifier, type TypeofTypeNode, type UnaryExpression, UnaryOperators, type UnionType, type UnionTypeNode, type UnknownType, type VarargExpression, type VariableDeclaration, type VariadicTypeNode, type WhileStatement, analyzeScopes, analyzeTypes, anyType, arrayOf, booleanType, bufferType, containsTypeParam, luautparser as default, defaultLibs, difference, equalTypes, falsyType, fn, formatType, getBinding, intersection, isAssignable, isGlobal, isPossiblyFalsy, isPossiblyTruthy, isUnassignedGlobal, literal, luauDefs, luauDefsPath, luauLib, luautparser, matchInfer, moduleExports, narrowExclude, narrowFalsy, narrowTo, narrowTruthy, neverType, nilType, numberType, objectType, optional, overlaps, parse, parseExpressionFromSource, parseTokens, parseWithRecovery, primitive, robloxDefs, robloxDefsPath, robloxLib, setAliasExpander, stringType, substitute, templateMatches, threadType, tokenize, tuple, typeParam, unify, union, unknownType, widen };
+export { type AnalyzeTypesOptions, type AnyType, type ArrayExpression, type ArrayPattern, type ArrayPatternElement, type ArrayType, type ArrayTypeNode, type AsConstExpression, type AssignmentStatement, type BaseNode, type BaseToken, type BinaryExpression, BinaryOperators, type Binding, type BindingId, type BindingKind, type BindingTarget, type Block, type BooleanLiteral, type BreakStatement, CONFIG_FILE_NAMES, type CallExpression, type CallStatement, type ClassInfo, type CompoundAssignmentStatement, type ConditionalType, type ConditionalTypeNode, type ConfigLookup, type ConfigProblem, type ContinueStatement, type DeclareClassStatement, type DeclareStatement, type DifferenceType, type DifferenceTypeNode, type DoStatement, type EOFToken, type ErrorStatement, type ExportAllStatement, type ExportDefaultStatement, type ExportNamedStatement, type ExportSpecifier, type ExportStatement, type ExportTypeAliasStatement, type ExportedType, type Expression, type FunctionBody, type FunctionDeclaration, type FunctionDeclarationStatement, type FunctionExpression, type FunctionName, type FunctionParam, type FunctionParameter, type FunctionSignature, type FunctionType, type FunctionTypeNode, type FunctionTypeParameter, type GenericForStatement, type GenericRefType, type GenericTypeParameter, type Identifier, type IdentifierPattern, type IdentifierToken, type IfClause, type IfElseExpression, type IfStatement, type ImportSpecifier, type ImportStatement, type IndexExpression, type IndexedAccessType, type IndexedAccessTypeNode, type InferType, type InferTypeNode, type InterpolatedStringExpression, type InterpolatedStringPart, type InterpolatedStringPart_Expression, type InterpolatedStringPart_String, type InterpolatedStringToken, type IntersectionType, type IntersectionTypeNode, type KeyofType, type KeyofTypeNode, type KeywordToken, Keywords, LexError, type LiteralToken, type LiteralType, type LuautConfig, type MappedType, type MappedTypeNode, type MemberExpression, type MethodCallExpression, type ModuleExports, type NeverType, type NilLiteral, type Node, type NumberLiteral, type NumericForStatement, type ObjectPattern, type ObjectPatternProperty, type ObjectProperty, type ObjectType, type OperatorToken, Operators, type ParenthesizedExpression, type ParenthesizedTypeNode, ParseError, type ParserOptions, type PrimitiveName, type PrimitiveType, type Program, type ProjectHost, type PunctuatorToken, Punctuators, type RecoverResult, type RepeatStatement, type ReturnStatement, type SatisfiesExpression, type ScopeAnalysis, type ScopeDiagnostic, type SourceMapNode, type SourceMapOptions, type SourceMapTypes, type SpreadElement, type Statement, type StringLiteral, type TableExpression, type TableField, type TableTypeNode, type TableTypeProperty, type TemplateLiteralType, type TemplateLiteralTypeNode, type Token, type TupleType, type TupleTypeNode, type Type, type TypeAliasStatement, type TypeAnalysis, type TypeAssertionExpression, type TypeDiagnostic, type TypeLibraries, type TypeLiteralBoolean, type TypeLiteralNumber, type TypeLiteralString, type TypeNode, type TypePackNode, type TypeParamType, type TypePredicate, type TypePredicateNode, type TypeReference, type TypedIdentifier, type TypeofTypeNode, type UnaryExpression, UnaryOperators, type UnionType, type UnionTypeNode, type UnknownType, type VarargExpression, type VariableDeclaration, type VariadicTypeNode, type WhileStatement, analyzeScopes, analyzeTypes, anyType, arrayOf, booleanType, bufferType, containsTypeParam, luautparser as default, difference, equalTypes, falsyType, findConfig, fn, formatType, getBinding, intersection, isAssignable, isClassType, isGlobal, isPossiblyFalsy, isPossiblyTruthy, isUnassignedGlobal, literal, loadConfig, luautparser, matchInfer, moduleCandidates, moduleExports, narrowExclude, narrowFalsy, narrowTo, narrowTruthy, neverType, nilType, nodeHost, numberType, objectType, optional, overlaps, parse, parseExpressionFromSource, parseTokens, parseWithRecovery, primitive, resolveModulePath, resolveTypeLibraries, setAliasExpander, sourceMapTypes, stringType, stripJsonComments, substitute, templateMatches, threadType, tokenize, tuple, typeParam, unify, union, unknownType, widen };

package/dist/index.d.ts

@@ -135,7 +135,7 @@ interface ExportAllStatement extends BaseNode {
     type: "ExportAllStatement";
     source: StringLiteral;
 }
-type Statement = VariableDeclaration | FunctionDeclaration | FunctionDeclarationStatement | AssignmentStatement | CompoundAssignmentStatement | CallStatement | DoStatement | WhileStatement | RepeatStatement | IfStatement | NumericForStatement | GenericForStatement | ReturnStatement | BreakStatement | ContinueStatement | TypeAliasStatement | ExportTypeAliasStatement | ImportStatement | ExportStatement | ExportDefaultStatement | ExportNamedStatement | ExportAllStatement | DeclareStatement | ErrorStatement;
+type Statement = VariableDeclaration | FunctionDeclaration | FunctionDeclarationStatement | AssignmentStatement | CompoundAssignmentStatement | CallStatement | DoStatement | WhileStatement | RepeatStatement | IfStatement | NumericForStatement | GenericForStatement | ReturnStatement | BreakStatement | ContinueStatement | TypeAliasStatement | ExportTypeAliasStatement | ImportStatement | ExportStatement | ExportDefaultStatement | ExportNamedStatement | ExportAllStatement | DeclareStatement | DeclareClassStatement | ErrorStatement;
 /** `declare game: DataModel` / `declare function require(m: string): unknown`
  *  — an ambient value/function declaration for a definitions file (`.d.luaut`).
  *  Contributes a global type; emits no runtime code. */
@@ -147,6 +147,18 @@ interface DeclareStatement extends BaseNode {
     /** the declared value's type (function form is lowered to a FunctionTypeNode) */
     valueType: TypeNode;
 }
+/** `declare class Part extends BasePart { Shape: EnumItem }` — a *nominal*
+ *  type for a definitions file, the way Roblox's own classes are: a `Part` is
+ *  an `Instance` because it extends one, not because it has the same members,
+ *  and no table literal is ever a `Part`. The body lists the members the class
+ *  adds; it inherits the rest. Declares a type only, no value. */
+interface DeclareClassStatement extends BaseNode {
+    type: "DeclareClassStatement";
+    name: Identifier;
+    /** `extends Base` — another class. */
+    superclass?: TypeReference;
+    body: TableTypeNode;
+}
 /** A statement position that could not be parsed. Only produced when parsing
  *  in recovery mode (`parseWithRecovery`); its span covers the skipped tokens
  *  so tools can still map a cursor there. */
@@ -858,7 +870,26 @@ interface ObjectType {
     /** The alias this object was resolved from — display only, ignored by
      *  `isAssignable` (the type is structural). Dropped on `widen`/`substitute`. */
     name?: string;
+    /** Set on a `declare class` — the type is then *nominal*. See `ClassInfo`. */
+    class?: ClassInfo;
+}
+/** What makes an object a class instance. `properties` then holds every
+ *  member, inherited ones included. Only the class itself and the classes
+ *  extending it are assignable to it — no table literal, no structurally
+ *  identical class. Going the other way, a class satisfies a shape naming
+ *  members it has (`{ Name: string }`) but is not a table: never a
+ *  `{ [K]: V }` or `{}`, which is what keeps `typeof(part)` from matching the
+ *  `{ [unknown]: unknown }` overload. */
+interface ClassInfo {
+    name: string;
+    /** The class it directly extends, if any. */
+    superclass?: string;
+    /** The class itself, then each class it extends, nearest first. */
+    ancestors: readonly string[];
 }
+declare function isClassType(t: Type): t is ObjectType & {
+    class: ClassInfo;
+};
 interface FunctionParam {
     name?: string;
     type: Type;
@@ -1065,7 +1096,9 @@ declare function overlaps(a: Type, b: Type): boolean;
 declare function formatType(t: Type): string;
 
 interface TypeDiagnostic {
-    node: Expression | Statement;
+    /** Usually an expression or statement; a type where the type is wrong
+     *  (`declare class A extends NotAClass`). */
+    node: Expression | Statement | TypeNode;
     message: string;
 }
 interface TypeAnalysis {
@@ -1117,7 +1150,8 @@ interface AnalyzeTypesOptions {
     libTypes?: Record<string, Type>;
     /** Parsed definitions files (`.d.luaut`): their `type` aliases become
      *  available to annotations and their `declare` statements seed global
-     *  types. See `robloxLib`. */
+     *  types. A project lists them under `types` in `luaut.config.json`; see
+     *  `resolveTypeLibraries`. */
     libs?: readonly Program[];
     /** Resolve an `import`'s module path to what that module exports. Called
      *  once per distinct path. Return `undefined` when there is no such module:
@@ -1134,29 +1168,97 @@ declare function moduleExports(program: Program, scopes: ScopeAnalysis, types: T
 /** For `export ... from`: the same resolver the module was analyzed with. */
 resolveModule?: (specifier: string) => ModuleExports | undefined): ModuleExports;
 
-/** Absolute path to the shipped `luau.d.luaut`. */
-declare const luauDefsPath: string;
-/** Raw source of the core definitions. */
-declare const luauDefs: string;
-/** Parsed core Luau definitions. */
-declare const luauLib: Program;
+interface ProjectHost {
+    /** A file's text, or `undefined` when there is no such file. */
+    readFile(path: string): string | undefined;
+}
+declare const nodeHost: ProjectHost;
 
-/** Absolute path to the shipped `roblox.d.luaut`. */
-declare const robloxDefsPath: string;
-/** Raw source of the baseline definitions. */
-declare const robloxDefs: string;
-/** Parsed baseline definitions — pass as `analyzeTypes(..., { libs: [robloxLib] })`. */
-declare const robloxLib: Program;
+declare const CONFIG_FILE_NAMES: readonly ["luaut.config.json", "luaut.config.jsonc"];
+interface LuautConfig {
+    /** Absolute path of the config file. */
+    readonly path: string;
+    /** The folder it sits in. Relative paths in it resolve from here. */
+    readonly directory: string;
+    /** The config file's text, for locating problems in it. */
+    readonly source: string;
+    /** Type libraries to load, in order: `"luau"`, `"@luaut/roblox"`, `"./types"`. */
+    readonly types: readonly string[];
+    /** Import path aliases, as in tsconfig: `{ "@shared/*": ["src/shared/*"] }`. */
+    readonly paths: Readonly<Record<string, readonly string[]>>;
+    /** Where `paths` targets resolve from, absolute. The config's folder unless set. */
+    readonly baseUrl: string;
+    /** Absolute path of a Rojo sourcemap, or `null` for none. */
+    readonly sourceMap: string | null;
+}
+interface ConfigProblem {
+    /** The file the problem is about: a config file, or a sourcemap it names. */
+    readonly file: string;
+    readonly message: string;
+    /** 1-based position in `file`, when the problem has one. */
+    readonly line?: number;
+    readonly column?: number;
+}
+interface ConfigLookup {
+    /** The config that applies, if one was found and could be read. */
+    readonly config?: LuautConfig;
+    readonly problems: readonly ConfigProblem[];
+    /** Every config path looked at on the way up, found or not — what a cache
+     *  must watch, so that creating or deleting a config is noticed. */
+    readonly searched: readonly string[];
+}
+/** The config that applies to `file`: the nearest one in its folder or above. */
+declare function findConfig(file: string, host?: ProjectHost): ConfigLookup;
+/** Read and check one config file. Problems do not stop the rest of it from
+ *  applying: an unknown option is reported and the known ones still work. */
+declare function loadConfig(path: string, host?: ProjectHost): {
+    config?: LuautConfig;
+    problems: ConfigProblem[];
+};
+/** Blank out `//` and `/* *\/` comments and trailing commas, keeping every
+ *  other character where it was — so a JSON error's position still points
+ *  into the original text. */
+declare function stripJsonComments(text: string): string;
 
-/** Core Luau plus the Roblox baseline, in the order `analyzeTypes` expects.
- *
- *  The analyzer has no built-in knowledge of `type` / `typeof` — they are
- *  ordinary overload sets declared in these files, and narrowing is derived
- *  from them. Pass this (or your own list) or those built-ins narrow nothing:
- *
- *      analyzeTypes(program, scopes, { libs: defaultLibs })
- */
-declare const defaultLibs: readonly Program[];
+interface TypeLibraries {
+    /** Definitions files, dependencies before what depends on them. */
+    readonly files: readonly string[];
+    readonly problems: readonly ConfigProblem[];
+}
+declare function resolveTypeLibraries(config: LuautConfig, host?: ProjectHost): TypeLibraries;
+
+/** Every file `specifier` could mean from `fromFile`, in the order they are
+ *  tried. A resolver that caches should watch all of them: creating an earlier
+ *  candidate changes what the import means. */
+declare function moduleCandidates(fromFile: string, specifier: string, config?: LuautConfig): string[];
+/** The file `specifier` names from `fromFile`, if it exists. */
+declare function resolveModulePath(fromFile: string, specifier: string, config?: LuautConfig, host?: ProjectHost): string | undefined;
+
+interface SourceMapNode {
+    name: string;
+    className: string;
+    filePaths?: string[];
+    children?: SourceMapNode[];
+}
+interface SourceMapOptions {
+    /** The type names the loaded libraries define. An instance of a class not
+     *  among them is typed as `Instance`. */
+    readonly classes: ReadonlySet<string>;
+    /** A class's own member names. A child whose name a member already takes
+     *  is left out — Roblox resolves the member first. Defaults to the members
+     *  every instance has. */
+    readonly membersOf?: (className: string) => ReadonlySet<string>;
+}
+interface SourceMapTypes {
+    /** The tree's classes, and `game` / `workspace` for a place. */
+    readonly program: Program;
+    /** `declare script: ...` for a file the tree maps, or `undefined`. */
+    scriptFor(file: string): Program | undefined;
+}
+declare function sourceMapTypes(text: string, path: string, options: SourceMapOptions): {
+    types?: SourceMapTypes;
+    problem?: string;
+};
 
 declare const luautparser: {
     readonly tokenize: typeof tokenize;
@@ -1171,4 +1273,4 @@ declare const luautparser: {
     readonly analyzeTypes: typeof analyzeTypes;
 };
 
-export { type AnalyzeTypesOptions, type AnyType, type ArrayExpression, type ArrayPattern, type ArrayPatternElement, type ArrayType, type ArrayTypeNode, type AsConstExpression, type AssignmentStatement, type BaseNode, type BaseToken, type BinaryExpression, BinaryOperators, type Binding, type BindingId, type BindingKind, type BindingTarget, type Block, type BooleanLiteral, type BreakStatement, type CallExpression, type CallStatement, type CompoundAssignmentStatement, type ConditionalType, type ConditionalTypeNode, type ContinueStatement, type DeclareStatement, type DifferenceType, type DifferenceTypeNode, type DoStatement, type EOFToken, type ErrorStatement, type ExportAllStatement, type ExportDefaultStatement, type ExportNamedStatement, type ExportSpecifier, type ExportStatement, type ExportTypeAliasStatement, type ExportedType, type Expression, type FunctionBody, type FunctionDeclaration, type FunctionDeclarationStatement, type FunctionExpression, type FunctionName, type FunctionParam, type FunctionParameter, type FunctionSignature, type FunctionType, type FunctionTypeNode, type FunctionTypeParameter, type GenericForStatement, type GenericRefType, type GenericTypeParameter, type Identifier, type IdentifierPattern, type IdentifierToken, type IfClause, type IfElseExpression, type IfStatement, type ImportSpecifier, type ImportStatement, type IndexExpression, type IndexedAccessType, type IndexedAccessTypeNode, type InferType, type InferTypeNode, type InterpolatedStringExpression, type InterpolatedStringPart, type InterpolatedStringPart_Expression, type InterpolatedStringPart_String, type InterpolatedStringToken, type IntersectionType, type IntersectionTypeNode, type KeyofType, type KeyofTypeNode, type KeywordToken, Keywords, LexError, type LiteralToken, type LiteralType, type MappedType, type MappedTypeNode, type MemberExpression, type MethodCallExpression, type ModuleExports, type NeverType, type NilLiteral, type Node, type NumberLiteral, type NumericForStatement, type ObjectPattern, type ObjectPatternProperty, type ObjectProperty, type ObjectType, type OperatorToken, Operators, type ParenthesizedExpression, type ParenthesizedTypeNode, ParseError, type ParserOptions, type PrimitiveName, type PrimitiveType, type Program, type PunctuatorToken, Punctuators, type RecoverResult, type RepeatStatement, type ReturnStatement, type SatisfiesExpression, type ScopeAnalysis, type ScopeDiagnostic, type SpreadElement, type Statement, type StringLiteral, type TableExpression, type TableField, type TableTypeNode, type TableTypeProperty, type TemplateLiteralType, type TemplateLiteralTypeNode, type Token, type TupleType, type TupleTypeNode, type Type, type TypeAliasStatement, type TypeAnalysis, type TypeAssertionExpression, type TypeDiagnostic, type TypeLiteralBoolean, type TypeLiteralNumber, type TypeLiteralString, type TypeNode, type TypePackNode, type TypeParamType, type TypePredicate, type TypePredicateNode, type TypeReference, type TypedIdentifier, type TypeofTypeNode, type UnaryExpression, UnaryOperators, type UnionType, type UnionTypeNode, type UnknownType, type VarargExpression, type VariableDeclaration, type VariadicTypeNode, type WhileStatement, analyzeScopes, analyzeTypes, anyType, arrayOf, booleanType, bufferType, containsTypeParam, luautparser as default, defaultLibs, difference, equalTypes, falsyType, fn, formatType, getBinding, intersection, isAssignable, isGlobal, isPossiblyFalsy, isPossiblyTruthy, isUnassignedGlobal, literal, luauDefs, luauDefsPath, luauLib, luautparser, matchInfer, moduleExports, narrowExclude, narrowFalsy, narrowTo, narrowTruthy, neverType, nilType, numberType, objectType, optional, overlaps, parse, parseExpressionFromSource, parseTokens, parseWithRecovery, primitive, robloxDefs, robloxDefsPath, robloxLib, setAliasExpander, stringType, substitute, templateMatches, threadType, tokenize, tuple, typeParam, unify, union, unknownType, widen };
+export { type AnalyzeTypesOptions, type AnyType, type ArrayExpression, type ArrayPattern, type ArrayPatternElement, type ArrayType, type ArrayTypeNode, type AsConstExpression, type AssignmentStatement, type BaseNode, type BaseToken, type BinaryExpression, BinaryOperators, type Binding, type BindingId, type BindingKind, type BindingTarget, type Block, type BooleanLiteral, type BreakStatement, CONFIG_FILE_NAMES, type CallExpression, type CallStatement, type ClassInfo, type CompoundAssignmentStatement, type ConditionalType, type ConditionalTypeNode, type ConfigLookup, type ConfigProblem, type ContinueStatement, type DeclareClassStatement, type DeclareStatement, type DifferenceType, type DifferenceTypeNode, type DoStatement, type EOFToken, type ErrorStatement, type ExportAllStatement, type ExportDefaultStatement, type ExportNamedStatement, type ExportSpecifier, type ExportStatement, type ExportTypeAliasStatement, type ExportedType, type Expression, type FunctionBody, type FunctionDeclaration, type FunctionDeclarationStatement, type FunctionExpression, type FunctionName, type FunctionParam, type FunctionParameter, type FunctionSignature, type FunctionType, type FunctionTypeNode, type FunctionTypeParameter, type GenericForStatement, type GenericRefType, type GenericTypeParameter, type Identifier, type IdentifierPattern, type IdentifierToken, type IfClause, type IfElseExpression, type IfStatement, type ImportSpecifier, type ImportStatement, type IndexExpression, type IndexedAccessType, type IndexedAccessTypeNode, type InferType, type InferTypeNode, type InterpolatedStringExpression, type InterpolatedStringPart, type InterpolatedStringPart_Expression, type InterpolatedStringPart_String, type InterpolatedStringToken, type IntersectionType, type IntersectionTypeNode, type KeyofType, type KeyofTypeNode, type KeywordToken, Keywords, LexError, type LiteralToken, type LiteralType, type LuautConfig, type MappedType, type MappedTypeNode, type MemberExpression, type MethodCallExpression, type ModuleExports, type NeverType, type NilLiteral, type Node, type NumberLiteral, type NumericForStatement, type ObjectPattern, type ObjectPatternProperty, type ObjectProperty, type ObjectType, type OperatorToken, Operators, type ParenthesizedExpression, type ParenthesizedTypeNode, ParseError, type ParserOptions, type PrimitiveName, type PrimitiveType, type Program, type ProjectHost, type PunctuatorToken, Punctuators, type RecoverResult, type RepeatStatement, type ReturnStatement, type SatisfiesExpression, type ScopeAnalysis, type ScopeDiagnostic, type SourceMapNode, type SourceMapOptions, type SourceMapTypes, type SpreadElement, type Statement, type StringLiteral, type TableExpression, type TableField, type TableTypeNode, type TableTypeProperty, type TemplateLiteralType, type TemplateLiteralTypeNode, type Token, type TupleType, type TupleTypeNode, type Type, type TypeAliasStatement, type TypeAnalysis, type TypeAssertionExpression, type TypeDiagnostic, type TypeLibraries, type TypeLiteralBoolean, type TypeLiteralNumber, type TypeLiteralString, type TypeNode, type TypePackNode, type TypeParamType, type TypePredicate, type TypePredicateNode, type TypeReference, type TypedIdentifier, type TypeofTypeNode, type UnaryExpression, UnaryOperators, type UnionType, type UnionTypeNode, type UnknownType, type VarargExpression, type VariableDeclaration, type VariadicTypeNode, type WhileStatement, analyzeScopes, analyzeTypes, anyType, arrayOf, booleanType, bufferType, containsTypeParam, luautparser as default, difference, equalTypes, falsyType, findConfig, fn, formatType, getBinding, intersection, isAssignable, isClassType, isGlobal, isPossiblyFalsy, isPossiblyTruthy, isUnassignedGlobal, literal, loadConfig, luautparser, matchInfer, moduleCandidates, moduleExports, narrowExclude, narrowFalsy, narrowTo, narrowTruthy, neverType, nilType, nodeHost, numberType, objectType, optional, overlaps, parse, parseExpressionFromSource, parseTokens, parseWithRecovery, primitive, resolveModulePath, resolveTypeLibraries, setAliasExpander, sourceMapTypes, stringType, stripJsonComments, substitute, templateMatches, threadType, tokenize, tuple, typeParam, unify, union, unknownType, widen };