Merge branch 'main' into pmakhnev/fix-ts-wrapper-with-init

Author: anton-trunov

dev-docs/CHANGELOG.md

@@ -78,6 +78,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - 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
 
@@ -113,6 +114,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

@@ -444,6 +444,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;
 ```
@@ -128,6 +132,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;
 ```
@@ -1035,6 +1041,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;
 ```
@@ -1052,6 +1060,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

@@ -3,6 +3,8 @@ title: Common
 description: "Commonly used global static functions from the Core library of Tact"
 ---
 
+import { Badge } from '@astrojs/starlight/components';
+
 List of the most commonly used built-in [global static functions](/book/functions#global-static-functions).
 
 ## Contextual
@@ -117,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;
 ```
@@ -152,6 +156,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;
 ```
@@ -166,6 +172,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;
 ```
@@ -196,6 +204,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);
 ```
@@ -224,6 +234,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

@@ -3,6 +3,8 @@ title: Math
 description: "Various math helper functions from the Core library of Tact"
 ---
 
+import { Badge } from '@astrojs/starlight/components';
+
 Various math helper functions.
 
 ## min
@@ -191,6 +193,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;
 ```
@@ -232,6 +236,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/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 {`,
         );