typescript-to-lua 1.8.1 → 1.10.0-beta.0

package/dist/transformation/builtins/array.d.ts

@@ -3,4 +3,4 @@ import * as lua from "../../LuaAST";
 import { TransformationContext } from "../context";
 export declare function transformArrayConstructorCall(context: TransformationContext, node: ts.CallExpression, calledMethod: ts.PropertyAccessExpression): lua.Expression | undefined;
 export declare function transformArrayPrototypeCall(context: TransformationContext, node: ts.CallExpression, calledMethod: ts.PropertyAccessExpression): lua.Expression | undefined;
-export declare function transformArrayProperty(context: TransformationContext, node: ts.PropertyAccessExpression): lua.UnaryExpression | undefined;
+export declare function transformArrayProperty(context: TransformationContext, node: ts.PropertyAccessExpression): lua.Expression | undefined;

package/dist/transformation/builtins/array.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.transformArrayProperty = exports.transformArrayPrototypeCall = exports.transformArrayConstructorCall = void 0;
 const ts = require("typescript");
+const CompilerOptions_1 = require("../../CompilerOptions");
 const lua = require("../../LuaAST");
 const diagnostics_1 = require("../utils/diagnostics");
 const lualib_1 = require("../utils/lualib");
@@ -25,6 +26,15 @@ function transformArrayConstructorCall(context, node, calledMethod) {
     }
 }
 exports.transformArrayConstructorCall = transformArrayConstructorCall;
+function createTableLengthExpression(context, expression, node) {
+    if (context.luaTarget === CompilerOptions_1.LuaTarget.Lua50) {
+        const tableGetn = lua.createTableIndexExpression(lua.createIdentifier("table"), lua.createStringLiteral("getn"));
+        return lua.createCallExpression(tableGetn, [expression], node);
+    }
+    else {
+        return lua.createUnaryExpression(expression, lua.SyntaxKind.LengthOperator, node);
+    }
+}
 /**
  * Optimized single element Array.push
  *
@@ -35,7 +45,7 @@ function transformSingleElementArrayPush(context, node, caller, param) {
     const expressionIsUsed = !ts.isExpressionStatement((0, typescript_1.findFirstNonOuterParent)(node));
     const arrayIdentifier = lua.isIdentifier(caller) ? caller : (0, expression_list_1.moveToPrecedingTemp)(context, caller);
     // #array + 1
-    let lengthExpression = lua.createBinaryExpression(lua.createUnaryExpression(arrayIdentifier, lua.SyntaxKind.LengthOperator), lua.createNumericLiteral(1), lua.SyntaxKind.AdditionOperator);
+    let lengthExpression = lua.createBinaryExpression(createTableLengthExpression(context, arrayIdentifier), lua.createNumericLiteral(1), lua.SyntaxKind.AdditionOperator);
     if (expressionIsUsed) {
         // store length in a temp
         lengthExpression = (0, expression_list_1.moveToPrecedingTemp)(context, lengthExpression);
@@ -131,7 +141,7 @@ function transformArrayProperty(context, node) {
     switch (node.name.text) {
         case "length":
             const expression = context.transformExpression(node.expression);
-            return lua.createUnaryExpression(expression, lua.SyntaxKind.LengthOperator, node);
+            return createTableLengthExpression(context, expression, node);
         default:
             return undefined;
     }

package/dist/transformation/builtins/function.js

@@ -32,8 +32,10 @@ exports.transformFunctionPrototypeCall = transformFunctionPrototypeCall;
 function transformFunctionProperty(context, node) {
     switch (node.name.text) {
         case "length":
-            if (context.luaTarget === CompilerOptions_1.LuaTarget.Lua51 || context.luaTarget === CompilerOptions_1.LuaTarget.Universal) {
-                context.diagnostics.push((0, diagnostics_1.unsupportedForTarget)(node, "function.length", CompilerOptions_1.LuaTarget.Lua51));
+            if (context.luaTarget === CompilerOptions_1.LuaTarget.Lua50 ||
+                context.luaTarget === CompilerOptions_1.LuaTarget.Lua51 ||
+                context.luaTarget === CompilerOptions_1.LuaTarget.Universal) {
+                context.diagnostics.push((0, diagnostics_1.unsupportedForTarget)(node, "function.length", context.luaTarget));
             }
             // debug.getinfo(fn)
             const getInfoCall = lua.createCallExpression(lua.createTableIndexExpression(lua.createIdentifier("debug"), lua.createStringLiteral("getinfo")), [context.transformExpression(node.expression)]);

package/dist/transformation/builtins/index.js

@@ -19,6 +19,7 @@ const promise_1 = require("./promise");
 const string_1 = require("./string");
 const symbol_1 = require("./symbol");
 const diagnostics_1 = require("../utils/diagnostics");
+const CompilerOptions_1 = require("../../CompilerOptions");
 function transformBuiltinPropertyAccessExpression(context, node) {
     const ownerType = context.checker.getTypeAtLocation(node.expression);
     if (ts.isIdentifier(node.expression) && (0, typescript_1.isStandardLibraryType)(context, ownerType, undefined)) {
@@ -67,9 +68,7 @@ function transformBuiltinCallExpression(context, node) {
 exports.transformBuiltinCallExpression = transformBuiltinCallExpression;
 function tryTransformBuiltinGlobalMethodCall(context, node, calledMethod) {
     const ownerType = context.checker.getTypeAtLocation(calledMethod.expression);
-    if (!(0, typescript_1.isStandardLibraryType)(context, ownerType, undefined))
-        return;
-    const ownerSymbol = ownerType.symbol;
+    const ownerSymbol = tryGetStandardLibrarySymbolOfType(context, ownerType);
     if (!ownerSymbol || ownerSymbol.parent)
         return;
     let result;
@@ -106,11 +105,10 @@ function tryTransformBuiltinGlobalMethodCall(context, node, calledMethod) {
     return result;
 }
 function tryTransformBuiltinPropertyCall(context, node, calledMethod) {
-    var _a;
-    const signatureDeclaration = (_a = context.checker.getResolvedSignature(node)) === null || _a === void 0 ? void 0 : _a.declaration;
-    if (!signatureDeclaration || !(0, typescript_1.isStandardLibraryDeclaration)(context, signatureDeclaration))
+    const functionType = context.checker.getTypeAtLocation(node.expression);
+    const callSymbol = tryGetStandardLibrarySymbolOfType(context, functionType);
+    if (!callSymbol)
         return;
-    const callSymbol = context.checker.getTypeAtLocation(signatureDeclaration).symbol;
     const ownerSymbol = callSymbol.parent;
     if (!ownerSymbol || ownerSymbol.parent)
         return;
@@ -133,9 +131,16 @@ function transformBuiltinIdentifierExpression(context, node, symbol) {
         case "NaN":
             return (0, lua_ast_1.createNaN)(node);
         case "Infinity":
-            const math = lua.createIdentifier("math");
-            const huge = lua.createStringLiteral("huge");
-            return lua.createTableIndexExpression(math, huge, node);
+            if (context.luaTarget === CompilerOptions_1.LuaTarget.Lua50) {
+                const one = lua.createNumericLiteral(1);
+                const zero = lua.createNumericLiteral(0);
+                return lua.createBinaryExpression(one, zero, lua.SyntaxKind.DivisionOperator);
+            }
+            else {
+                const math = lua.createIdentifier("math");
+                const huge = lua.createStringLiteral("huge");
+                return lua.createTableIndexExpression(math, huge, node);
+            }
         case "globalThis":
             return lua.createIdentifier("_G", node, (0, symbols_1.getIdentifierSymbolId)(context, node, symbol), "globalThis");
     }
@@ -187,4 +192,17 @@ function checkForLuaLibType(context, type) {
     }
 }
 exports.checkForLuaLibType = checkForLuaLibType;
+function tryGetStandardLibrarySymbolOfType(context, type) {
+    if (type.isUnionOrIntersection()) {
+        for (const subType of type.types) {
+            const symbol = tryGetStandardLibrarySymbolOfType(context, subType);
+            if (symbol)
+                return symbol;
+        }
+    }
+    else if ((0, typescript_1.isStandardLibraryType)(context, type, undefined)) {
+        return type.symbol;
+    }
+    return undefined;
+}
 //# sourceMappingURL=index.js.map

package/dist/transformation/builtins/string.d.ts

@@ -3,4 +3,4 @@ import * as lua from "../../LuaAST";
 import { TransformationContext } from "../context";
 export declare function transformStringPrototypeCall(context: TransformationContext, node: ts.CallExpression, calledMethod: ts.PropertyAccessExpression): lua.Expression | undefined;
 export declare function transformStringConstructorCall(context: TransformationContext, node: ts.CallExpression, calledMethod: ts.PropertyAccessExpression): lua.Expression | undefined;
-export declare function transformStringProperty(context: TransformationContext, node: ts.PropertyAccessExpression): lua.UnaryExpression | undefined;
+export declare function transformStringProperty(context: TransformationContext, node: ts.PropertyAccessExpression): lua.Expression | undefined;

package/dist/transformation/builtins/string.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.transformStringProperty = exports.transformStringConstructorCall = exports.transformStringPrototypeCall = void 0;
+const CompilerOptions_1 = require("../../CompilerOptions");
 const lua = require("../../LuaAST");
 const diagnostics_1 = require("../utils/diagnostics");
 const lua_ast_1 = require("../utils/lua-ast");
@@ -123,7 +124,13 @@ function transformStringProperty(context, node) {
     switch (node.name.text) {
         case "length":
             const expression = context.transformExpression(node.expression);
-            return lua.createUnaryExpression(expression, lua.SyntaxKind.LengthOperator, node);
+            if (context.luaTarget === CompilerOptions_1.LuaTarget.Lua50) {
+                const stringLen = lua.createTableIndexExpression(lua.createIdentifier("string"), lua.createStringLiteral("len"));
+                return lua.createCallExpression(stringLen, [expression], node);
+            }
+            else {
+                return lua.createUnaryExpression(expression, lua.SyntaxKind.LengthOperator, node);
+            }
         default:
             context.diagnostics.push((0, diagnostics_1.unsupportedProperty)(node.name, "string", node.name.text));
     }

package/dist/transformation/utils/diagnostics.d.ts

@@ -43,11 +43,10 @@ export declare const unsupportedAccessorInObjectLiteral: ((node: ts.Node, ...arg
 export declare const unsupportedRightShiftOperator: ((node: ts.Node, ...args: any[]) => ts.Diagnostic) & {
     code: number;
 };
-declare type NonUniversalTarget = Exclude<LuaTarget, LuaTarget.Universal>;
-export declare const unsupportedForTarget: ((node: ts.Node, functionality: string, version: NonUniversalTarget) => ts.Diagnostic) & {
+export declare const unsupportedForTarget: ((node: ts.Node, functionality: string, version: LuaTarget) => ts.Diagnostic) & {
     code: number;
 };
-export declare const unsupportedForTargetButOverrideAvailable: ((node: ts.Node, functionality: string, version: NonUniversalTarget, optionName: keyof TypeScriptToLuaOptions) => ts.Diagnostic) & {
+export declare const unsupportedForTargetButOverrideAvailable: ((node: ts.Node, functionality: string, version: LuaTarget, optionName: keyof TypeScriptToLuaOptions) => ts.Diagnostic) & {
     code: number;
 };
 export declare const unsupportedProperty: ((node: ts.Node, parentName: string, property: string) => ts.Diagnostic) & {
@@ -83,6 +82,9 @@ export declare const annotationRemoved: ((node: ts.Node, kind: AnnotationKind) =
 export declare const annotationDeprecated: ((node: ts.Node, kind: AnnotationKind) => ts.Diagnostic) & {
     code: number;
 };
+export declare const truthyOnlyConditionalValue: ((node: ts.Node, ...args: any[]) => ts.Diagnostic) & {
+    code: number;
+};
 export declare const notAllowedOptionalAssignment: ((node: ts.Node, ...args: any[]) => ts.Diagnostic) & {
     code: number;
 };
@@ -98,4 +100,3 @@ export declare const unsupportedOptionalCompileMembersOnly: ((node: ts.Node, ...
 export declare const undefinedInArrayLiteral: ((node: ts.Node, ...args: any[]) => ts.Diagnostic) & {
     code: number;
 };
-export {};

package/dist/transformation/utils/diagnostics.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.undefinedInArrayLiteral = exports.unsupportedOptionalCompileMembersOnly = exports.unsupportedBuiltinOptionalCall = exports.awaitMustBeInAsyncFunction = exports.notAllowedOptionalAssignment = exports.annotationDeprecated = exports.annotationRemoved = exports.invalidCallExtensionUse = exports.invalidMultiReturnAccess = exports.invalidMultiTypeToEmptyPatternOrArrayLiteral = exports.invalidMultiTypeToNonArrayLiteral = exports.invalidMultiFunctionReturnType = exports.invalidMultiFunctionUse = exports.unsupportedVarDeclaration = exports.invalidAmbientIdentifierName = exports.unsupportedProperty = exports.unsupportedForTargetButOverrideAvailable = exports.unsupportedForTarget = exports.unsupportedRightShiftOperator = exports.unsupportedAccessorInObjectLiteral = exports.invalidPairsIterableWithoutDestructuring = exports.invalidMultiIterableWithoutDestructuring = exports.invalidRangeControlVariable = exports.invalidVarargUse = exports.invalidRangeUse = exports.annotationInvalidArgumentCount = exports.decoratorInvalidContext = exports.unsupportedOverloadAssignment = exports.unsupportedSelfFunctionConversion = exports.unsupportedNoSelfFunctionConversion = exports.forbiddenForIn = exports.unsupportedNodeKind = void 0;
+exports.undefinedInArrayLiteral = exports.unsupportedOptionalCompileMembersOnly = exports.unsupportedBuiltinOptionalCall = exports.awaitMustBeInAsyncFunction = exports.notAllowedOptionalAssignment = exports.truthyOnlyConditionalValue = exports.annotationDeprecated = exports.annotationRemoved = exports.invalidCallExtensionUse = exports.invalidMultiReturnAccess = exports.invalidMultiTypeToEmptyPatternOrArrayLiteral = exports.invalidMultiTypeToNonArrayLiteral = exports.invalidMultiFunctionReturnType = exports.invalidMultiFunctionUse = exports.unsupportedVarDeclaration = exports.invalidAmbientIdentifierName = exports.unsupportedProperty = exports.unsupportedForTargetButOverrideAvailable = exports.unsupportedForTarget = exports.unsupportedRightShiftOperator = exports.unsupportedAccessorInObjectLiteral = exports.invalidPairsIterableWithoutDestructuring = exports.invalidMultiIterableWithoutDestructuring = exports.invalidRangeControlVariable = exports.invalidVarargUse = exports.invalidRangeUse = exports.annotationInvalidArgumentCount = exports.decoratorInvalidContext = exports.unsupportedOverloadAssignment = exports.unsupportedSelfFunctionConversion = exports.unsupportedNoSelfFunctionConversion = exports.forbiddenForIn = exports.unsupportedNodeKind = void 0;
 const ts = require("typescript");
 const CompilerOptions_1 = require("../../CompilerOptions");
 const utils_1 = require("../../utils");
@@ -57,6 +57,7 @@ exports.annotationRemoved = createErrorDiagnosticFactory((kind) => `'@${kind}' h
     `See https://typescripttolua.github.io/docs/advanced/compiler-annotations#${kind.toLowerCase()} for more information.`);
 exports.annotationDeprecated = createWarningDiagnosticFactory((kind) => `'@${kind}' is deprecated and will be removed in a future update. Please update your code before upgrading to the next release, otherwise your project will no longer compile. ` +
     `See https://typescripttolua.github.io/docs/advanced/compiler-annotations#${kind.toLowerCase()} for more information.`);
+exports.truthyOnlyConditionalValue = createWarningDiagnosticFactory("Numbers and strings will always evaluate to true in Lua. Explicitly check the value with ===.");
 exports.notAllowedOptionalAssignment = createErrorDiagnosticFactory("The left-hand side of an assignment expression may not be an optional property access.");
 exports.awaitMustBeInAsyncFunction = createErrorDiagnosticFactory("Await can only be used inside async functions.");
 exports.unsupportedBuiltinOptionalCall = createErrorDiagnosticFactory("Optional calls are not supported for builtin or language extension functions.");

package/dist/transformation/utils/lua-ast.js

@@ -59,7 +59,9 @@ function createUnpackCall(context, expression, tsOriginal) {
     if (context.luaTarget === CompilerOptions_1.LuaTarget.Universal) {
         return (0, lualib_1.transformLuaLibFunction)(context, LuaLib_1.LuaLibFeature.Unpack, tsOriginal, expression);
     }
-    const unpack = context.luaTarget === CompilerOptions_1.LuaTarget.Lua51 || context.luaTarget === CompilerOptions_1.LuaTarget.LuaJIT
+    const unpack = context.luaTarget === CompilerOptions_1.LuaTarget.Lua50 ||
+        context.luaTarget === CompilerOptions_1.LuaTarget.Lua51 ||
+        context.luaTarget === CompilerOptions_1.LuaTarget.LuaJIT
         ? lua.createIdentifier("unpack")
         : lua.createTableIndexExpression(lua.createIdentifier("table"), lua.createStringLiteral("unpack"));
     return lua.setNodeFlags(lua.createCallExpression(unpack, [expression], tsOriginal), lua.NodeFlags.TableUnpackCall);

package/dist/transformation/utils/typescript/index.js

@@ -97,7 +97,7 @@ function isExpressionWithEvaluationEffect(node) {
 exports.isExpressionWithEvaluationEffect = isExpressionWithEvaluationEffect;
 function getFunctionTypeForCall(context, node) {
     const signature = context.checker.getResolvedSignature(node);
-    if (!signature || !signature.declaration) {
+    if (!(signature === null || signature === void 0 ? void 0 : signature.declaration)) {
         return;
     }
     const typeDeclaration = findFirstNodeAbove(signature.declaration, ts.isTypeAliasDeclaration);
@@ -116,7 +116,7 @@ function isConstIdentifier(context, node) {
         return false;
     }
     const symbol = context.checker.getSymbolAtLocation(identifier);
-    if (!symbol || !symbol.declarations) {
+    if (!(symbol === null || symbol === void 0 ? void 0 : symbol.declarations)) {
         return false;
     }
     return symbol.declarations.some(d => ts.isVariableDeclarationList(d.parent) && (d.parent.flags & ts.NodeFlags.Const) !== 0);

package/dist/transformation/visitors/access.js

@@ -6,11 +6,13 @@ const lua = require("../../LuaAST");
 const builtins_1 = require("../builtins");
 const annotations_1 = require("../utils/annotations");
 const diagnostics_1 = require("../utils/diagnostics");
+const language_extensions_1 = require("../utils/language-extensions");
 const lua_ast_1 = require("../utils/lua-ast");
 const lualib_1 = require("../utils/lualib");
 const typescript_1 = require("../utils/typescript");
 const enum_1 = require("./enum");
 const expression_list_1 = require("./expression-list");
+const call_extension_1 = require("./language-extensions/call-extension");
 const multi_1 = require("./language-extensions/multi");
 const optional_chaining_1 = require("./optional-chaining");
 function addOneToArrayAccessArgument(context, node, index) {
@@ -108,6 +110,15 @@ function transformPropertyAccessExpressionWithCapture(context, node, thisValueCa
         // If this assumption is no longer true, this may need to be updated.
         return { expression: builtinResult };
     }
+    if (ts.isIdentifier(node.expression) &&
+        node.parent &&
+        (!ts.isCallExpression(node.parent) || node.parent.expression !== node)) {
+        // Check if this is a method call extension that is not used as a call
+        const extensionType = (0, language_extensions_1.getExtensionKindForNode)(context, node);
+        if (extensionType && call_extension_1.callExtensions.has(extensionType)) {
+            context.diagnostics.push((0, diagnostics_1.invalidCallExtensionUse)(node));
+        }
+    }
     const table = context.transformExpression(node.expression);
     if (thisValueCapture) {
         const thisValue = (0, optional_chaining_1.captureThisValue)(context, table, thisValueCapture, node.expression);

package/dist/transformation/visitors/binary-expression/bit.js

@@ -39,8 +39,9 @@ function transformBitOperatorToLuaOperator(context, node, operator) {
 function transformBinaryBitOperation(context, node, left, right, operator) {
     switch (context.luaTarget) {
         case CompilerOptions_1.LuaTarget.Universal:
+        case CompilerOptions_1.LuaTarget.Lua50:
         case CompilerOptions_1.LuaTarget.Lua51:
-            context.diagnostics.push((0, diagnostics_1.unsupportedForTarget)(node, "Bitwise operations", CompilerOptions_1.LuaTarget.Lua51));
+            context.diagnostics.push((0, diagnostics_1.unsupportedForTarget)(node, "Bitwise operations", context.luaTarget));
         case CompilerOptions_1.LuaTarget.LuaJIT:
             return transformBinaryBitLibOperation(node, left, right, operator, "bit");
         case CompilerOptions_1.LuaTarget.Lua52:
@@ -65,8 +66,9 @@ function transformUnaryBitLibOperation(node, expression, operator, lib) {
 function transformUnaryBitOperation(context, node, expression, operator) {
     switch (context.luaTarget) {
         case CompilerOptions_1.LuaTarget.Universal:
+        case CompilerOptions_1.LuaTarget.Lua50:
         case CompilerOptions_1.LuaTarget.Lua51:
-            context.diagnostics.push((0, diagnostics_1.unsupportedForTarget)(node, "Bitwise operations", CompilerOptions_1.LuaTarget.Lua51));
+            context.diagnostics.push((0, diagnostics_1.unsupportedForTarget)(node, "Bitwise operations", context.luaTarget));
         case CompilerOptions_1.LuaTarget.LuaJIT:
             return transformUnaryBitLibOperation(node, expression, operator, "bit");
         case CompilerOptions_1.LuaTarget.Lua52:

package/dist/transformation/visitors/binary-expression/index.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.transformBinaryExpressionStatement = exports.transformBinaryExpression = exports.transformBinaryOperation = exports.createShortCircuitBinaryExpressionPrecedingStatements = void 0;
 const ts = require("typescript");
+const CompilerOptions_1 = require("../../../CompilerOptions");
 const lua = require("../../../LuaAST");
 const lua_ast_1 = require("../../utils/lua-ast");
 const lualib_1 = require("../../utils/lualib");
@@ -42,6 +43,9 @@ function transformBinaryOperationWithNoPrecedingStatements(context, left, right,
         (0, utils_1.assert)(ts.isBinaryExpression(node));
         return transformNullishCoalescingOperationNoPrecedingStatements(context, node, left, right);
     }
+    if (operator === ts.SyntaxKind.PercentToken && context.luaTarget === CompilerOptions_1.LuaTarget.Lua50) {
+        return (0, lualib_1.transformLuaLibFunction)(context, lualib_1.LuaLibFeature.Modulo50, node, left, right);
+    }
     let luaOperator = simpleOperatorsToLua[operator];
     // Check if we need to use string concat operator
     if (operator === ts.SyntaxKind.PlusToken && ts.isBinaryExpression(node)) {

package/dist/transformation/visitors/break-continue.js

@@ -12,8 +12,10 @@ const transformBreakStatement = (breakStatement, context) => {
 exports.transformBreakStatement = transformBreakStatement;
 const transformContinueStatement = (statement, context) => {
     var _a;
-    if (context.luaTarget === CompilerOptions_1.LuaTarget.Universal || context.luaTarget === CompilerOptions_1.LuaTarget.Lua51) {
-        context.diagnostics.push((0, diagnostics_1.unsupportedForTarget)(statement, "Continue statement", CompilerOptions_1.LuaTarget.Lua51));
+    if (context.luaTarget === CompilerOptions_1.LuaTarget.Universal ||
+        context.luaTarget === CompilerOptions_1.LuaTarget.Lua50 ||
+        context.luaTarget === CompilerOptions_1.LuaTarget.Lua51) {
+        context.diagnostics.push((0, diagnostics_1.unsupportedForTarget)(statement, "Continue statement", context.luaTarget));
     }
     const scope = (0, scope_1.findScope)(context, scope_1.ScopeType.Loop);
     if (scope) {

package/dist/transformation/visitors/class/index.js

@@ -14,6 +14,7 @@ const fields_1 = require("./members/fields");
 const method_1 = require("./members/method");
 const utils_1 = require("./utils");
 const setup_1 = require("./setup");
+const CompilerOptions_1 = require("../../../CompilerOptions");
 const transformClassDeclaration = (declaration, context) => {
     // If declaration is a default export, transform to export variable assignment instead
     if ((0, export_1.hasDefaultExportModifier)(declaration)) {
@@ -34,6 +35,7 @@ function transformClassAsExpression(expression, context) {
 }
 exports.transformClassAsExpression = transformClassAsExpression;
 function transformClassLikeDeclaration(classDeclaration, context, nameOverride) {
+    var _a, _b;
     let className;
     if (nameOverride !== undefined) {
         className = nameOverride;
@@ -79,10 +81,13 @@ function transformClassLikeDeclaration(classDeclaration, context, nameOverride)
     else if (instanceFields.length > 0) {
         // Generate a constructor if none was defined in a class with instance fields that need initialization
         // localClassName.prototype.____constructor = function(self, ...)
-        //     baseClassName.prototype.____constructor(self, ...)
+        //     baseClassName.prototype.____constructor(self, ...)  // or unpack(arg) for Lua 5.0
         //     ...
         const constructorBody = (0, fields_1.transformClassInstanceFields)(context, instanceFields);
-        const superCall = lua.createExpressionStatement(lua.createCallExpression(lua.createTableIndexExpression(context.transformExpression(ts.factory.createSuper()), lua.createStringLiteral("____constructor")), [(0, lua_ast_1.createSelfIdentifier)(), lua.createDotsLiteral()]));
+        const argsExpression = context.luaTarget === CompilerOptions_1.LuaTarget.Lua50
+            ? lua.createCallExpression(lua.createIdentifier("unpack"), [lua.createArgLiteral()])
+            : lua.createDotsLiteral();
+        const superCall = lua.createExpressionStatement(lua.createCallExpression(lua.createTableIndexExpression(context.transformExpression(ts.factory.createSuper()), lua.createStringLiteral("____constructor")), [(0, lua_ast_1.createSelfIdentifier)(), argsExpression]));
         constructorBody.unshift(superCall);
         const constructorFunction = lua.createFunctionExpression(lua.createBlock(constructorBody), [(0, lua_ast_1.createSelfIdentifier)()], lua.createDotsLiteral(), lua.NodeFlags.Declaration);
         result.push(lua.createAssignmentStatement((0, constructor_1.createConstructorName)(localClassName), constructorFunction, classDeclaration));
@@ -129,8 +134,8 @@ function transformClassLikeDeclaration(classDeclaration, context, nameOverride)
     }
     result.push(...decorationStatements);
     // Decorate the class
-    if (classDeclaration.decorators) {
-        const decoratingExpression = (0, decorators_1.createDecoratingExpression)(context, classDeclaration.kind, classDeclaration.decorators.map(d => (0, decorators_1.transformDecoratorExpression)(context, d)), localClassName);
+    if (ts.canHaveDecorators(classDeclaration) && ts.getDecorators(classDeclaration)) {
+        const decoratingExpression = (0, decorators_1.createDecoratingExpression)(context, classDeclaration.kind, (_b = (_a = ts.getDecorators(classDeclaration)) === null || _a === void 0 ? void 0 : _a.map(d => (0, decorators_1.transformDecoratorExpression)(context, d))) !== null && _b !== void 0 ? _b : [], localClassName);
         const decoratingStatement = lua.createAssignmentStatement(localClassName, decoratingExpression);
         result.push(decoratingStatement);
         if ((0, export_1.hasExportModifier)(classDeclaration)) {

package/dist/transformation/visitors/class/members/fields.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.transformStaticPropertyDeclaration = exports.transformClassInstanceFields = exports.createPropertyDecoratingExpression = void 0;
+const ts = require("typescript");
 const lua = require("../../../../LuaAST");
 const lua_ast_1 = require("../../../utils/lua-ast");
 const preceding_statements_1 = require("../../../utils/preceding-statements");
@@ -8,11 +9,14 @@ const literal_1 = require("../../literal");
 const decorators_1 = require("../decorators");
 const method_1 = require("./method");
 function createPropertyDecoratingExpression(context, node, className) {
-    if (!node.decorators)
+    if (!ts.canHaveDecorators(node))
+        return;
+    const decorators = ts.getDecorators(node);
+    if (!decorators)
         return;
     const propertyName = (0, literal_1.transformPropertyName)(context, node.name);
     const propertyOwnerTable = (0, method_1.transformMemberExpressionOwnerName)(node, className);
-    return (0, decorators_1.createDecoratingExpression)(context, node.kind, node.decorators.map(d => (0, decorators_1.transformDecoratorExpression)(context, d)), propertyOwnerTable, propertyName);
+    return (0, decorators_1.createDecoratingExpression)(context, node.kind, decorators.map(d => (0, decorators_1.transformDecoratorExpression)(context, d)), propertyOwnerTable, propertyName);
 }
 exports.createPropertyDecoratingExpression = createPropertyDecoratingExpression;
 function transformClassInstanceFields(context, instanceFields) {

package/dist/transformation/visitors/class/members/method.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.createMethodDecoratingExpression = exports.transformMethodDeclaration = exports.transformMethodName = exports.transformMemberExpressionOwnerName = void 0;
+const ts = require("typescript");
 const lua = require("../../../../LuaAST");
 const function_1 = require("../../function");
 const literal_1 = require("../../literal");
@@ -38,10 +39,11 @@ function createMethodDecoratingExpression(context, node, className) {
     const parameterDecorators = node.parameters
         .flatMap((parameter, index) => {
         var _a;
-        return (_a = parameter.decorators) === null || _a === void 0 ? void 0 : _a.map(decorator => (0, lualib_1.transformLuaLibFunction)(context, lualib_1.LuaLibFeature.DecorateParam, node, lua.createNumericLiteral(index), (0, decorators_1.transformDecoratorExpression)(context, decorator)));
+        return (_a = ts
+            .getDecorators(parameter)) === null || _a === void 0 ? void 0 : _a.map(decorator => (0, lualib_1.transformLuaLibFunction)(context, lualib_1.LuaLibFeature.DecorateParam, node, lua.createNumericLiteral(index), (0, decorators_1.transformDecoratorExpression)(context, decorator)));
     })
         .filter(utils_2.isNonNull);
-    const methodDecorators = (_b = (_a = node.decorators) === null || _a === void 0 ? void 0 : _a.map(d => (0, decorators_1.transformDecoratorExpression)(context, d))) !== null && _b !== void 0 ? _b : [];
+    const methodDecorators = (_b = (_a = ts.getDecorators(node)) === null || _a === void 0 ? void 0 : _a.map(d => (0, decorators_1.transformDecoratorExpression)(context, d))) !== null && _b !== void 0 ? _b : [];
     if (methodDecorators.length > 0 || parameterDecorators.length > 0) {
         const decorateMethod = (0, decorators_1.createDecoratingExpression)(context, node.kind, [...methodDecorators, ...parameterDecorators], methodTable, methodName);
         return lua.createExpressionStatement(decorateMethod);

package/dist/transformation/visitors/conditional.d.ts

@@ -3,3 +3,4 @@ import * as lua from "../../LuaAST";
 import { FunctionVisitor, TransformationContext } from "../context";
 export declare const transformConditionalExpression: FunctionVisitor<ts.ConditionalExpression>;
 export declare function transformIfStatement(statement: ts.IfStatement, context: TransformationContext): lua.IfStatement;
+export declare function checkOnlyTruthyCondition(condition: ts.Expression, context: TransformationContext): void;

package/dist/transformation/visitors/conditional.js

@@ -1,12 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.transformIfStatement = exports.transformConditionalExpression = void 0;
+exports.checkOnlyTruthyCondition = exports.transformIfStatement = exports.transformConditionalExpression = void 0;
 const ts = require("typescript");
 const lua = require("../../LuaAST");
 const preceding_statements_1 = require("../utils/preceding-statements");
 const scope_1 = require("../utils/scope");
 const block_1 = require("./block");
 const typescript_1 = require("../utils/typescript");
+const diagnostics_1 = require("../utils/diagnostics");
 function transformProtectedConditionalExpression(context, expression, condition, whenTrue, whenFalse) {
     const tempVar = context.createTempNameForNode(expression.condition);
     const trueStatements = whenTrue[0].concat(lua.createAssignmentStatement(lua.cloneIdentifier(tempVar), whenTrue[1], expression.whenTrue));
@@ -19,6 +20,8 @@ function transformProtectedConditionalExpression(context, expression, condition,
     return lua.cloneIdentifier(tempVar);
 }
 const transformConditionalExpression = (expression, context) => {
+    // Check if we need to add diagnostic about Lua truthiness
+    checkOnlyTruthyCondition(expression.condition, context);
     const condition = (0, preceding_statements_1.transformInPrecedingStatementScope)(context, () => context.transformExpression(expression.condition));
     const whenTrue = (0, preceding_statements_1.transformInPrecedingStatementScope)(context, () => context.transformExpression(expression.whenTrue));
     const whenFalse = (0, preceding_statements_1.transformInPrecedingStatementScope)(context, () => context.transformExpression(expression.whenFalse));
@@ -35,6 +38,8 @@ const transformConditionalExpression = (expression, context) => {
 exports.transformConditionalExpression = transformConditionalExpression;
 function transformIfStatement(statement, context) {
     context.pushScope(scope_1.ScopeType.Conditional);
+    // Check if we need to add diagnostic about Lua truthiness
+    checkOnlyTruthyCondition(statement.expression, context);
     const condition = context.transformExpression(statement.expression);
     const statements = (0, scope_1.performHoisting)(context, (0, block_1.transformBlockOrStatement)(context, statement.thenStatement));
     context.popScope();
@@ -70,4 +75,10 @@ function transformIfStatement(statement, context) {
     return lua.createIfStatement(condition, ifBlock);
 }
 exports.transformIfStatement = transformIfStatement;
+function checkOnlyTruthyCondition(condition, context) {
+    if (!(0, typescript_1.canBeFalsy)(context, context.checker.getTypeAtLocation(condition))) {
+        context.diagnostics.push((0, diagnostics_1.truthyOnlyConditionalValue)(condition));
+    }
+}
+exports.checkOnlyTruthyCondition = checkOnlyTruthyCondition;
 //# sourceMappingURL=conditional.js.map

package/dist/transformation/visitors/errors.js

@@ -15,7 +15,8 @@ const multi_1 = require("./language-extensions/multi");
 const return_1 = require("./return");
 const transformAsyncTry = (statement, context) => {
     const [tryBlock] = (0, block_1.transformScopeBlock)(context, statement.tryBlock, scope_1.ScopeType.Try);
-    if (context.options.luaTarget === __1.LuaTarget.Lua51 && !context.options.lua51AllowTryCatchInAsyncAwait) {
+    if ((context.options.luaTarget === __1.LuaTarget.Lua50 || context.options.luaTarget === __1.LuaTarget.Lua51) &&
+        !context.options.lua51AllowTryCatchInAsyncAwait) {
         context.diagnostics.push((0, diagnostics_1.unsupportedForTargetButOverrideAvailable)(statement, "try/catch inside async functions", __1.LuaTarget.Lua51, "lua51AllowTryCatchInAsyncAwait"));
         return tryBlock.statements;
     }
@@ -57,7 +58,8 @@ const transformTryStatement = (statement, context) => {
         return transformAsyncTry(statement, context);
     }
     const [tryBlock, tryScope] = (0, block_1.transformScopeBlock)(context, statement.tryBlock, scope_1.ScopeType.Try);
-    if (context.options.luaTarget === __1.LuaTarget.Lua51 && (0, typescript_1.isInGeneratorFunction)(statement)) {
+    if ((context.options.luaTarget === __1.LuaTarget.Lua50 || context.options.luaTarget === __1.LuaTarget.Lua51) &&
+        (0, typescript_1.isInGeneratorFunction)(statement)) {
         context.diagnostics.push((0, diagnostics_1.unsupportedForTarget)(statement, "try/catch inside generator functions", __1.LuaTarget.Lua51));
         return tryBlock.statements;
     }

package/dist/transformation/visitors/function.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.transformYieldExpression = exports.transformFunctionDeclaration = exports.transformFunctionLikeDeclaration = exports.transformFunctionToExpression = exports.transformParameters = exports.transformFunctionBody = exports.transformFunctionBodyHeader = exports.transformFunctionBodyContent = exports.isFunctionTypeWithProperties = exports.createCallableTable = void 0;
 const ts = require("typescript");
+const CompilerOptions_1 = require("../../CompilerOptions");
 const lua = require("../../LuaAST");
 const utils_1 = require("../../utils");
 const export_1 = require("../utils/export");
@@ -99,7 +100,7 @@ function transformFunctionBodyHeader(context, bodyScope, parameters, spreadIdent
     }
     // Push spread operator here
     if (spreadIdentifier && isRestParameterReferenced(spreadIdentifier, bodyScope)) {
-        const spreadTable = (0, lua_ast_1.wrapInTable)(lua.createDotsLiteral());
+        const spreadTable = context.luaTarget === CompilerOptions_1.LuaTarget.Lua50 ? lua.createArgLiteral() : (0, lua_ast_1.wrapInTable)(lua.createDotsLiteral());
         headerStatements.push(lua.createVariableDeclarationStatement(spreadIdentifier, spreadTable));
     }
     // Binding pattern statements need to be after spread table is declared

package/dist/transformation/visitors/identifier.js

@@ -28,7 +28,10 @@ function transformNonValueIdentifier(context, identifier, symbol) {
         : (0, language_extensions_1.getExtensionKindForNode)(context, identifier);
     if (extensionKind) {
         if (call_extension_1.callExtensions.has(extensionKind)) {
-            context.diagnostics.push((0, diagnostics_1.invalidCallExtensionUse)(identifier));
+            // Avoid putting duplicate diagnostic on the name of a variable declaration, due to the inferred type
+            if (!(ts.isVariableDeclaration(identifier.parent) && identifier.parent.name === identifier)) {
+                context.diagnostics.push((0, diagnostics_1.invalidCallExtensionUse)(identifier));
+            }
             // fall through
         }
         else if ((0, identifier_1.isIdentifierExtensionValue)(symbol, extensionKind)) {

package/dist/transformation/visitors/language-extensions/multi.js

@@ -11,7 +11,9 @@ function isMultiReturnType(type) {
 }
 exports.isMultiReturnType = isMultiReturnType;
 function canBeMultiReturnType(type) {
-    return isMultiReturnType(type) || (type.isUnion() && type.types.some(t => canBeMultiReturnType(t)));
+    return ((type.flags & ts.TypeFlags.Any) !== 0 ||
+        isMultiReturnType(type) ||
+        (type.isUnion() && type.types.some(t => canBeMultiReturnType(t))));
 }
 exports.canBeMultiReturnType = canBeMultiReturnType;
 function isMultiFunctionCall(context, expression) {

package/dist/transformation/visitors/language-extensions/operators.js

@@ -101,7 +101,8 @@ function transformUnaryOperator(context, node, kind) {
     return lua.createUnaryExpression(context.transformExpression(arg), luaOperator);
 }
 function checkHasLua53(context, node, kind) {
-    const isBefore53 = context.luaTarget === CompilerOptions_1.LuaTarget.Lua51 ||
+    const isBefore53 = context.luaTarget === CompilerOptions_1.LuaTarget.Lua50 ||
+        context.luaTarget === CompilerOptions_1.LuaTarget.Lua51 ||
         context.luaTarget === CompilerOptions_1.LuaTarget.Lua52 ||
         context.luaTarget === CompilerOptions_1.LuaTarget.LuaJIT ||
         context.luaTarget === CompilerOptions_1.LuaTarget.Universal;

package/dist/transformation/visitors/literal.js

@@ -11,6 +11,7 @@ const typescript_1 = require("../utils/typescript");
 const function_1 = require("./function");
 const expression_list_1 = require("./expression-list");
 const identifier_1 = require("./identifier");
+const CompilerOptions_1 = require("../../CompilerOptions");
 // TODO: Move to object-literal.ts?
 function transformPropertyName(context, node) {
     if (ts.isComputedPropertyName(node)) {
@@ -31,11 +32,18 @@ function createShorthandIdentifier(context, valueSymbol, propertyIdentifier) {
     return (0, identifier_1.transformIdentifierWithSymbol)(context, propertyIdentifier, valueSymbol);
 }
 exports.createShorthandIdentifier = createShorthandIdentifier;
-const transformNumericLiteralExpression = expression => {
+const transformNumericLiteralExpression = (expression, context) => {
     if (expression.text === "Infinity") {
-        const math = lua.createIdentifier("math");
-        const huge = lua.createStringLiteral("huge");
-        return lua.createTableIndexExpression(math, huge, expression);
+        if (context.luaTarget === CompilerOptions_1.LuaTarget.Lua50) {
+            const one = lua.createNumericLiteral(1);
+            const zero = lua.createNumericLiteral(0);
+            return lua.createBinaryExpression(one, zero, lua.SyntaxKind.DivisionOperator);
+        }
+        else {
+            const math = lua.createIdentifier("math");
+            const huge = lua.createStringLiteral("huge");
+            return lua.createTableIndexExpression(math, huge, expression);
+        }
     }
     return lua.createNumericLiteral(Number(expression.text), expression);
 };

package/dist/transformation/visitors/loops/do-while.js

@@ -3,8 +3,11 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.transformDoStatement = exports.transformWhileStatement = void 0;
 const lua = require("../../../LuaAST");
 const preceding_statements_1 = require("../../utils/preceding-statements");
+const conditional_1 = require("../conditional");
 const utils_1 = require("./utils");
 const transformWhileStatement = (statement, context) => {
+    // Check if we need to add diagnostic about Lua truthiness
+    (0, conditional_1.checkOnlyTruthyCondition)(statement.expression, context);
     const body = (0, utils_1.transformLoopBody)(context, statement);
     let [conditionPrecedingStatements, condition] = (0, preceding_statements_1.transformInPrecedingStatementScope)(context, () => context.transformExpression(statement.expression));
     // If condition has preceding statements, ensure they are executed every iteration by using the form:
@@ -25,6 +28,8 @@ const transformWhileStatement = (statement, context) => {
 };
 exports.transformWhileStatement = transformWhileStatement;
 const transformDoStatement = (statement, context) => {
+    // Check if we need to add diagnostic about Lua truthiness
+    (0, conditional_1.checkOnlyTruthyCondition)(statement.expression, context);
     const body = lua.createDoStatement((0, utils_1.transformLoopBody)(context, statement));
     let [conditionPrecedingStatements, condition] = (0, preceding_statements_1.transformInPrecedingStatementScope)(context, () => (0, utils_1.invertCondition)(context.transformExpression(statement.expression)));
     // If condition has preceding statements, ensure they are executed every iteration by using the form: