@tilua/parser 3.1.0 → 4.0.0

package/dist/index.d.cts

@@ -583,6 +583,10 @@ type Expression = Identifier | NilLiteral | BooleanLiteral | NumberLiteral | Str
  *  (and is empty when nothing was written). Its type is `any`. */
 interface ErrorExpression extends BaseNode {
     type: "ErrorExpression";
+    /** What was read before it broke: the `obj` of an `obj.` whose name is
+     *  still to be typed. It is analysed as it stands, so `obj` keeps its
+     *  type and its place among the names. */
+    expression?: Expression;
 }
 interface Identifier extends BaseNode {
     type: "Identifier";
@@ -715,7 +719,9 @@ interface BinaryExpression extends BaseNode {
     left: Expression;
     right: Expression;
 }
-declare const UnaryOperators: readonly ["-", "not", "#"];
+/** `typeof v` answers the name of what `v` is: Luau's `typeof`, with a table
+ *  told apart as an `"array"` or an `"object"`. */
+declare const UnaryOperators: readonly ["-", "not", "#", "typeof"];
 interface UnaryExpression extends BaseNode {
     type: "UnaryExpression";
     operator: typeof UnaryOperators[number];
@@ -978,8 +984,7 @@ interface ParenthesizedTypeNode extends BaseNode {
     type: "ParenthesizedTypeNode";
     typeAnnotation: TypeNode;
 }
-/** `typeof x` / `typeof x.y` (TypeScript's type query) or `typeof(expr)`
- *  (Luau's spelling): the type of a value. */
+/** `typeof x` / `typeof x.y`, TypeScript's type query: the type of a value. */
 interface TypeofTypeNode extends BaseNode {
     type: "TypeofTypeNode";
     expression: Expression;
@@ -1517,6 +1522,10 @@ interface TypeAnalysis {
      *  gave it (`declare metatable`), and which library declared that. A call
      *  missing here reached a member of the receiver's own. */
     readonly methodSources: ReadonlyMap<MethodCallExpression, MethodSource>;
+    /** Each `typeof v` whose `v`, where it is a table at all, is known by its
+     *  type to be an array or to be an object. One missing here has to be
+     *  told apart as the program runs. */
+    readonly typeofTables: ReadonlyMap<Expression, "array" | "object">;
     /** The members a value's metatable `__index` gives it — what an editor
      *  offers after `:`. Empty for a value no metatable matches. */
     readonly metatableMembers: (type: Type) => ReadonlyMap<string, Type>;

package/dist/index.d.ts

@@ -583,6 +583,10 @@ type Expression = Identifier | NilLiteral | BooleanLiteral | NumberLiteral | Str
  *  (and is empty when nothing was written). Its type is `any`. */
 interface ErrorExpression extends BaseNode {
     type: "ErrorExpression";
+    /** What was read before it broke: the `obj` of an `obj.` whose name is
+     *  still to be typed. It is analysed as it stands, so `obj` keeps its
+     *  type and its place among the names. */
+    expression?: Expression;
 }
 interface Identifier extends BaseNode {
     type: "Identifier";
@@ -715,7 +719,9 @@ interface BinaryExpression extends BaseNode {
     left: Expression;
     right: Expression;
 }
-declare const UnaryOperators: readonly ["-", "not", "#"];
+/** `typeof v` answers the name of what `v` is: Luau's `typeof`, with a table
+ *  told apart as an `"array"` or an `"object"`. */
+declare const UnaryOperators: readonly ["-", "not", "#", "typeof"];
 interface UnaryExpression extends BaseNode {
     type: "UnaryExpression";
     operator: typeof UnaryOperators[number];
@@ -978,8 +984,7 @@ interface ParenthesizedTypeNode extends BaseNode {
     type: "ParenthesizedTypeNode";
     typeAnnotation: TypeNode;
 }
-/** `typeof x` / `typeof x.y` (TypeScript's type query) or `typeof(expr)`
- *  (Luau's spelling): the type of a value. */
+/** `typeof x` / `typeof x.y`, TypeScript's type query: the type of a value. */
 interface TypeofTypeNode extends BaseNode {
     type: "TypeofTypeNode";
     expression: Expression;
@@ -1517,6 +1522,10 @@ interface TypeAnalysis {
      *  gave it (`declare metatable`), and which library declared that. A call
      *  missing here reached a member of the receiver's own. */
     readonly methodSources: ReadonlyMap<MethodCallExpression, MethodSource>;
+    /** Each `typeof v` whose `v`, where it is a table at all, is known by its
+     *  type to be an array or to be an object. One missing here has to be
+     *  told apart as the program runs. */
+    readonly typeofTables: ReadonlyMap<Expression, "array" | "object">;
     /** The members a value's metatable `__index` gives it — what an editor
      *  offers after `:`. Empty for a value no metatable matches. */
     readonly metatableMembers: (type: Type) => ReadonlyMap<string, Type>;