Merge branch 'main' into stdlib-extension-with-mathlib

dev-docs/CHANGELOG.md

@@ -77,6 +77,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Incorrect call generation to a mutation function: PR [#1608](https://github.com/tact-lang/tact/pull/1608)
 - Allow constant/trait constants depend on each other: PR [#1622](https://github.com/tact-lang/tact/pull/1622)
 - Combine all generated FunC code into a single file: PR [#1698](https://github.com/tact-lang/tact/pull/1698)
+- Runtime `sha256` now work for arbitrary strings with length >= 128: PR [#1626](https://github.com/tact-lang/tact/pull/1626)
+- Generated code in TypeScript wrappers for contract with `init(init: Init)`: PR [#1709](https://github.com/tact-lang/tact/pull/1709)
+- Error message for comment (text) receivers with 124 bytes or more: PR [#1711](https://github.com/tact-lang/tact/pull/1711)
 
 ### Docs
 
@@ -112,6 +115,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Improved Chinese localization of the documentation: PR [#1642](https://github.com/tact-lang/tact/pull/1642)
 - Removed the notion of the non-standard TL-B syntax `remainder<X>`: PR [#1599](https://github.com/tact-lang/tact/pull/1599)
 - Added description of `.boc`, `.ts`, `.abi`, `.pkg` files and completed Compilation page: PR [#1676](https://github.com/tact-lang/tact/pull/1676)
+- Marked gas-expensive functions and expressions: PR [#1703](https://github.com/tact-lang/tact/pull/1703)
 
 ### Release contributors
 

docs/src/content/docs/book/expressions.mdx

@@ -3,6 +3,8 @@ title: Expressions
 description: "This page lists all the expressions in Tact"
 ---
 
+import { Badge } from '@astrojs/starlight/components';
+
 Every operator in Tact forms an expression, but there's much more to uncover as Tact offers a wide range of expressive options to choose from.
 
 :::note
@@ -252,6 +254,8 @@ contract ExampleContract {
 
 ## `initOf`
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 Expression `initOf{:tact}` computes initial state, i.e. `StateInit{:tact}` of a [contract](/book/contracts):
 
 ```tact

docs/src/content/docs/book/maps.mdx

@@ -359,6 +359,7 @@ if (fizz == null) {
 
 ### Compare with `.deepEquals()` {#deepequals}
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/>
 <Badge text="Available since Tact 1.5" variant="tip" size="medium"/><p/>
 
 ```tact

docs/src/content/docs/book/receive.mdx

@@ -15,7 +15,7 @@ To receive a message of the required type, you need to declare a receiver functi
 There are several receiver functions. All receiver functions are processed in the order they are listed below:
 
 * `receive(){:tact}` - called when an empty message is sent to the contract
-* `receive("message"){:tact}` - called when a text message with a specific comment is sent to the contract
+* `receive("message"){:tact}` - called when a text message with a specific comment is sent to the contract (maximum `"message"{:tact}` length is 123 bytes)
 * `receive(str: String){:tact}` - called when an arbitrary text message is sent to the contract
 * `receive(msg: MyMessage){:tact}` - called when a binary message of type `MyMessage` is sent to the contract
 * `receive(msg: Slice){:tact}` - called when binary message of unknown type is sent to the contract

docs/src/content/docs/ref/core-advanced.mdx

@@ -597,6 +597,7 @@ Attempts to queue more than $255$ messages throw an exception with an [exit code
 
 ## nativeSendMessageReturnForwardFee
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/>
 <Badge text="Available since Tact 1.5" variant="tip" size="medium"/><p/>
 
 ```tact

docs/src/content/docs/ref/core-cells.mdx

@@ -35,6 +35,8 @@ let fizz: Builder = beginCell();
 
 ## emptyCell
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun emptyCell(): Cell;
 ```
@@ -52,6 +54,8 @@ fizz == buzz; // true
 
 ## emptySlice
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun emptySlice(): Slice;
 ```
@@ -187,6 +191,8 @@ A section to group all extension and extension mutation functions for the [`Buil
 
 ### Builder.endCell
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun endCell(self: Builder): Cell;
 ```
@@ -1254,6 +1260,8 @@ try {
 
 ### Slice.hash
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun hash(self: Slice): Int;
 ```
@@ -1271,6 +1279,8 @@ let fizz: Int = s.hash();
 
 ### Slice.asCell
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun asCell(self: Slice): Cell;
 ```

docs/src/content/docs/ref/core-common.mdx

@@ -119,6 +119,8 @@ require(ctx.value != 68 + 1, "Invalid amount of nanoToncoins, bye!");
 
 ### newAddress
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun newAddress(chain: Int, hash: Int): Address;
 ```
@@ -156,6 +158,8 @@ let oldTonFoundationAddr: Address =
 
 ### contractAddress
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun contractAddress(s: StateInit): Address;
 ```
@@ -170,6 +174,8 @@ let foundMeSome: Address = contractAddress(initOf SomeContract());
 
 ### contractAddressExt
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun contractAddressExt(chain: Int, code: Cell, data: Cell): Address;
 ```
@@ -191,6 +197,8 @@ let hereBeDragons: Address = contractAddressExt(0, initPkg.code, initPkg.data);
 
 ### send
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun send(params: SendParameters);
 ```
@@ -219,6 +227,8 @@ send(SendParameters{
 
 ### emit
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun emit(body: Cell);
 ```

docs/src/content/docs/ref/core-debug.mdx

@@ -3,6 +3,8 @@ title: Debug
 description: "Various debugging functions from the Core library of Tact"
 ---
 
+import { Badge } from '@astrojs/starlight/components';
+
 List of functions commonly used for debugging smart contracts in Tact.
 
 Read more about debugging on the dedicated page: [Debugging](/book/debug).
@@ -40,6 +42,8 @@ try {
 
 ## dump
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun dump(arg);
 ```
@@ -102,6 +106,8 @@ dump(emit("msg".asComment())); // As emit() function doesn't return a value, dum
 
 ## dumpStack
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun dumpStack();
 ```

docs/src/content/docs/ref/core-math.mdx

@@ -360,6 +360,8 @@ contract Example {
 
 ## checkSignature
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun checkSignature(hash: Int, signature: Slice, public_key: Int): Bool;
 ```
@@ -401,6 +403,8 @@ contract Showcase {
 
 ## checkDataSignature
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 fun checkDataSignature(data: Slice, signature: Slice, public_key: Int): Bool;
 ```

docs/src/content/docs/ref/core-strings.mdx

@@ -3,6 +3,8 @@ title: Strings and StringBuilders
 description: "Various String and StringBuilder functions from the Core library of Tact"
 ---
 
+import { Badge } from '@astrojs/starlight/components';
+
 Strings are immutable sequences of characters, which means that once a [`String{:tact}`][p] is created, it cannot be changed. Strings are useful to store text, and so they can be converted to [`Cell{:tact}`][cell] type to be used as message bodies.
 
 To be able to concatenate strings in a gas-efficient way, use a [`StringBuilder{:tact}`][p].
@@ -105,6 +107,8 @@ let fizz: StringBuilder = beginString()
 
 ## StringBuilder.toString
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun toString(self: StringBuilder): String;
 ```
@@ -122,6 +126,8 @@ let buzz: String = fizz.toString();
 
 ## StringBuilder.toCell
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun toCell(self: StringBuilder): Cell;
 ```
@@ -139,6 +145,8 @@ let buzz: Cell = fizz.toCell();
 
 ## StringBuilder.toSlice
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun toSlice(self: StringBuilder): Slice;
 ```
@@ -187,6 +195,8 @@ fizz == buzz; // true, but be careful as it's not always the case
 
 ## String.asComment
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun asComment(self: String): Cell;
 ```
@@ -277,6 +287,8 @@ let fizz: Slice = s.fromBase64();
 
 ## Int.toString
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun toString(self: Int): String;
 ```
@@ -293,6 +305,8 @@ let fizz: String = (84 - 42).toString();
 
 ## Int.toFloatString
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun toFloatString(self: Int, digits: Int): String;
 ```
@@ -311,6 +325,8 @@ let fizz: String = (42).toFloatString(9); // "0.000000042"
 
 ## Int.toCoinsString
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun toCoinsString(self: Int): String;
 ```
@@ -333,6 +349,8 @@ fizz == buzz; // true, both store "0.000000042"
 
 ## Address.toString
 
+<Badge text="Gas-expensive" title="Uses 500 gas units or more" variant="danger" size="medium"/><p/>
+
 ```tact
 extends fun toString(self: Address): String;
 ```

src/abi/global.ts

@@ -10,7 +10,6 @@ import { writeExpression } from "../generator/writers/writeExpression";
 import { throwCompilationError } from "../error/errors";
 import { getErrorId } from "../types/resolveErrors";
 import { AbiFunction } from "./AbiFunction";
-import { sha256_sync } from "@ton/crypto";
 import path from "path";
 import { cwd } from "process";
 import { posixNormalize } from "../utils/filePath";
@@ -20,6 +19,7 @@ import {
     interpretEscapeSequences,
 } from "../optimizer/interpreter";
 import { isLiteral } from "../ast/ast-helpers";
+import { sha256 } from "../utils/sha256";
 
 export const GlobalFunctions: Map<string, AbiFunction> = new Map([
     [
@@ -383,14 +383,12 @@ export const GlobalFunctions: Map<string, AbiFunction> = new Map([
                         // FIXME: This one does not need fixing, because it is carried out inside a "isLiteral" check.
                         // Remove this comment once the optimization step is added
                         const str = ensureSimplifiedString(resolved0).value;
-                        return BigInt(
-                            "0x" + sha256_sync(str).toString("hex"),
-                        ).toString(10);
+                        return sha256(str).value.toString(10);
                     }
 
-                    // Otherwise, revert back to runtime hash through SHA256U
+                    // Otherwise, revert back to runtime hash through HASHEXT_SHA256
                     const exp = writeExpression(resolved[0]!, ctx);
-                    return `string_hash(${exp})`;
+                    return `__tact_sha256(${exp})`;
                 }
 
                 // Slice case

src/bindings/writeTypescript.ts

@@ -290,10 +290,10 @@ export function writeTypescript(
             );
             w.inIndent(() => {
                 w.append(
-                    `const init = await ${abi.name}_init(${init!.args.map((v) => v.name).join(", ")});`,
+                    `const __gen_init = await ${abi.name}_init(${init!.args.map((v) => v.name).join(", ")});`,
                 );
-                w.append(`const address = contractAddress(0, init);`);
-                w.append(`return new ${abi.name}(address, init);`);
+                w.append(`const address = contractAddress(0, __gen_init);`);
+                w.append(`return new ${abi.name}(address, __gen_init);`);
             });
             w.append(`}`);
             w.append();

src/generator/Writer.ts

@@ -2,6 +2,7 @@ import { CompilerContext } from "../context/context";
 import { escapeUnicodeControlCodes, trimIndent } from "../utils/text";
 import { topologicalSort } from "../utils/utils";
 import { Writer } from "../utils/Writer";
+import { TactInternalCompilerError } from "../error/errors";
 
 type Flag = "inline" | "impure" | "inline_ref";
 
@@ -83,10 +84,10 @@ export class WriterContext {
             }
         }
         if (missing.size > 0) {
-            throw new Error(
+            throw new TactInternalCompilerError(
                 `Functions ${Array.from(missing.keys())
                     .map((v) => `"${v}"`)
-                    .join(", ")} wasn't rendered`,
+                    .join(", ")} wasn't processed and generated`,
             );
         }
 

src/generator/writers/writeRouter.ts

@@ -7,12 +7,21 @@ import { ops } from "./ops";
 import { resolveFuncType } from "./resolveFuncType";
 import { resolveFuncTypeUnpack } from "./resolveFuncTypeUnpack";
 import { writeStatement } from "./writeFunction";
-import { AstNumber } from "../../ast/ast";
+import { AstNumber, AstReceiver } from "../../ast/ast";
+import { throwCompilationError } from "../../error/errors";
+
+export function commentPseudoOpcode(comment: string, ast: AstReceiver): string {
+    const buffer = Buffer.from(comment, "utf8");
+    if (buffer.length > 123) {
+        throwCompilationError(
+            `receiver message is too long, max length is 123 bytes, but given ${buffer.length}`,
+            ast.loc,
+        );
+    }
 
-export function commentPseudoOpcode(comment: string): string {
     return beginCell()
         .storeUint(0, 32)
-        .storeBuffer(Buffer.from(comment, "utf8"))
+        .storeBuffer(buffer)
         .endCell()
         .hash()
         .toString("hex", 0, 64);
@@ -206,7 +215,10 @@ export function writeRouter(
                             selector.kind ===
                             (internal ? "internal-comment" : "external-comment")
                         ) {
-                            const hash = commentPseudoOpcode(selector.comment);
+                            const hash = commentPseudoOpcode(
+                                selector.comment,
+                                r.ast,
+                            );
                             ctx.append();
                             ctx.append(
                                 `;; Receive "${selector.comment}" message`,
@@ -365,7 +377,7 @@ export function writeReceiver(
         selector.kind === "internal-comment" ||
         selector.kind === "external-comment"
     ) {
-        const hash = commentPseudoOpcode(selector.comment);
+        const hash = commentPseudoOpcode(selector.comment, f.ast);
         ctx.append(
             `(${selfType}, ()) ${ops.receiveText(self.name, selector.kind === "internal-comment" ? "internal" : "external", hash)}(${selfType + " " + funcIdOf("self")}) impure inline {`,
         );