Merge branch 'main' into closes-1011-asm-funs

.eslintignore

@@ -4,8 +4,8 @@ coverage/
 **/output/
 src/test/**/output/
 src/func/funcfiftlib.js
-src/grammar/grammar.ohm*.ts
-src/grammar/grammar.ohm*.js
+**/grammar.ohm*.ts
+**/grammar.ohm*.js
 jest.setup.js
 jest.teardown.js
 /docs

.gitignore

@@ -6,7 +6,7 @@ node_modules
 coverage
 dist
 output/
-src/grammar/grammar.ohm-bundle.js
-src/grammar/grammar.ohm-bundle.d.ts
+**/grammar.ohm-bundle.js
+**/grammar.ohm-bundle.d.ts
 src/func/funcfiftlib.wasm.js
 src/test/contracts/pretty-printer-output

CHANGELOG.md

@@ -11,45 +11,52 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - `&&=`, `||=`, `>>=` and `<<=` augmented assignment operators: PR [#853](https://github.com/tact-lang/tact/pull/853)
 - New CSpell dictionaries: TVM instructions and adjusted list of Fift words: PR [#881](https://github.com/tact-lang/tact/pull/881)
-- Docs: the `description` property to the frontmatter of the each page for better SEO: PR [#916](https://github.com/tact-lang/tact/pull/916)
-- Docs: Google Analytics tags per every page: PR [#921](https://github.com/tact-lang/tact/pull/921)
-- Docs: added Ston.fi cookbook: PR [#956](https://github.com/tact-lang/tact/pull/956)
-- Docs: added NFTs cookbook: PR [#958](https://github.com/tact-lang/tact/pull/958)
-- Docs: added security best practices: PR [#1070](https://github.com/tact-lang/tact/pull/1070)
 - Ability to specify a compile-time method ID expression for getters: PR [#922](https://github.com/tact-lang/tact/pull/922) and PR [#932](https://github.com/tact-lang/tact/pull/932)
 - Destructuring of structs and messages: PR [#856](https://github.com/tact-lang/tact/pull/856), PR [#964](https://github.com/tact-lang/tact/pull/964), PR [#969](https://github.com/tact-lang/tact/pull/969)
-- Docs: automatic links to Web IDE from all code blocks: PR [#994](https://github.com/tact-lang/tact/pull/994)
 - The `SendDefaultMode` send mode constant to the standard library: PR [#1010](https://github.com/tact-lang/tact/pull/1010)
-- Docs: initial semi-automated Chinese translation of the documentation: PR [#942](https://github.com/tact-lang/tact/pull/942)
 - The `replace` and `replaceGet` methods for the `Map` type: PR [#941](https://github.com/tact-lang/tact/pull/941)
 - Utility for logging errors in code that was supposed to be unreachable: PR [#991](https://github.com/tact-lang/tact/pull/991)
-- Docs: `preloadRef` method for the `Slice` type: PR [#1044](https://github.com/tact-lang/tact/pull/1044)
-- Docs: added DeDust cookbook: PR [#954](https://github.com/tact-lang/tact/pull/954)
-- Docs: described the limit for deeply nested expressions: PR [#1101](https://github.com/tact-lang/tact/pull/1101)
+- Ability to specify a compile-time message opcode expression: PR [#1188](https://github.com/tact-lang/tact/pull/1188)
 
 ### Changed
 
 - The `parseImports` function now returns AST import nodes instead of raw strings: PR [#966](https://github.com/tact-lang/tact/pull/966)
 - Optional types for `self` argument in `extends mutates` functions are now allowed: PR [#854](https://github.com/tact-lang/tact/pull/854)
-- Docs: complete overhaul of the exit codes page: PR [#978](https://github.com/tact-lang/tact/pull/978)
-- Docs: enhanced Jettons Cookbook page: PR [#944](https://github.com/tact-lang/tact/pull/944)
 - Error codes in the report are now formatted as a list: PR [#1051](https://github.com/tact-lang/tact/pull/1051)
 - Clarify error message for bounced types from which accessed a field that does not fit in 224 bytes: PR [#1111](https://github.com/tact-lang/tact/pull/1111)
-- Docs: note that `compilables/` can sometimes be used over `wrappers/` in Blueprint projects: PR [#1112](https://github.com/tact-lang/tact/pull/1112)
 
 ### Fixed
 
 - Collisions in getter method ids are now handled and reported properly: PR [#875](https://github.com/tact-lang/tact/pull/875), PR [#1052](https://github.com/tact-lang/tact/pull/1052)
-- Docs: layout of tables, syntax highlighting, Chinese translations of sidebar separators: PR [#916](https://github.com/tact-lang/tact/pull/916)
 - Non-null struct fields after null ones are treated correctly in Sandbox tests after updating `@ton/core` to 0.59.0: PR [#933](https://github.com/tact-lang/tact/pull/933)
 - Prevent inline code snippets from changing their background color: PR [#935](https://github.com/tact-lang/tact/pull/935)
-- Docs: correctly handle next and previous page links at the bottom of the pages when there's a separator item in the sidebar: PR [#949](https://github.com/tact-lang/tact/pull/949)
-- Docs: compilation of examples in `data-structures.mdx` and across Cookbook: PR [#917](https://github.com/tact-lang/tact/pull/917)
 - `as coins` map value serialization type is now handled correctly: PR [#987](https://github.com/tact-lang/tact/pull/987)
 - Type checking for `foreach` loops in trait methods: PR [#1017](https://github.com/tact-lang/tact/pull/1017)
 - The `sha256()` function no longer throws on statically known strings of any length: PR [#907](https://github.com/tact-lang/tact/pull/907)
 - TypeScript wrappers generation for messages with single quote: PR [#1106](https://github.com/tact-lang/tact/pull/1106)
 
+### Docs
+
+- Added the `description` property to the frontmatter of the each page for better SEO: PR [#916](https://github.com/tact-lang/tact/pull/916)
+- Added Google Analytics tags per every page: PR [#921](https://github.com/tact-lang/tact/pull/921)
+- Added Ston.fi cookbook: PR [#956](https://github.com/tact-lang/tact/pull/956)
+- Added NFTs cookbook: PR [#958](https://github.com/tact-lang/tact/pull/958)
+- Added security best practices: PR [#1070](https://github.com/tact-lang/tact/pull/1070)
+- Added automatic links to Web IDE from all code blocks: PR [#994](https://github.com/tact-lang/tact/pull/994)
+- Added initial semi-automated Chinese translation of the documentation: PR [#942](https://github.com/tact-lang/tact/pull/942)
+- Documented `preloadRef` method for the `Slice` type: PR [#1044](https://github.com/tact-lang/tact/pull/1044)
+- Added DeDust cookbook: PR [#954](https://github.com/tact-lang/tact/pull/954)
+- Described the limit for deeply nested expressions: PR [#1101](https://github.com/tact-lang/tact/pull/1101)
+- Completely overhauled the exit codes page: PR [#978](https://github.com/tact-lang/tact/pull/978)
+- Enhanced Jettons Cookbook page: PR [#944](https://github.com/tact-lang/tact/pull/944)
+- Added a note that `compilables/` can sometimes be used over `wrappers/` in Blueprint projects: PR [#1112](https://github.com/tact-lang/tact/pull/1112)
+- Changed the layout of tables, updated syntax highlighting, and added Chinese translations of sidebar separators: PR [#916](https://github.com/tact-lang/tact/pull/916)
+- Fixed handling of next and previous page links at the bottom of the pages when there's a separator item in the sidebar: PR [#949](https://github.com/tact-lang/tact/pull/949)
+- Enabled compilation of examples in `data-structures.mdx` and across Cookbook: PR [#917](https://github.com/tact-lang/tact/pull/917)
+- Removed the Programmatic API page due to frequent changes. To use the API, please refer to the compiler sources: PR [#1184](https://github.com/tact-lang/tact/pull/1184)
+- Added a link to the article by CertiK to Security best practices page: PR [#1185](https://github.com/tact-lang/tact/pull/1185)
+- Added a note on `dump()` being computationally expensive: PR [#1189](https://github.com/tact-lang/tact/pull/1189)
+
 ### Release contributors
 
 ## [1.5.3] - 2024-11-28

docs/astro.config.mjs

@@ -189,7 +189,6 @@ export default defineConfig({
 						{ slug: 'book/config' },
 						{ slug: 'book/masterchain' },
 						{ slug: 'book/func' },
-						{ slug: 'book/programmatic' },
 						{ slug: 'book/security-best-practices' },
 					],
 				},

docs/src/content/docs/book/debug.mdx

@@ -165,6 +165,12 @@ it('should deploy', async () => {
 
 ### Debug with `dump()` {#tests-dump}
 
+:::note
+
+  Calling [`dump(){:tact}`][dump] is computationally expensive and consumes a lot of gas. Be sure to always supply enough Toncoins in your tests to avoid [exit code -14](/book/exit-codes#-14).
+
+:::
+
 To see results of [`dump(){:tact}`][dump] function calls and use ["printf debugging"](#approach) approach, one has to:
 
 1. Put calls to [`dump(){:tact}`][dump] and other [common debugging functions](#debug-functions) in relevant places of the code.

docs/src/content/docs/book/security-best-practices.mdx

@@ -13,6 +13,8 @@ For a deeper understanding, refer to the following resources:
 * [Secure Smart Contract Programming in TON Docs](https://docs.ton.org/v3/guidelines/smart-contracts/security/secure-programming)
 * [FunC Security Best Practices in GitHub repo](https://github.com/slowmist/Toncoin-Smart-Contract-Security-Best-Practices/blob/main/README.md)
 
+In addition, consider reading the detailed article by CertiK, a Web3 smart contract auditor: [Secure Smart Contract Programming in Tact: Popular Mistakes in the TON Ecosystem](https://www.certik.com/resources/blog/secure-smart-contract-programming-in-tact-popular-mistakes-in-the-ton).
+
 ## Send sensitive data on-chain
 
 The entire smart contract computation is transparent, and if you had some confidential values at run-time, they could be retrieved with a simple emulation.

docs/src/content/docs/book/structs-and-messages.mdx

@@ -3,6 +3,8 @@ title: Structs and Messages
 description: "Structs can define complex data types that contain multiple fields of different types, while Messages also have a 32-bit header and are convenient to receive and sent message bodies on TON Blockchain"
 ---
 
+import { Badge } from '@astrojs/starlight/components';
+
 Tact supports a number of [primitive data types](/book/types#primitive-types) that are tailored for smart contract use. However, using individual means of storage often becomes cumbersome, so there are [Structs](#structs) and [Messages](#messages) which allow combining types together.
 
 :::caution
@@ -101,19 +103,31 @@ message Add {
 }
 ```
 
+### Message opcodes
+
 Messages are almost the same thing as [Structs](#structs) with the only difference that Messages have a 32-bit integer header in their serialization containing their unique numeric id, commonly referred to as an _opcode_ (operation code). This allows Messages to be used with [receivers](/book/receive) since the contract can tell different types of messages apart based on this id.
 
 Tact automatically generates those unique ids (opcodes) for every received Message, but this can be manually overwritten:
 
 ```tact
-// This Message overwrites its unique id with 0x7362d09c
+// This Message overwrites its unique id (opcode) with 0x7362d09c
 message(0x7362d09c) TokenNotification {
     forwardPayload: Slice as remaining;
 }
 ```
 
 This is useful for cases where you want to handle certain opcodes of a given smart contract, such as [Jetton standard](https://github.com/ton-blockchain/TEPs/blob/master/text/0074-jettons-standard.md). The short-list of opcodes this contract is able to process is [given here in FunC](https://github.com/ton-blockchain/token-contract/blob/main/ft/op-codes.fc). They serve as an interface to the smart contract.
 
+<Badge text="Available since Tact 1.6" variant="tip" size="small"/> A message opcode can be any [compile-time](/ref/core-comptime) expression that evaluates to a positive $32$-bit integer, so the following is also valid:
+
+```tact
+// This Message overwrites its unique id (opcode) with 898001897,
+// which is the evaluated integer value of the specified compile-time expression
+message((crc32("Tact") + 42) & 0xFFFF_FFFF) MsgWithExprOpcode {
+    field: Int as uint4;
+}
+```
+
 :::note
 
   For more in-depth information on this see:\

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

@@ -46,6 +46,8 @@ fun dump(arg);
 
 Prints the argument `arg` to the contract's debug console. Evaluated only if the `debug` option in the [configuration file](/book/config) is set to `true{:json}`, otherwise does nothing.
 
+This function is computationally expensive and consumes a lot of gas because it prints the location from which it was called, i.e. the filename, line and column numbers, and the original expression that was the `arg` argument.
+
 Can be applied to the following list of types and values:
 
 * [`Int{:tact}`][int]
@@ -61,7 +63,10 @@ Usage examples:
 
 ```tact
 // Int
-dump(42);
+dump(42); // prints:
+          // File filename.tact:2:1
+          // dump(42)
+          // 42
 
 // Bool
 dump(true);

docs/yarn.lock

@@ -3924,9 +3924,9 @@ muggle-string@^0.4.1:
   integrity sha512-VNTrAak/KhO2i8dqqnqnAHOa3cYBwXEZe9h+D5h/1ZqFSTEFHdM65lR7RoIqq3tBBYavsOXV84NoHXZ0AkPyqQ==
 
 nanoid@^3.3.7:
-  version "3.3.7"
-  resolved "https://registry.npmjs.org/nanoid/-/nanoid-3.3.7.tgz"
-  integrity sha512-eSRppjcPIatRIMC1U6UngP8XFcz8MQWGQdt1MTBQ7NaAmvXDfvNxbvWV3x2y6CdEUciCSsDHDQZbhYaB8QEo2g==
+  version "3.3.8"
+  resolved "https://registry.npmjs.org/nanoid/-/nanoid-3.3.8.tgz#b1be3030bee36aaff18bacb375e5cce521684baf"
+  integrity sha512-WNLf5Sd8oZxOm+TzppcYk8gVOgP+l58xNy58D0nbUnOxOWRWvlcCV4kUF7ltmI6PsrLl/BgKEyS4mqsGChFN0w==
 
 napi-build-utils@^1.0.1:
   version "1.0.2"

src/abi/AbiFunction.ts

@@ -1,7 +1,8 @@
-import { AstExpression, SrcInfo } from "../grammar/ast";
+import { AstExpression } from "../grammar/ast";
 import { CompilerContext } from "../context";
 import { WriterContext } from "../generator/Writer";
 import { TypeRef } from "../types/types";
+import { SrcInfo } from "../grammar";
 
 export type AbiFunction = {
     name: string;

src/abi/map.ts

@@ -1,5 +1,5 @@
 import { CompilerContext } from "../context";
-import { SrcInfo } from "../grammar/grammar";
+import { SrcInfo } from "../grammar";
 import { TypeRef } from "../types/types";
 import { WriterContext } from "../generator/Writer";
 import { ops } from "../generator/writers/ops";

src/check.ts

@@ -1,5 +1,7 @@
 import { featureEnable } from "./config/features";
 import { CompilerContext } from "./context";
+import { getAstFactory } from "./grammar/ast";
+import { getParser } from "./grammar";
 import files from "./imports/stdlib";
 import { createVirtualFileSystem, TactError, VirtualFileSystem } from "./main";
 import { precompile } from "./pipeline/precompile";
@@ -35,10 +37,13 @@ export function check(args: {
     ctx = featureEnable(ctx, "masterchain"); // Enable masterchain flag to avoid masterchain-specific errors
     ctx = featureEnable(ctx, "external"); // Enable external messages flag to avoid external-specific errors
 
+    const ast = getAstFactory();
+    const parser = getParser(ast);
+
     // Execute check
     const items: CheckResultItem[] = [];
     try {
-        precompile(ctx, args.project, stdlib, args.entrypoint);
+        precompile(ctx, args.project, stdlib, args.entrypoint, parser, ast);
     } catch (e) {
         if (e instanceof TactError) {
             items.push({