@algorandfoundation/puya-ts 1.0.0-beta.2 → 1.0.0-beta.4

package/index.mjs

@@ -1,4 +1,4 @@
-export { S as SourceLocation, T as TypeResolver, c as compile, e as encodingUtil, f as ptypes, r as registerPTypes, t as typeRegistry } from './index-D4-4PUG7.js';
+export { S as SourceLocation, T as TypeResolver, c as compile, e as encodingUtil, f as ptypes, r as registerPTypes, t as typeRegistry } from './index-Cg8BBwmU.js';
 import 'change-case';
 import 'node:path';
 import 'typescript';
@@ -8,6 +8,7 @@ import 'node:util';
 import 'upath';
 import 'polytype';
 import 'tslib';
+import 'arcsecond';
 import 'crypto';
 import 'fs';
 import 'glob';

package/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;"}
+{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;"}

package/node_modules/typescript/lib/_tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = "5.7.2";
+var version = "5.7.3";
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -11143,6 +11143,7 @@ function sortAndDeduplicateDiagnostics(diagnostics) {
 }
 var targetToLibMap = /* @__PURE__ */ new Map([
   [99 /* ESNext */, "lib.esnext.full.d.ts"],
+  [11 /* ES2024 */, "lib.es2024.full.d.ts"],
   [10 /* ES2023 */, "lib.es2023.full.d.ts"],
   [9 /* ES2022 */, "lib.es2022.full.d.ts"],
   [8 /* ES2021 */, "lib.es2021.full.d.ts"],
@@ -11158,6 +11159,7 @@ function getDefaultLibFileName(options) {
   const target = getEmitScriptTarget(options);
   switch (target) {
     case 99 /* ESNext */:
+    case 11 /* ES2024 */:
     case 10 /* ES2023 */:
     case 9 /* ES2022 */:
     case 8 /* ES2021 */:
@@ -46776,6 +46778,12 @@ function createTypeChecker(host) {
     /*isReadonly*/
     true
   );
+  var anyBaseTypeIndexInfo = createIndexInfo(
+    stringType,
+    anyType,
+    /*isReadonly*/
+    false
+  );
   var iterationTypesCache = /* @__PURE__ */ new Map();
   var noIterationTypes = {
     get yieldType() {
@@ -50319,7 +50327,7 @@ function createTypeChecker(host) {
           return true;
         }
         if (requiresAddingUndefined && annotationType) {
-          annotationType = getOptionalType(annotationType, !isParameter(node));
+          annotationType = addOptionality(annotationType, !isParameter(node));
         }
         return !!annotationType && typeNodeIsEquivalentToType(node, type, annotationType) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type);
       }
@@ -56577,12 +56585,7 @@ function createTypeChecker(host) {
         addInheritedMembers(members, getPropertiesOfType(instantiatedBaseType));
         callSignatures = concatenate(callSignatures, getSignaturesOfType(instantiatedBaseType, 0 /* Call */));
         constructSignatures = concatenate(constructSignatures, getSignaturesOfType(instantiatedBaseType, 1 /* Construct */));
-        const inheritedIndexInfos = instantiatedBaseType !== anyType ? getIndexInfosOfType(instantiatedBaseType) : [createIndexInfo(
-          stringType,
-          anyType,
-          /*isReadonly*/
-          false
-        )];
+        const inheritedIndexInfos = instantiatedBaseType !== anyType ? getIndexInfosOfType(instantiatedBaseType) : [anyBaseTypeIndexInfo];
         indexInfos = concatenate(indexInfos, filter(inheritedIndexInfos, (info) => !findIndexInfo(indexInfos, info.keyType)));
       }
     }
@@ -57108,12 +57111,7 @@ function createTypeChecker(host) {
         members = createSymbolTable(getNamedOrIndexSignatureMembers(members));
         addInheritedMembers(members, getPropertiesOfType(baseConstructorType));
       } else if (baseConstructorType === anyType) {
-        baseConstructorIndexInfo = createIndexInfo(
-          stringType,
-          anyType,
-          /*isReadonly*/
-          false
-        );
+        baseConstructorIndexInfo = anyBaseTypeIndexInfo;
       }
     }
     const indexSymbol = getIndexSymbolFromSymbolTable(members);
@@ -70460,12 +70458,13 @@ function createTypeChecker(host) {
       const jsxFactoryRefErr = diagnostics && compilerOptions.jsx === 2 /* React */ ? Diagnostics.This_JSX_tag_requires_0_to_be_in_scope_but_it_could_not_be_found : void 0;
       const jsxFactoryNamespace = getJsxNamespace(node);
       const jsxFactoryLocation = isJsxOpeningLikeElement(node) ? node.tagName : node;
+      const shouldFactoryRefErr = compilerOptions.jsx !== 1 /* Preserve */ && compilerOptions.jsx !== 3 /* ReactNative */;
       let jsxFactorySym;
       if (!(isJsxOpeningFragment(node) && jsxFactoryNamespace === "null")) {
         jsxFactorySym = resolveName(
           jsxFactoryLocation,
           jsxFactoryNamespace,
-          compilerOptions.jsx === 1 /* Preserve */ ? 111551 /* Value */ & ~384 /* Enum */ : 111551 /* Value */,
+          shouldFactoryRefErr ? 111551 /* Value */ : 111551 /* Value */ & ~384 /* Enum */,
           jsxFactoryRefErr,
           /*isUse*/
           true
@@ -70484,7 +70483,7 @@ function createTypeChecker(host) {
           resolveName(
             jsxFactoryLocation,
             localJsxNamespace,
-            compilerOptions.jsx === 1 /* Preserve */ ? 111551 /* Value */ & ~384 /* Enum */ : 111551 /* Value */,
+            shouldFactoryRefErr ? 111551 /* Value */ : 111551 /* Value */ & ~384 /* Enum */,
             jsxFactoryRefErr,
             /*isUse*/
             true
@@ -74045,6 +74044,13 @@ function createTypeChecker(host) {
     return getIntersectionType(x);
   }
   function reportNonexistentProperty(propNode, containingType, isUncheckedJS) {
+    const links = getNodeLinks(propNode);
+    const cache = links.nonExistentPropCheckCache || (links.nonExistentPropCheckCache = /* @__PURE__ */ new Set());
+    const key = `${getTypeId(containingType)}|${isUncheckedJS}`;
+    if (cache.has(key)) {
+      return;
+    }
+    cache.add(key);
     let errorInfo;
     let relatedInfo;
     if (!isPrivateIdentifier(propNode) && containingType.flags & 1048576 /* Union */ && !(containingType.flags & 402784252 /* Primitive */)) {
@@ -76003,12 +76009,14 @@ function createTypeChecker(host) {
     const sourceFileLinks = getNodeLinks(getSourceFileOfNode(node));
     if (sourceFileLinks.jsxFragmentType !== void 0) return sourceFileLinks.jsxFragmentType;
     const jsxFragmentFactoryName = getJsxNamespace(node);
-    if (jsxFragmentFactoryName === "null") return sourceFileLinks.jsxFragmentType = anyType;
+    const shouldResolveFactoryReference = (compilerOptions.jsx === 2 /* React */ || compilerOptions.jsxFragmentFactory !== void 0) && jsxFragmentFactoryName !== "null";
+    if (!shouldResolveFactoryReference) return sourceFileLinks.jsxFragmentType = anyType;
+    const shouldModuleRefErr = compilerOptions.jsx !== 1 /* Preserve */ && compilerOptions.jsx !== 3 /* ReactNative */;
     const jsxFactoryRefErr = diagnostics ? Diagnostics.Using_JSX_fragments_requires_fragment_factory_0_to_be_in_scope_but_it_could_not_be_found : void 0;
     const jsxFactorySymbol = getJsxNamespaceContainerForImplicitImport(node) ?? resolveName(
       node,
       jsxFragmentFactoryName,
-      compilerOptions.jsx === 1 /* Preserve */ ? 111551 /* Value */ & ~384 /* Enum */ : 111551 /* Value */,
+      shouldModuleRefErr ? 111551 /* Value */ : 111551 /* Value */ & ~384 /* Enum */,
       /*nameNotFoundMessage*/
       jsxFactoryRefErr,
       /*isUse*/
@@ -78574,7 +78582,9 @@ function createTypeChecker(host) {
     switch (node.kind) {
       case 223 /* AwaitExpression */:
       case 213 /* CallExpression */:
+      case 215 /* TaggedTemplateExpression */:
       case 212 /* ElementAccessExpression */:
+      case 236 /* MetaProperty */:
       case 214 /* NewExpression */:
       case 211 /* PropertyAccessExpression */:
       case 229 /* YieldExpression */:
@@ -78590,6 +78600,8 @@ function createTypeChecker(host) {
           case 56 /* AmpersandAmpersandToken */:
           case 77 /* AmpersandAmpersandEqualsToken */:
             return 3 /* Sometimes */;
+          case 28 /* CommaToken */:
+            return getSyntacticNullishnessSemantics(node.right);
         }
         return 2 /* Never */;
       case 227 /* ConditionalExpression */:
@@ -84702,7 +84714,7 @@ function createTypeChecker(host) {
             }
           }
         }
-        if (isOnlyImportableAsDefault(node.moduleSpecifier, resolvedModule) && !hasTypeJsonImportAttribute(node)) {
+        if (!importClause.isTypeOnly && moduleKind === 199 /* NodeNext */ && isOnlyImportableAsDefault(node.moduleSpecifier, resolvedModule) && !hasTypeJsonImportAttribute(node)) {
           error(node.moduleSpecifier, Diagnostics.Importing_a_JSON_file_into_an_ECMAScript_module_requires_a_type_Colon_json_import_attribute_when_module_is_set_to_0, ModuleKind[moduleKind]);
         }
       } else if (noUncheckedSideEffectImports && !importClause) {
@@ -86986,6 +86998,7 @@ function createTypeChecker(host) {
           result || (result = []);
           for (const info of infoList) {
             if (info.declaration) continue;
+            if (info === anyBaseTypeIndexInfo) continue;
             const node = nodeBuilder.indexInfoToIndexSignatureDeclaration(info, enclosing, flags, internalFlags, tracker);
             if (node && infoList === staticInfos) {
               (node.modifiers || (node.modifiers = factory.createNodeArray())).unshift(factory.createModifier(126 /* StaticKeyword */));
@@ -131703,9 +131716,9 @@ function createSyntacticTypeNodeBuilder(options, resolver) {
     }
     if (!result && node.kind === 303 /* PropertyAssignment */) {
       const initializer = node.initializer;
-      const type = isJSDocTypeAssertion(initializer) ? getJSDocTypeAssertionType(initializer) : initializer.kind === 234 /* AsExpression */ || initializer.kind === 216 /* TypeAssertionExpression */ ? initializer.type : void 0;
-      if (type && !isConstTypeReference(type)) {
-        result = serializeExistingTypeNode(type, context);
+      const assertionNode = isJSDocTypeAssertion(initializer) ? getJSDocTypeAssertionType(initializer) : initializer.kind === 234 /* AsExpression */ || initializer.kind === 216 /* TypeAssertionExpression */ ? initializer.type : void 0;
+      if (assertionNode && !isConstTypeReference(assertionNode) && resolver.canReuseTypeNodeAnnotation(context, node, assertionNode, symbol)) {
+        result = serializeExistingTypeNode(assertionNode, context);
       }
     }
     return result ?? inferTypeOfDeclaration(

package/node_modules/typescript/lib/typescript.js

@@ -2278,7 +2278,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = "5.7.2";
+var version = "5.7.3";
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -14547,6 +14547,7 @@ function sortAndDeduplicateDiagnostics(diagnostics) {
 }
 var targetToLibMap = /* @__PURE__ */ new Map([
   [99 /* ESNext */, "lib.esnext.full.d.ts"],
+  [11 /* ES2024 */, "lib.es2024.full.d.ts"],
   [10 /* ES2023 */, "lib.es2023.full.d.ts"],
   [9 /* ES2022 */, "lib.es2022.full.d.ts"],
   [8 /* ES2021 */, "lib.es2021.full.d.ts"],
@@ -14562,6 +14563,7 @@ function getDefaultLibFileName(options) {
   const target = getEmitScriptTarget(options);
   switch (target) {
     case 99 /* ESNext */:
+    case 11 /* ES2024 */:
     case 10 /* ES2023 */:
     case 9 /* ES2022 */:
     case 8 /* ES2021 */:
@@ -51380,6 +51382,12 @@ function createTypeChecker(host) {
     /*isReadonly*/
     true
   );
+  var anyBaseTypeIndexInfo = createIndexInfo(
+    stringType,
+    anyType,
+    /*isReadonly*/
+    false
+  );
   var iterationTypesCache = /* @__PURE__ */ new Map();
   var noIterationTypes = {
     get yieldType() {
@@ -54923,7 +54931,7 @@ function createTypeChecker(host) {
           return true;
         }
         if (requiresAddingUndefined && annotationType) {
-          annotationType = getOptionalType(annotationType, !isParameter(node));
+          annotationType = addOptionality(annotationType, !isParameter(node));
         }
         return !!annotationType && typeNodeIsEquivalentToType(node, type, annotationType) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type);
       }
@@ -61181,12 +61189,7 @@ function createTypeChecker(host) {
         addInheritedMembers(members, getPropertiesOfType(instantiatedBaseType));
         callSignatures = concatenate(callSignatures, getSignaturesOfType(instantiatedBaseType, 0 /* Call */));
         constructSignatures = concatenate(constructSignatures, getSignaturesOfType(instantiatedBaseType, 1 /* Construct */));
-        const inheritedIndexInfos = instantiatedBaseType !== anyType ? getIndexInfosOfType(instantiatedBaseType) : [createIndexInfo(
-          stringType,
-          anyType,
-          /*isReadonly*/
-          false
-        )];
+        const inheritedIndexInfos = instantiatedBaseType !== anyType ? getIndexInfosOfType(instantiatedBaseType) : [anyBaseTypeIndexInfo];
         indexInfos = concatenate(indexInfos, filter(inheritedIndexInfos, (info) => !findIndexInfo(indexInfos, info.keyType)));
       }
     }
@@ -61712,12 +61715,7 @@ function createTypeChecker(host) {
         members = createSymbolTable(getNamedOrIndexSignatureMembers(members));
         addInheritedMembers(members, getPropertiesOfType(baseConstructorType));
       } else if (baseConstructorType === anyType) {
-        baseConstructorIndexInfo = createIndexInfo(
-          stringType,
-          anyType,
-          /*isReadonly*/
-          false
-        );
+        baseConstructorIndexInfo = anyBaseTypeIndexInfo;
       }
     }
     const indexSymbol = getIndexSymbolFromSymbolTable(members);
@@ -75067,12 +75065,13 @@ function createTypeChecker(host) {
       const jsxFactoryRefErr = diagnostics && compilerOptions.jsx === 2 /* React */ ? Diagnostics.This_JSX_tag_requires_0_to_be_in_scope_but_it_could_not_be_found : void 0;
       const jsxFactoryNamespace = getJsxNamespace(node);
       const jsxFactoryLocation = isJsxOpeningLikeElement(node) ? node.tagName : node;
+      const shouldFactoryRefErr = compilerOptions.jsx !== 1 /* Preserve */ && compilerOptions.jsx !== 3 /* ReactNative */;
       let jsxFactorySym;
       if (!(isJsxOpeningFragment(node) && jsxFactoryNamespace === "null")) {
         jsxFactorySym = resolveName(
           jsxFactoryLocation,
           jsxFactoryNamespace,
-          compilerOptions.jsx === 1 /* Preserve */ ? 111551 /* Value */ & ~384 /* Enum */ : 111551 /* Value */,
+          shouldFactoryRefErr ? 111551 /* Value */ : 111551 /* Value */ & ~384 /* Enum */,
           jsxFactoryRefErr,
           /*isUse*/
           true
@@ -75091,7 +75090,7 @@ function createTypeChecker(host) {
           resolveName(
             jsxFactoryLocation,
             localJsxNamespace,
-            compilerOptions.jsx === 1 /* Preserve */ ? 111551 /* Value */ & ~384 /* Enum */ : 111551 /* Value */,
+            shouldFactoryRefErr ? 111551 /* Value */ : 111551 /* Value */ & ~384 /* Enum */,
             jsxFactoryRefErr,
             /*isUse*/
             true
@@ -78652,6 +78651,13 @@ function createTypeChecker(host) {
     return getIntersectionType(x);
   }
   function reportNonexistentProperty(propNode, containingType, isUncheckedJS) {
+    const links = getNodeLinks(propNode);
+    const cache = links.nonExistentPropCheckCache || (links.nonExistentPropCheckCache = /* @__PURE__ */ new Set());
+    const key = `${getTypeId(containingType)}|${isUncheckedJS}`;
+    if (cache.has(key)) {
+      return;
+    }
+    cache.add(key);
     let errorInfo;
     let relatedInfo;
     if (!isPrivateIdentifier(propNode) && containingType.flags & 1048576 /* Union */ && !(containingType.flags & 402784252 /* Primitive */)) {
@@ -80610,12 +80616,14 @@ function createTypeChecker(host) {
     const sourceFileLinks = getNodeLinks(getSourceFileOfNode(node));
     if (sourceFileLinks.jsxFragmentType !== void 0) return sourceFileLinks.jsxFragmentType;
     const jsxFragmentFactoryName = getJsxNamespace(node);
-    if (jsxFragmentFactoryName === "null") return sourceFileLinks.jsxFragmentType = anyType;
+    const shouldResolveFactoryReference = (compilerOptions.jsx === 2 /* React */ || compilerOptions.jsxFragmentFactory !== void 0) && jsxFragmentFactoryName !== "null";
+    if (!shouldResolveFactoryReference) return sourceFileLinks.jsxFragmentType = anyType;
+    const shouldModuleRefErr = compilerOptions.jsx !== 1 /* Preserve */ && compilerOptions.jsx !== 3 /* ReactNative */;
     const jsxFactoryRefErr = diagnostics ? Diagnostics.Using_JSX_fragments_requires_fragment_factory_0_to_be_in_scope_but_it_could_not_be_found : void 0;
     const jsxFactorySymbol = getJsxNamespaceContainerForImplicitImport(node) ?? resolveName(
       node,
       jsxFragmentFactoryName,
-      compilerOptions.jsx === 1 /* Preserve */ ? 111551 /* Value */ & ~384 /* Enum */ : 111551 /* Value */,
+      shouldModuleRefErr ? 111551 /* Value */ : 111551 /* Value */ & ~384 /* Enum */,
       /*nameNotFoundMessage*/
       jsxFactoryRefErr,
       /*isUse*/
@@ -83181,7 +83189,9 @@ function createTypeChecker(host) {
     switch (node.kind) {
       case 223 /* AwaitExpression */:
       case 213 /* CallExpression */:
+      case 215 /* TaggedTemplateExpression */:
       case 212 /* ElementAccessExpression */:
+      case 236 /* MetaProperty */:
       case 214 /* NewExpression */:
       case 211 /* PropertyAccessExpression */:
       case 229 /* YieldExpression */:
@@ -83197,6 +83207,8 @@ function createTypeChecker(host) {
           case 56 /* AmpersandAmpersandToken */:
           case 77 /* AmpersandAmpersandEqualsToken */:
             return 3 /* Sometimes */;
+          case 28 /* CommaToken */:
+            return getSyntacticNullishnessSemantics(node.right);
         }
         return 2 /* Never */;
       case 227 /* ConditionalExpression */:
@@ -89309,7 +89321,7 @@ function createTypeChecker(host) {
             }
           }
         }
-        if (isOnlyImportableAsDefault(node.moduleSpecifier, resolvedModule) && !hasTypeJsonImportAttribute(node)) {
+        if (!importClause.isTypeOnly && moduleKind === 199 /* NodeNext */ && isOnlyImportableAsDefault(node.moduleSpecifier, resolvedModule) && !hasTypeJsonImportAttribute(node)) {
           error2(node.moduleSpecifier, Diagnostics.Importing_a_JSON_file_into_an_ECMAScript_module_requires_a_type_Colon_json_import_attribute_when_module_is_set_to_0, ModuleKind[moduleKind]);
         }
       } else if (noUncheckedSideEffectImports && !importClause) {
@@ -91593,6 +91605,7 @@ function createTypeChecker(host) {
           result || (result = []);
           for (const info of infoList) {
             if (info.declaration) continue;
+            if (info === anyBaseTypeIndexInfo) continue;
             const node = nodeBuilder.indexInfoToIndexSignatureDeclaration(info, enclosing, flags, internalFlags, tracker);
             if (node && infoList === staticInfos) {
               (node.modifiers || (node.modifiers = factory.createNodeArray())).unshift(factory.createModifier(126 /* StaticKeyword */));
@@ -136667,9 +136680,9 @@ function createSyntacticTypeNodeBuilder(options, resolver) {
     }
     if (!result && node.kind === 303 /* PropertyAssignment */) {
       const initializer = node.initializer;
-      const type = isJSDocTypeAssertion(initializer) ? getJSDocTypeAssertionType(initializer) : initializer.kind === 234 /* AsExpression */ || initializer.kind === 216 /* TypeAssertionExpression */ ? initializer.type : void 0;
-      if (type && !isConstTypeReference(type)) {
-        result = serializeExistingTypeNode(type, context);
+      const assertionNode = isJSDocTypeAssertion(initializer) ? getJSDocTypeAssertionType(initializer) : initializer.kind === 234 /* AsExpression */ || initializer.kind === 216 /* TypeAssertionExpression */ ? initializer.type : void 0;
+      if (assertionNode && !isConstTypeReference(assertionNode) && resolver.canReuseTypeNodeAnnotation(context, node, assertionNode, symbol)) {
+        result = serializeExistingTypeNode(assertionNode, context);
       }
     }
     return result ?? inferTypeOfDeclaration(

package/node_modules/typescript/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.7.2",
+    "version": "5.7.3",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -116,5 +116,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "d701d908d534e68cfab24b6df15539014ac348a3"
+    "gitHead": "a5e123d9e0690fcea92878ea8a0a382922009fc9"
 }

package/package.json

@@ -4,12 +4,13 @@
     "**"
   ],
   "name": "@algorandfoundation/puya-ts",
-  "version": "1.0.0-beta.2",
+  "version": "1.0.0-beta.4",
   "description": "Compiles Algorand TypeScript into byte code which runs on the Algorand Virtual Machine (AVM)",
   "private": false,
   "author": "Algorand foundation",
   "license": "MIT",
   "dependencies": {
+    "arcsecond": "^5.0.0",
     "chalk": "^5.3.0",
     "change-case": "^5.4.4",
     "commander": "^12.1.0",

package/util/arc4-signature-parser.d.ts

@@ -0,0 +1,6 @@
+import * as arc4Types from '../awst_build/ptypes/arc4-types';
+export declare class Arc4ParseError extends Error {
+    index: number;
+    constructor(message: string, index: number);
+}
+export declare const parseArc4Type: (signature: string) => arc4Types.ARC4EncodedType;