@defold-typescript/transpiler 0.39.0 → 0.41.0

package/dist/index.d.ts

@@ -32,6 +32,8 @@ export type { SceneMessage } from "./scene-text-format";
 export { parseSceneTextFormat, SceneTextFormatError } from "./scene-text-format";
 export type { TranspileSession } from "./session";
 export { createTranspileSession } from "./session";
+export type { TextScriptPropertyFinding } from "./text-script-property";
+export { findTextScriptProperties } from "./text-script-property";
 export { TIMERS_REQUIRE_NAME } from "./timers-runtime";
 export type { TranspileDiagnostic, TranspileProjectInput, TranspileProjectResult, TranspileResult, } from "./transpile";
 export { transpile, transpileProject } from "./transpile";

package/dist/index.js

@@ -270,11 +270,11 @@ function emitInitMerge(fn, context, property) {
   const initFn = createFunctionExpression2(createBlock2([stateDecl, guard]), [createIdentifier2("self")], undefined, NodeFlags2.Declaration, fn);
   return [builderDecl, createAssignmentStatement(createIdentifier2("init"), initFn, property)];
 }
-function emitPropertyRegistrations(property, context) {
+function propertyMembers(property) {
   if (!ts2.isPropertyAssignment(property) || !ts2.isObjectLiteralExpression(property.initializer)) {
     return [];
   }
-  const registrations = [];
+  const members = [];
   for (const member of property.initializer.properties) {
     if (!ts2.isPropertyAssignment(member)) {
       continue;
@@ -283,21 +283,34 @@ function emitPropertyRegistrations(property, context) {
     if (!ts2.isIdentifier(key) && !ts2.isStringLiteral(key)) {
       continue;
     }
-    registrations.push(createExpressionStatement(createCallExpression2(createTableIndexExpression(createIdentifier2("go"), createStringLiteral2("property")), [createStringLiteral2(key.text), context.transformExpression(member.initializer)])));
+    members.push({ name: key.text, initializer: member.initializer });
   }
-  return registrations;
+  return members;
 }
-function eraseFactoryCall(expression, context) {
+function factoryHooks(expression, checker) {
   if (!ts2.isCallExpression(expression)) {
     return;
   }
-  if (!resolvesToFactoryExport(expression.expression, context.checker)) {
+  if (!resolvesToFactoryExport(expression.expression, checker)) {
     return;
   }
   const hooks = expression.arguments[0];
   if (hooks === undefined || !ts2.isObjectLiteralExpression(hooks)) {
     return;
   }
+  return hooks;
+}
+function isPropertiesHook(property) {
+  return hookName(property) === "properties";
+}
+function emitPropertyRegistrations(property, context) {
+  return propertyMembers(property).map(({ name, initializer }) => createExpressionStatement(createCallExpression2(createTableIndexExpression(createIdentifier2("go"), createStringLiteral2("property")), [createStringLiteral2(name), context.transformExpression(initializer)])));
+}
+function eraseFactoryCall(expression, context) {
+  const hooks = factoryHooks(expression, context.checker);
+  if (hooks === undefined) {
+    return;
+  }
   const registrations = [];
   const statements = [];
   for (const property of hooks.properties) {
@@ -2058,7 +2071,7 @@ function computeOutputRel(rel, config, kind) {
   return baseRel.replace(/\.ts$/, SCRIPT_SUFFIX_BY_KIND[kind]);
 }
 // src/program-diagnostics.ts
-import * as ts8 from "typescript";
+import * as ts9 from "typescript";
 import * as tstl from "typescript-to-lua";
 
 // src/message-guard-lowering.ts
@@ -2126,11 +2139,41 @@ var timersLoweringPlugin = {
   }
 };
 
-// src/window-event-guard-lowering.ts
+// src/type-application-erasure.ts
 import * as ts7 from "typescript";
+var TYPE_APPLICATION_APIS = new Set(["go.get", "go.set"]);
+function isTypeApplication(call, checker) {
+  if (call.arguments.length !== 0)
+    return false;
+  const declaration = checker.getResolvedSignature(call)?.declaration;
+  if (declaration === undefined || !ts7.isFunctionDeclaration(declaration))
+    return false;
+  if (declaration.parameters.length !== 0 || declaration.typeParameters === undefined)
+    return false;
+  if (declaration.name === undefined)
+    return false;
+  const symbol = checker.getSymbolAtLocation(declaration.name);
+  if (symbol === undefined)
+    return false;
+  const fqn = checker.getFullyQualifiedName(symbol);
+  return fqn.startsWith("global.") && TYPE_APPLICATION_APIS.has(fqn.slice("global.".length));
+}
+var typeApplicationErasurePlugin = {
+  visitors: {
+    [ts7.SyntaxKind.CallExpression]: (node, context) => {
+      if (isTypeApplication(node, context.checker)) {
+        return context.transformExpression(node.expression);
+      }
+      return context.superTransformExpression(node);
+    }
+  }
+};
+
+// src/window-event-guard-lowering.ts
+import * as ts8 from "typescript";
 import {
   createBinaryExpression as createBinaryExpression4,
-  SyntaxKind as SyntaxKind10
+  SyntaxKind as SyntaxKind11
 } from "typescript-to-lua";
 var GUARD_MODULE2 = "@defold-typescript/types";
 var GUARD_NAME2 = "isWindowEvent";
@@ -2139,7 +2182,7 @@ function resolvesToGuardExport2(callee, checker) {
   if (symbol === undefined) {
     return false;
   }
-  if (symbol.flags & ts7.SymbolFlags.Alias) {
+  if (symbol.flags & ts8.SymbolFlags.Alias) {
     symbol = checker.getAliasedSymbol(symbol);
   }
   if (symbol.getName() !== GUARD_NAME2) {
@@ -2153,12 +2196,12 @@ function resolvesToGuardExport2(callee, checker) {
 }
 var windowEventGuardLoweringPlugin = {
   visitors: {
-    [ts7.SyntaxKind.CallExpression]: (node, context) => {
+    [ts8.SyntaxKind.CallExpression]: (node, context) => {
       const [eventArg, , expectedArg] = node.arguments;
       if (node.arguments.length === 3 && eventArg !== undefined && expectedArg !== undefined && resolvesToGuardExport2(node.expression, context.checker)) {
         const event = context.transformExpression(eventArg);
         const expected = context.transformExpression(expectedArg);
-        return createBinaryExpression4(event, expected, SyntaxKind10.EqualityOperator, node);
+        return createBinaryExpression4(event, expected, SyntaxKind11.EqualityOperator, node);
       }
       return context.superTransformExpression(node);
     }
@@ -2171,14 +2214,15 @@ var LUA_PLUGINS = [
   messageGuardLoweringPlugin,
   windowEventGuardLoweringPlugin,
   messageDispatchLoweringPlugin,
-  timersLoweringPlugin
+  timersLoweringPlugin,
+  typeApplicationErasurePlugin
 ];
 var noopWriteFile = () => {};
 function isAmbient(fileName) {
   return /[\\/]node_modules[\\/]/.test(fileName) || /(^|[\\/])lib\.[^\\/]*\.d\.ts$/.test(fileName);
 }
 function getProgramDiagnostics(program, sourceFile) {
-  const { diagnostics } = tstl.getProgramTranspileResult(ts8.sys, noopWriteFile, {
+  const { diagnostics } = tstl.getProgramTranspileResult(ts9.sys, noopWriteFile, {
     program,
     plugins: LUA_PLUGINS,
     ...sourceFile ? { sourceFiles: [sourceFile] } : {}
@@ -2749,11 +2793,11 @@ function relativeAddressesFrom(index, context) {
 import { readFileSync as readFileSync2 } from "node:fs";
 import { createRequire as createRequire2 } from "node:module";
 import * as path3 from "node:path";
-import * as ts12 from "typescript";
+import * as ts13 from "typescript";
 import * as tstl3 from "typescript-to-lua";
 
 // src/companion-emit.ts
-import * as ts9 from "typescript";
+import * as ts10 from "typescript";
 import {
   createAssignmentStatement as createAssignmentStatement2,
   createCallExpression as createCallExpression4,
@@ -2787,8 +2831,8 @@ function exportsIdentifier() {
 }
 function isRuntimeScriptSource(sourceFile, checker) {
   return sourceFile.statements.some((statement) => {
-    const expression = ts9.isExpressionStatement(statement) ? statement.expression : ts9.isExportAssignment(statement) && !statement.isExportEquals ? statement.expression : undefined;
-    return expression !== undefined && ts9.isCallExpression(expression) && resolvesToFactoryExport(expression.expression, checker);
+    const expression = ts10.isExpressionStatement(statement) ? statement.expression : ts10.isExportAssignment(statement) && !statement.isExportEquals ? statement.expression : undefined;
+    return expression !== undefined && ts10.isCallExpression(expression) && resolvesToFactoryExport(expression.expression, checker);
   });
 }
 function planFor(sourceFile, checker) {
@@ -2940,11 +2984,11 @@ function freeNames(statements) {
 function resolvedRequirePaths(sourceFile, checker) {
   const paths = new Map;
   for (const statement of sourceFile.statements) {
-    const specifier = ts9.isImportDeclaration(statement) || ts9.isExportDeclaration(statement) ? statement.moduleSpecifier : undefined;
-    if (specifier === undefined || !ts9.isStringLiteral(specifier)) {
+    const specifier = ts10.isImportDeclaration(statement) || ts10.isExportDeclaration(statement) ? statement.moduleSpecifier : undefined;
+    if (specifier === undefined || !ts10.isStringLiteral(specifier)) {
       continue;
     }
-    const target = checker.getSymbolAtLocation(specifier)?.declarations?.find((declaration) => ts9.isSourceFile(declaration));
+    const target = checker.getSymbolAtLocation(specifier)?.declarations?.find((declaration) => ts10.isSourceFile(declaration));
     if (target === undefined || target.isDeclarationFile) {
       continue;
     }
@@ -3108,11 +3152,11 @@ function createCompanionEmitPlugin() {
     return statements;
   }
   const visitors = {
-    [ts9.SyntaxKind.VariableStatement]: capture,
-    [ts9.SyntaxKind.FunctionDeclaration]: capture,
-    [ts9.SyntaxKind.ClassDeclaration]: capture,
-    [ts9.SyntaxKind.EnumDeclaration]: capture,
-    [ts9.SyntaxKind.ExportDeclaration]: capture
+    [ts10.SyntaxKind.VariableStatement]: capture,
+    [ts10.SyntaxKind.FunctionDeclaration]: capture,
+    [ts10.SyntaxKind.ClassDeclaration]: capture,
+    [ts10.SyntaxKind.EnumDeclaration]: capture,
+    [ts10.SyntaxKind.ExportDeclaration]: capture
   };
   let configuredNoResolvePaths = [];
   const plugin = {
@@ -3181,7 +3225,7 @@ function emitCompanion(program, emitHost, file, sourceFile, plan, owned, compani
 }
 
 // src/editor-script-erasure.ts
-import * as ts10 from "typescript";
+import * as ts11 from "typescript";
 import {
   createReturnStatement as createReturnStatement3
 } from "typescript-to-lua";
@@ -3201,7 +3245,7 @@ function resolveEditorFactoryExport(callee, checker) {
   if (symbol === undefined) {
     return;
   }
-  if (symbol.flags & ts10.SymbolFlags.Alias) {
+  if (symbol.flags & ts11.SymbolFlags.Alias) {
     symbol = checker.getAliasedSymbol(symbol);
   }
   const name = symbol.getName();
@@ -3215,7 +3259,7 @@ function resolveEditorFactoryExport(callee, checker) {
   return declaration.getSourceFile().fileName.includes(EDITOR_FACTORY_MODULE) ? name : undefined;
 }
 function lowerEditorFactoryCall(expression, context) {
-  if (!ts10.isCallExpression(expression)) {
+  if (!ts11.isCallExpression(expression)) {
     return;
   }
   if (resolveEditorFactoryExport(expression.expression, context.checker) !== EDITOR_SCRIPT_FACTORY_NAME) {
@@ -3228,7 +3272,7 @@ function lowerEditorFactoryCall(expression, context) {
   return [createReturnStatement3([context.transformExpression(module)])];
 }
 function isEditorFactoryOnlyImport(node) {
-  if (!ts10.isStringLiteral(node.moduleSpecifier) || !EDITOR_FACTORY_SPECIFIERS.has(node.moduleSpecifier.text)) {
+  if (!ts11.isStringLiteral(node.moduleSpecifier) || !EDITOR_FACTORY_SPECIFIERS.has(node.moduleSpecifier.text)) {
     return false;
   }
   const clause = node.importClause;
@@ -3239,7 +3283,7 @@ function isEditorFactoryOnlyImport(node) {
     return false;
   }
   const bindings = clause.namedBindings;
-  if (bindings === undefined || !ts10.isNamedImports(bindings)) {
+  if (bindings === undefined || !ts11.isNamedImports(bindings)) {
     return false;
   }
   const runtime = bindings.elements.filter((element) => !element.isTypeOnly);
@@ -3250,7 +3294,7 @@ function isEditorFactoryOnlyImport(node) {
 }
 var editorScriptErasurePlugin = {
   visitors: {
-    [ts10.SyntaxKind.ExportAssignment]: (node, context) => {
+    [ts11.SyntaxKind.ExportAssignment]: (node, context) => {
       if (!node.isExportEquals) {
         const lowered = lowerEditorFactoryCall(node.expression, context);
         if (lowered !== undefined) {
@@ -3259,14 +3303,14 @@ var editorScriptErasurePlugin = {
       }
       return context.superTransformStatements(node);
     },
-    [ts10.SyntaxKind.CallExpression]: (node, context) => {
+    [ts11.SyntaxKind.CallExpression]: (node, context) => {
       const command = node.arguments[0];
       if (command !== undefined && resolveEditorFactoryExport(node.expression, context.checker) === EDITOR_COMMAND_FACTORY_NAME) {
         return context.transformExpression(command);
       }
       return context.superTransformExpression(node);
     },
-    [ts10.SyntaxKind.ImportDeclaration]: (node, context) => isEditorFactoryOnlyImport(node) ? [] : context.superTransformStatements(node)
+    [ts11.SyntaxKind.ImportDeclaration]: (node, context) => isEditorFactoryOnlyImport(node) ? [] : context.superTransformStatements(node)
   }
 };
 
@@ -3277,17 +3321,17 @@ import * as path2 from "node:path";
 import * as tstl2 from "typescript-to-lua";
 
 // src/go-property-direct-call.ts
-import * as ts11 from "typescript";
+import * as ts12 from "typescript";
 var GO_PROPERTY_DIRECT_CALL_MESSAGE = "`go.property` called directly is deprecated; declare the property in `defineScript({ properties })` so it types onto `self` (the transpiler emits the registration for you).";
 function findDirectGoPropertyCalls(sourceFile) {
   const calls = [];
   const visit = (node) => {
-    if (ts11.isCallExpression(node) && ts11.isPropertyAccessExpression(node.expression) && node.expression.name.text === "property" && ts11.isIdentifier(node.expression.expression) && node.expression.expression.text === "go") {
+    if (ts12.isCallExpression(node) && ts12.isPropertyAccessExpression(node.expression) && node.expression.name.text === "property" && ts12.isIdentifier(node.expression.expression) && node.expression.expression.text === "go") {
       calls.push(node);
     }
-    ts11.forEachChild(node, visit);
+    ts12.forEachChild(node, visit);
   };
-  ts11.forEachChild(sourceFile, visit);
+  ts12.forEachChild(sourceFile, visit);
   return calls;
 }
 
@@ -3467,6 +3511,7 @@ function transpileProject(input) {
       { plugin: windowEventGuardLoweringPlugin },
       { plugin: messageDispatchLoweringPlugin },
       { plugin: timersLoweringPlugin },
+      { plugin: typeApplicationErasurePlugin },
       { plugin: companionEmit.plugin }
     ]
   });
@@ -3497,6 +3542,7 @@ function compilerOptions(companionEmit) {
       { plugin: windowEventGuardLoweringPlugin },
       { plugin: messageDispatchLoweringPlugin },
       { plugin: timersLoweringPlugin },
+      { plugin: typeApplicationErasurePlugin },
       { plugin: companionEmit.plugin }
     ]
   };
@@ -3539,7 +3585,7 @@ function createTranspileSession() {
       if (cached) {
         return cached;
       }
-      const created = ts12.createSourceFile(fileName, content, ts12.ScriptTarget.Latest, false);
+      const created = ts13.createSourceFile(fileName, content, ts13.ScriptTarget.Latest, false);
       sourceFileCache.set(normalized, created);
       return created;
     }
@@ -3558,7 +3604,7 @@ function createTranspileSession() {
         return cached;
       }
       const fileContent = readFileSync2(filePath, "utf8");
-      const created = ts12.createSourceFile(filePath, fileContent, ts12.ScriptTarget.Latest, false);
+      const created = ts13.createSourceFile(filePath, fileContent, ts13.ScriptTarget.Latest, false);
       libCache.set(fileName, created);
       return created;
     }
@@ -3571,10 +3617,10 @@ function createTranspileSession() {
     return AMBIENT_FILES[normalized];
   }
   const host = {
-    fileExists: (fileName) => mergedContent(normalizeSlashes(fileName)) !== undefined || ts12.sys.fileExists(fileName),
+    fileExists: (fileName) => mergedContent(normalizeSlashes(fileName)) !== undefined || ts13.sys.fileExists(fileName),
     getCanonicalFileName: (fileName) => fileName,
     getCurrentDirectory: () => "",
-    getDefaultLibFileName: ts12.getDefaultLibFileName,
+    getDefaultLibFileName: ts13.getDefaultLibFileName,
     readFile: () => "",
     getNewLine: () => `
 `,
@@ -3596,15 +3642,15 @@ function createTranspileSession() {
     const userKeys = new Set(userFiles.keys());
     const rootNames = [...Object.keys(AMBIENT_FILES).map(normalizeSlashes), ...userKeys];
     const companionEmit = createCompanionEmitPlugin();
-    program = ts12.createProgram(rootNames, compilerOptions(companionEmit), host, program);
-    const preEmitDiagnostics = ts12.getPreEmitDiagnostics(program);
+    program = ts13.createProgram(rootNames, compilerOptions(companionEmit), host, program);
+    const preEmitDiagnostics = ts13.getPreEmitDiagnostics(program);
     const collector = createOutputCollector();
     const { diagnostics: transpileDiagnostics } = new tstl3.Transpiler().emit({
       program,
       writeFile: collector.writeFile
     });
     const diagnostics = [
-      ...ts12.sortAndDeduplicateDiagnostics([...preEmitDiagnostics, ...transpileDiagnostics])
+      ...ts13.sortAndDeduplicateDiagnostics([...preEmitDiagnostics, ...transpileDiagnostics])
     ];
     return collectOutputs(collector.files, diagnostics, userKeys, companionEmit.companions);
   }
@@ -3613,8 +3659,71 @@ function createTranspileSession() {
     getProgram: () => program
   };
 }
+// src/text-script-property.ts
+import * as ts14 from "typescript";
+function findTextScriptProperties(program, fileNames) {
+  const checker = program.getTypeChecker();
+  const findings = [];
+  for (const file of fileNames) {
+    const sourceFile = program.getSourceFile(file);
+    if (sourceFile === undefined) {
+      continue;
+    }
+    const located = [];
+    const visit = (node) => {
+      if (ts14.isCallExpression(node)) {
+        const hooks = factoryHooks(node, checker);
+        for (const property of hooks?.properties ?? []) {
+          if (!isPropertiesHook(property)) {
+            continue;
+          }
+          for (const { name, initializer } of propertyMembers(property)) {
+            if (mayHoldString(checker.getTypeAtLocation(initializer), checker)) {
+              located.push({ name, value: initializer });
+            }
+          }
+        }
+      }
+      ts14.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    for (const call of findDirectGoPropertyCalls(sourceFile)) {
+      const [nameArgument, value] = call.arguments;
+      if (nameArgument === undefined || value === undefined) {
+        continue;
+      }
+      if (mayHoldString(checker.getTypeAtLocation(value), checker)) {
+        const name = ts14.isStringLiteralLike(nameArgument) ? nameArgument.text : nameArgument.getText(sourceFile);
+        located.push({ name, value });
+      }
+    }
+    located.sort((left, right) => left.value.getStart(sourceFile) - right.value.getStart(sourceFile));
+    for (const { name, value } of located) {
+      const position = sourceFile.getLineAndCharacterOfPosition(value.getStart(sourceFile));
+      findings.push({ name, file, line: position.line + 1, column: position.character + 1 });
+    }
+  }
+  return findings;
+}
+function mayHoldString(type, checker, visited = new Set) {
+  if (visited.has(type)) {
+    return false;
+  }
+  visited.add(type);
+  if (type.flags & ts14.TypeFlags.StringLike) {
+    return true;
+  }
+  if (type.isUnionOrIntersection()) {
+    return type.types.some((member) => mayHoldString(member, checker, visited));
+  }
+  if (type.flags & ts14.TypeFlags.Instantiable) {
+    const constraint = checker.getBaseConstraintOfType(type);
+    return constraint !== undefined && constraint !== type ? mayHoldString(constraint, checker, visited) : false;
+  }
+  return false;
+}
 // src/url-address-slots.ts
-import * as ts13 from "typescript";
+import * as ts15 from "typescript";
 var ADDRESS_CLASSES = {
   "game-object": true,
   component: true,
@@ -3633,7 +3742,7 @@ function isFragmentCaret(slot, position) {
   return slot.fragmentStart !== -1 && position >= slot.fragmentStart;
 }
 function tableKey(checker, callee) {
-  const symbol = checker.getSymbolAtLocation(ts13.isIdentifier(callee) ? callee : callee.name);
+  const symbol = checker.getSymbolAtLocation(ts15.isIdentifier(callee) ? callee : callee.name);
   if (!symbol)
     return;
   const fqn = checker.getFullyQualifiedName(symbol);
@@ -3641,43 +3750,43 @@ function tableKey(checker, callee) {
 }
 function parameterName(checker, call, index) {
   const declaration = checker.getResolvedSignature(call)?.declaration;
-  if (!declaration || !ts13.isFunctionLike(declaration))
+  if (!declaration || !ts15.isFunctionLike(declaration))
     return;
   const parameter = declaration.parameters[index];
-  if (!parameter || parameter.dotDotDotToken || !ts13.isIdentifier(parameter.name))
+  if (!parameter || parameter.dotDotDotToken || !ts15.isIdentifier(parameter.name))
     return;
   return parameter.name.text;
 }
 var EQUALITY_OPERATORS = new Set([
-  ts13.SyntaxKind.EqualsEqualsEqualsToken,
-  ts13.SyntaxKind.ExclamationEqualsEqualsToken,
-  ts13.SyntaxKind.EqualsEqualsToken,
-  ts13.SyntaxKind.ExclamationEqualsToken
+  ts15.SyntaxKind.EqualsEqualsEqualsToken,
+  ts15.SyntaxKind.ExclamationEqualsEqualsToken,
+  ts15.SyntaxKind.EqualsEqualsToken,
+  ts15.SyntaxKind.ExclamationEqualsToken
 ]);
 function comparisonSatisfied(checker, entry, call) {
   if (entry.comparedParameter === undefined)
     return true;
   let node = call;
-  while (ts13.isParenthesizedExpression(node.parent))
+  while (ts15.isParenthesizedExpression(node.parent))
     node = node.parent;
   const comparison = node.parent;
-  if (!ts13.isBinaryExpression(comparison))
+  if (!ts15.isBinaryExpression(comparison))
     return false;
   if (!EQUALITY_OPERATORS.has(comparison.operatorToken.kind))
     return false;
   const other = comparison.left === node ? comparison.right : comparison.left;
   const symbol = checker.getSymbolAtLocation(other);
-  return (symbol?.declarations ?? []).some((declaration) => ts13.isParameter(declaration) && ts13.isIdentifier(declaration.name) && declaration.name.text === entry.comparedParameter);
+  return (symbol?.declarations ?? []).some((declaration) => ts15.isParameter(declaration) && ts15.isIdentifier(declaration.name) && declaration.name.text === entry.comparedParameter);
 }
 function classifiedEntryOfArgument(checker, table, argument) {
   const call = argument.parent;
-  if (!ts13.isCallExpression(call))
+  if (!ts15.isCallExpression(call))
     return;
   const argumentIndex = call.arguments.indexOf(argument);
   if (argumentIndex === -1)
     return;
   const callee = call.expression;
-  if (!ts13.isPropertyAccessExpression(callee) && !ts13.isIdentifier(callee))
+  if (!ts15.isPropertyAccessExpression(callee) && !ts15.isIdentifier(callee))
     return;
   const fqn = tableKey(checker, callee);
   if (fqn === undefined)
@@ -3694,10 +3803,10 @@ function classifiedEntryOfArgument(checker, table, argument) {
 }
 function slotThroughHashedCall(checker, table, literal) {
   const call = literal.parent;
-  if (!ts13.isCallExpression(call))
+  if (!ts15.isCallExpression(call))
     return;
   const callee = call.expression;
-  if (!ts13.isPropertyAccessExpression(callee) && !ts13.isIdentifier(callee))
+  if (!ts15.isPropertyAccessExpression(callee) && !ts15.isIdentifier(callee))
     return;
   if (tableKey(checker, callee) !== "hash")
     return;
@@ -3715,24 +3824,24 @@ function addressTextOf(checker, entry, call) {
   if (entry.addressParameter === undefined)
     return;
   const declaration = checker.getResolvedSignature(call)?.declaration;
-  if (!declaration || !ts13.isFunctionLike(declaration))
+  if (!declaration || !ts15.isFunctionLike(declaration))
     return;
-  const index = declaration.parameters.findIndex((parameter) => !parameter.dotDotDotToken && ts13.isIdentifier(parameter.name) && parameter.name.text === entry.addressParameter);
+  const index = declaration.parameters.findIndex((parameter) => !parameter.dotDotDotToken && ts15.isIdentifier(parameter.name) && parameter.name.text === entry.addressParameter);
   if (index === -1)
     return;
   const argument = call.arguments[index];
-  return argument && ts13.isStringLiteralLike(argument) ? argument.text : undefined;
+  return argument && ts15.isStringLiteralLike(argument) ? argument.text : undefined;
 }
 function innermostLiteralAt(sourceFile, position) {
   let found;
   const visit = (node) => {
     if (position < node.getStart(sourceFile) || position > node.getEnd())
       return;
-    if (ts13.isStringLiteralLike(node))
+    if (ts15.isStringLiteralLike(node))
       found = node;
-    ts13.forEachChild(node, visit);
+    ts15.forEachChild(node, visit);
   };
-  ts13.forEachChild(sourceFile, visit);
+  ts15.forEachChild(sourceFile, visit);
   return found;
 }
 function resolveClassifiedSlotAtPosition(input) {
@@ -3766,23 +3875,23 @@ function resolveClassifiedSlotAtPosition(input) {
   };
 }
 // src/url-cross-world-address.ts
-import * as ts15 from "typescript";
+import * as ts17 from "typescript";
 
 // src/url-address-literals.ts
-import * as ts14 from "typescript";
+import * as ts16 from "typescript";
 function isAmbient2(fileName) {
   return /[\\/]node_modules[\\/]/.test(fileName) || /(^|[\\/])lib\.[^\\/]*\.d\.ts$/.test(fileName);
 }
 function referenceTargetSymbol(type) {
-  if ((type.flags & ts14.TypeFlags.Object) === 0)
+  if ((type.flags & ts16.TypeFlags.Object) === 0)
     return;
-  if ((type.objectFlags & ts14.ObjectFlags.Reference) === 0)
+  if ((type.objectFlags & ts16.ObjectFlags.Reference) === 0)
     return;
   return type.target.symbol;
 }
 function ambientHashAliasTargets(checker, anchor) {
   const targets = new Set;
-  for (const symbol of checker.getSymbolsInScope(anchor, ts14.SymbolFlags.Type)) {
+  for (const symbol of checker.getSymbolsInScope(anchor, ts16.SymbolFlags.Type)) {
     if (symbol.name !== "Hash")
       continue;
     const target = referenceTargetSymbol(checker.getDeclaredTypeOfSymbol(symbol));
@@ -3798,7 +3907,7 @@ function canonicalHashSymbols(checker, program) {
   if (!anchor)
     return canonical;
   const aliased = ambientHashAliasTargets(checker, anchor);
-  for (const symbol of checker.getSymbolsInScope(anchor, ts14.SymbolFlags.Function)) {
+  for (const symbol of checker.getSymbolsInScope(anchor, ts16.SymbolFlags.Function)) {
     if (symbol.name !== "hash")
       continue;
     const declaration = symbol.declarations?.[0];
@@ -3820,7 +3929,7 @@ function hashedSourceOfType(checker, type, canonical) {
   return source?.isStringLiteral() ? source.value : undefined;
 }
 function staticAddressTextOf(checker, node, canonical) {
-  return ts14.isStringLiteralLike(node) ? node.text : hashedSourceOfType(checker, checker.getTypeAtLocation(node), canonical);
+  return ts16.isStringLiteralLike(node) ? node.text : hashedSourceOfType(checker, checker.getTypeAtLocation(node), canonical);
 }
 
 // src/url-cross-world-address.ts
@@ -3844,7 +3953,7 @@ function checkCrossWorldAddresses(input) {
     if (worlds.length === 0)
       continue;
     const visit = (node) => {
-      if (ts15.isExpression(node)) {
+      if (ts17.isExpression(node)) {
         const entry = addressEntryOfArgument(checker, table, node);
         if (entry !== undefined && slotRejectsForeignSocket(entry)) {
           const address = staticAddressTextOf(checker, node, canonical);
@@ -3861,14 +3970,14 @@ function checkCrossWorldAddresses(input) {
           }
         }
       }
-      ts15.forEachChild(node, visit);
+      ts17.forEachChild(node, visit);
     };
-    ts15.forEachChild(sourceFile, visit);
+    ts17.forEachChild(sourceFile, visit);
   }
   return findings;
 }
 // src/url-fragment-reachability.ts
-import * as ts16 from "typescript";
+import * as ts18 from "typescript";
 function pathOfKey(key) {
   const socket = socketOfAddress(key);
   return socket === undefined ? key : key.slice(socket.length + 1);
@@ -3913,7 +4022,7 @@ function checkUrlFragmentReachability(input) {
     if (isAmbient2(sourceFile.fileName))
       continue;
     const visit = (node) => {
-      if (ts16.isExpression(node) && isAddressClass(addressClassOfArgument(checker, table, node))) {
+      if (ts18.isExpression(node) && isAddressClass(addressClassOfArgument(checker, table, node))) {
         const text = staticAddressTextOf(checker, node, canonical);
         if (text !== undefined) {
           const hash = text.indexOf("#");
@@ -3932,9 +4041,9 @@ function checkUrlFragmentReachability(input) {
           }
         }
       }
-      ts16.forEachChild(node, visit);
+      ts18.forEachChild(node, visit);
     };
-    ts16.forEachChild(sourceFile, visit);
+    ts18.forEachChild(sourceFile, visit);
   }
   return { kind: "checked", findings };
 }
@@ -3979,6 +4088,7 @@ export {
   displayPathOf,
   findEmittedRequires,
   findMainEntryFactoryImports,
+  findTextScriptProperties,
   getProgramDiagnostics,
   guiScriptResourceOf,
   guiScriptResourcesOf,

package/dist/lifecycle-erasure.d.ts

@@ -3,5 +3,12 @@ import { type Plugin } from "typescript-to-lua";
 export declare const FACTORY_MODULE = "@defold-typescript/types";
 export declare const FACTORY_NAMES: Set<string>;
 export declare function resolvesToFactoryExport(callee: ts.Expression, checker: ts.TypeChecker): boolean;
+export interface PropertyMember {
+    readonly name: string;
+    readonly initializer: ts.Expression;
+}
+export declare function propertyMembers(property: ts.ObjectLiteralElementLike): PropertyMember[];
+export declare function factoryHooks(expression: ts.Expression, checker: ts.TypeChecker): ts.ObjectLiteralExpression | undefined;
+export declare function isPropertiesHook(property: ts.ObjectLiteralElementLike): boolean;
 export declare function isFactoryOnlyImport(node: ts.ImportDeclaration): boolean;
 export declare const lifecycleErasurePlugin: Plugin;

package/dist/text-script-property.d.ts

@@ -0,0 +1,16 @@
+import * as ts from "typescript";
+export interface TextScriptPropertyFinding {
+    readonly name: string;
+    readonly file: string;
+    /** 1-based line of the default's initializer or the direct call's value. */
+    readonly line: number;
+    /** 1-based column of the default's initializer or the direct call's value. */
+    readonly column: number;
+}
+export declare function findTextScriptProperties(program: ts.Program, fileNames: readonly string[]): TextScriptPropertyFinding[];
+/**
+ * Whether a value of `type` may be a string at runtime: a string-like type, a
+ * union or intersection with such a member, or a type parameter or other
+ * instantiable type whose constraint may hold one.
+ */
+export declare function mayHoldString(type: ts.Type, checker: ts.TypeChecker, visited?: Set<ts.Type>): boolean;

package/dist/type-application-erasure.d.ts

@@ -0,0 +1,3 @@
+import type { Plugin } from "typescript-to-lua";
+export declare const TYPE_APPLICATION_APIS: ReadonlySet<string>;
+export declare const typeApplicationErasurePlugin: Plugin;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@defold-typescript/transpiler",
-  "version": "0.39.0",
+  "version": "0.41.0",
   "description": "TypeScript-to-Lua build pipeline tuned for Defold's runtime.",
   "license": "MIT",
   "repository": {
@@ -35,7 +35,7 @@
     "test": "bun test"
   },
   "dependencies": {
-    "@defold-typescript/types": "0.39.0",
+    "@defold-typescript/types": "0.41.0",
     "@typescript-to-lua/language-extensions": "1.19.0",
     "typescript-to-lua": "^1.36.0"
   }

package/src/index.ts

@@ -86,6 +86,8 @@ export type { SceneMessage } from "./scene-text-format";
 export { parseSceneTextFormat, SceneTextFormatError } from "./scene-text-format";
 export type { TranspileSession } from "./session";
 export { createTranspileSession } from "./session";
+export type { TextScriptPropertyFinding } from "./text-script-property";
+export { findTextScriptProperties } from "./text-script-property";
 export { TIMERS_REQUIRE_NAME } from "./timers-runtime";
 export type {
   TranspileDiagnostic,

package/src/lifecycle-erasure.ts

@@ -208,18 +208,19 @@ function emitInitMerge(
   return [builderDecl, createAssignmentStatement(createIdentifier("init"), initFn, property)];
 }
 
-// The value-keyed `properties` field maps each `key: default` to a chunk-scope
-// `go.property("key", default)` the editor reads. Emitted before the hook
-// assignments and after the source's `local` consts, so a default referencing a
-// module const resolves.
-function emitPropertyRegistrations(
-  property: ts.ObjectLiteralElementLike,
-  context: TransformationContext,
-): Statement[] {
+export interface PropertyMember {
+  readonly name: string;
+  readonly initializer: ts.Expression;
+}
+
+// The `key: default` members of a factory's `properties` field that register as
+// script properties: a property assignment keyed by an identifier or a string
+// literal. Shared by the emitter and every analysis of what it registers.
+export function propertyMembers(property: ts.ObjectLiteralElementLike): PropertyMember[] {
   if (!ts.isPropertyAssignment(property) || !ts.isObjectLiteralExpression(property.initializer)) {
     return [];
   }
-  const registrations: Statement[] = [];
+  const members: PropertyMember[] = [];
   for (const member of property.initializer.properties) {
     if (!ts.isPropertyAssignment(member)) {
       continue;
@@ -228,32 +229,60 @@ function emitPropertyRegistrations(
     if (!ts.isIdentifier(key) && !ts.isStringLiteral(key)) {
       continue;
     }
-    registrations.push(
-      createExpressionStatement(
-        createCallExpression(
-          createTableIndexExpression(createIdentifier("go"), createStringLiteral("property")),
-          [createStringLiteral(key.text), context.transformExpression(member.initializer)],
-        ),
-      ),
-    );
+    members.push({ name: key.text, initializer: member.initializer });
   }
-  return registrations;
+  return members;
 }
 
-function eraseFactoryCall(
+// The hooks object literal of a call to a lifecycle factory, or `undefined` when
+// the expression is not one the erasure rewrites.
+export function factoryHooks(
   expression: ts.Expression,
-  context: TransformationContext,
-): Statement[] | undefined {
+  checker: ts.TypeChecker,
+): ts.ObjectLiteralExpression | undefined {
   if (!ts.isCallExpression(expression)) {
     return undefined;
   }
-  if (!resolvesToFactoryExport(expression.expression, context.checker)) {
+  if (!resolvesToFactoryExport(expression.expression, checker)) {
     return undefined;
   }
   const hooks = expression.arguments[0];
   if (hooks === undefined || !ts.isObjectLiteralExpression(hooks)) {
     return undefined;
   }
+  return hooks;
+}
+
+export function isPropertiesHook(property: ts.ObjectLiteralElementLike): boolean {
+  return hookName(property) === "properties";
+}
+
+// The value-keyed `properties` field maps each `key: default` to a chunk-scope
+// `go.property("key", default)` the editor reads. Emitted before the hook
+// assignments and after the source's `local` consts, so a default referencing a
+// module const resolves.
+function emitPropertyRegistrations(
+  property: ts.ObjectLiteralElementLike,
+  context: TransformationContext,
+): Statement[] {
+  return propertyMembers(property).map(({ name, initializer }) =>
+    createExpressionStatement(
+      createCallExpression(
+        createTableIndexExpression(createIdentifier("go"), createStringLiteral("property")),
+        [createStringLiteral(name), context.transformExpression(initializer)],
+      ),
+    ),
+  );
+}
+
+function eraseFactoryCall(
+  expression: ts.Expression,
+  context: TransformationContext,
+): Statement[] | undefined {
+  const hooks = factoryHooks(expression, context.checker);
+  if (hooks === undefined) {
+    return undefined;
+  }
   const registrations: Statement[] = [];
   const statements: Statement[] = [];
   for (const property of hooks.properties) {

package/src/program-diagnostics.ts

@@ -4,6 +4,7 @@ import { lifecycleErasurePlugin } from "./lifecycle-erasure";
 import { messageDispatchLoweringPlugin } from "./message-dispatch-lowering";
 import { messageGuardLoweringPlugin } from "./message-guard-lowering";
 import { timersLoweringPlugin } from "./timers-lowering";
+import { typeApplicationErasurePlugin } from "./type-application-erasure";
 import { windowEventGuardLoweringPlugin } from "./window-event-guard-lowering";
 
 // The same lua plugins the build path lists (transpile.ts / session.ts), so the
@@ -14,6 +15,7 @@ const LUA_PLUGINS: tstl.Plugin[] = [
   windowEventGuardLoweringPlugin,
   messageDispatchLoweringPlugin,
   timersLoweringPlugin,
+  typeApplicationErasurePlugin,
 ];
 
 const noopWriteFile: ts.WriteFileCallback = () => {};

package/src/session.ts

@@ -10,6 +10,7 @@ import { messageDispatchLoweringPlugin } from "./message-dispatch-lowering";
 import { messageGuardLoweringPlugin } from "./message-guard-lowering";
 import { timersLoweringPlugin } from "./timers-lowering";
 import { AMBIENT_FILES, collectOutputs, type TranspileProjectResult } from "./transpile";
+import { typeApplicationErasurePlugin } from "./type-application-erasure";
 import { windowEventGuardLoweringPlugin } from "./window-event-guard-lowering";
 
 export interface TranspileSession {
@@ -43,6 +44,7 @@ function compilerOptions(companionEmit: CompanionEmitter): tstl.CompilerOptions
       { plugin: windowEventGuardLoweringPlugin },
       { plugin: messageDispatchLoweringPlugin },
       { plugin: timersLoweringPlugin },
+      { plugin: typeApplicationErasurePlugin },
       { plugin: companionEmit.plugin },
     ],
   };

package/src/text-script-property.ts

@@ -0,0 +1,100 @@
+import * as ts from "typescript";
+import { findDirectGoPropertyCalls } from "./go-property-direct-call";
+import { factoryHooks, isPropertiesHook, propertyMembers } from "./lifecycle-erasure";
+
+export interface TextScriptPropertyFinding {
+  readonly name: string;
+  readonly file: string;
+  /** 1-based line of the default's initializer or the direct call's value. */
+  readonly line: number;
+  /** 1-based column of the default's initializer or the direct call's value. */
+  readonly column: number;
+}
+
+// The script properties whose default may hold a string, declared either in a
+// `properties` field or by a direct `go.property` call. Defold registers a
+// string `go.property` only from 1.13.2, so a build for an older target must
+// refuse them; typed rather than literal-driven, so a const holding a string
+// counts.
+export function findTextScriptProperties(
+  program: ts.Program,
+  fileNames: readonly string[],
+): TextScriptPropertyFinding[] {
+  const checker = program.getTypeChecker();
+  const findings: TextScriptPropertyFinding[] = [];
+
+  for (const file of fileNames) {
+    const sourceFile = program.getSourceFile(file);
+    if (sourceFile === undefined) {
+      continue;
+    }
+    const located: { name: string; value: ts.Node }[] = [];
+    const visit = (node: ts.Node): void => {
+      if (ts.isCallExpression(node)) {
+        const hooks = factoryHooks(node, checker);
+        for (const property of hooks?.properties ?? []) {
+          if (!isPropertiesHook(property)) {
+            continue;
+          }
+          for (const { name, initializer } of propertyMembers(property)) {
+            if (mayHoldString(checker.getTypeAtLocation(initializer), checker)) {
+              located.push({ name, value: initializer });
+            }
+          }
+        }
+      }
+      ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    for (const call of findDirectGoPropertyCalls(sourceFile)) {
+      const [nameArgument, value] = call.arguments;
+      if (nameArgument === undefined || value === undefined) {
+        continue;
+      }
+      if (mayHoldString(checker.getTypeAtLocation(value), checker)) {
+        const name = ts.isStringLiteralLike(nameArgument)
+          ? nameArgument.text
+          : nameArgument.getText(sourceFile);
+        located.push({ name, value });
+      }
+    }
+    located.sort(
+      (left, right) => left.value.getStart(sourceFile) - right.value.getStart(sourceFile),
+    );
+    for (const { name, value } of located) {
+      const position = sourceFile.getLineAndCharacterOfPosition(value.getStart(sourceFile));
+      findings.push({ name, file, line: position.line + 1, column: position.character + 1 });
+    }
+  }
+
+  return findings;
+}
+
+/**
+ * Whether a value of `type` may be a string at runtime: a string-like type, a
+ * union or intersection with such a member, or a type parameter or other
+ * instantiable type whose constraint may hold one.
+ */
+export function mayHoldString(
+  type: ts.Type,
+  checker: ts.TypeChecker,
+  visited: Set<ts.Type> = new Set(),
+): boolean {
+  if (visited.has(type)) {
+    return false;
+  }
+  visited.add(type);
+  if (type.flags & ts.TypeFlags.StringLike) {
+    return true;
+  }
+  if (type.isUnionOrIntersection()) {
+    return type.types.some((member) => mayHoldString(member, checker, visited));
+  }
+  if (type.flags & ts.TypeFlags.Instantiable) {
+    const constraint = checker.getBaseConstraintOfType(type);
+    return constraint !== undefined && constraint !== type
+      ? mayHoldString(constraint, checker, visited)
+      : false;
+  }
+  return false;
+}

package/src/transpile.ts

@@ -14,6 +14,7 @@ import { messageDispatchLoweringPlugin } from "./message-dispatch-lowering";
 import { messageGuardLoweringPlugin } from "./message-guard-lowering";
 import { importsTimersModule, timersLoweringPlugin } from "./timers-lowering";
 import { TIMERS_RUNTIME } from "./timers-runtime";
+import { typeApplicationErasurePlugin } from "./type-application-erasure";
 import { windowEventGuardLoweringPlugin } from "./window-event-guard-lowering";
 
 export interface TranspileResult {
@@ -321,6 +322,7 @@ export function transpileProject(input: TranspileProjectInput): TranspileProject
       { plugin: windowEventGuardLoweringPlugin },
       { plugin: messageDispatchLoweringPlugin },
       { plugin: timersLoweringPlugin },
+      { plugin: typeApplicationErasurePlugin },
       { plugin: companionEmit.plugin },
     ],
   });

package/src/type-application-erasure.ts

@@ -0,0 +1,34 @@
+import * as ts from "typescript";
+import type { Expression, Plugin } from "typescript-to-lua";
+
+// The Defold functions declared with a curried type-application overload,
+// `go.get<P>()(url, property)`: the empty call only fixes `P` for the checker.
+export const TYPE_APPLICATION_APIS: ReadonlySet<string> = new Set(["go.get", "go.set"]);
+
+// Keyed by the declaration's fully qualified name: only a symbol declared in
+// an ambient `declare global` block carries the `global.` prefix, so a
+// project's own `go` never matches.
+function isTypeApplication(call: ts.CallExpression, checker: ts.TypeChecker): boolean {
+  if (call.arguments.length !== 0) return false;
+  const declaration = checker.getResolvedSignature(call)?.declaration;
+  if (declaration === undefined || !ts.isFunctionDeclaration(declaration)) return false;
+  if (declaration.parameters.length !== 0 || declaration.typeParameters === undefined) return false;
+  if (declaration.name === undefined) return false;
+  const symbol = checker.getSymbolAtLocation(declaration.name);
+  if (symbol === undefined) return false;
+  const fqn = checker.getFullyQualifiedName(symbol);
+  return fqn.startsWith("global.") && TYPE_APPLICATION_APIS.has(fqn.slice("global.".length));
+}
+
+// `go.get<P>()` becomes `go.get`, so the curried call reaches the engine as
+// `go.get(url, property)` and a stored `go.get<P>()` is the function itself.
+export const typeApplicationErasurePlugin: Plugin = {
+  visitors: {
+    [ts.SyntaxKind.CallExpression]: (node, context): Expression => {
+      if (isTypeApplication(node, context.checker)) {
+        return context.transformExpression(node.expression);
+      }
+      return context.superTransformExpression(node);
+    },
+  },
+};