Release 1.4.4

Added

• Initial version of the API providing AST equivalence check: PR #689

Fixed

• Returning self from getters is now allowed: PR #666
• Remainder fields in the middle of a struct are now forbidden: PR #697
• Defining two native functions from the same FunC function now does not fail compilation: PR #699
• Map types are checked for well-formedness in all type ascriptions: PR #704

Release contributors

• Georgiy Komarov
• Daniil Sedov
• Anton Trunov

Release 1.4.3

Fixed

• Parsing of optional nested struct fields does not cause the Not a tuple error anymore: PR #692
• Disallow shadowing of recursive function names: PR #693
• Better error message for the case when a constant shadows an stdlib identifier: PR #694

Release contributors

• Daniil Sedov
• Anton Trunov

Special thanks

For opening issues and making thoughtful suggestions we'd like to thank

• verichenn
• Jesús Héctor Domínguez Sánchez

Release 1.4.2

Changed

• Removed unsupported iterators API: PR #633
• Created a separate API function to enable compiler features: PR #647
• Use the ILogger interface to enable API users implement their own loggers: PR #668
• Use specific Internal or Compiler errors when throwing exceptions: PR #669

Fixed

• FunC function identifiers with characters from hexadecimal set: PR #636
• Throw syntax error for module-level (top-level) constants with attributes: PR #644
• Typechecking for optional types when the argument type is not an equality type: PR #650
• Getters now return flattened types for structs as before: PR #679
• New bindings cannot shadow global constants: PR #680
• Disallow using assignment operators on constants: PR #682
• Fix code generation for some non-Lvalues that weren't turned into Lvalues by wrapping them in a function call: PR #683

Release contributors

• byakuren-hijiri
• Georgiy Komarov
• Novus Nota
• Daniil Sedov
• Anton Trunov

Special thanks

For opening issues and making thoughtful suggestions we'd like to thank

• verichenn
• Jesús Héctor Domínguez Sánchez
• Rahul Yadav

Release 1.4.1

Added

• -e / --eval CLI flags to evaluate constant Tact expressions: PR #462
• -q / --quiet CLI flags to suppress compiler log output: PR #509
• Markdown report for compiled contracts now includes Mermaid diagrams for trait inheritance and contract dependencies: PR #560
• Documentation comments to Zod schema of tact.config.json for descriptive hover pop-ups in editors: PR #575

Changed

• Removed the LValue grammatical category and replaced it with Expression: PR #479
• Compilation results are placed into the source file directory when compiling without tact.config.json file: PR #495
• External receivers are enabled for single file compilation: PR #495
• [DEBUG] prefix was removed from debug prints because a similar prefix was already present: PR #506
• File paths in debug prints always use POSIX file paths (even on Windows): PR #523
• The IPFS ABI and supported interfaces getters are not generated by default; to generate those, set to true the two newly introduced per-project options in tact.config.json: ipfsAbiGetter and interfacesGetter: PR #534
• Values of Slice and Builder types are not converted to Cell in Typescript bindings anymore: PR #562
• Debug prints now include line content for better debugging experience: PR #563
• Error messages now suggest to add the self prefix if there is an attempt to access a missing variable when the contract storage has a variable with the same name: PR #568
• Error messages now suggest to add or remove parentheses if there is an attempt to access a missing field when there is a method with the same name (and vice versa): PR #622

Fixed

• Name clashes with FunC keywords in struct constructor function parameters: PR #467
• Error messages for traversing non-path-expressions in foreach-loops : PR #479
• Shadowing of trait constants by contract storage variables: PR #480
• Parsing of non-decimal message opcodes: PR #481
• Detection of multiple receivers of the same message: PR #491
• Detection of non-unique message opcodes: PR #493
• Error messages for non-abstract constants in traits: PR #483
• All immediately inherited traits must be unique: PR #500
• Do not throw error when overriding abstract and virtual getters: PR #503
• Error message for non-existent storage variables: PR #519
• Error message for duplicate receiver definitions inherited from traits: PR #519
• Usage of initOf inside of init() does not cause error 135 anymore: PR #521
• Usage of newAddress with hash parts shorter than 64 hexadecimal digits does not cause constant evaluation error Invalid address hash length anymore: PR #525
• Introduced a streamlined error logger for compilation pipeline to support third-party tools: PR #509
• Collisions of PascalCase getter names in generated wrappers are now checked: PR #556
• Display a clearer error in case the source code file is missing when using the Tact CLI: PR #561
• Error messages for unicode code points outside of valid range: PR #535
• Correct regex for unicode code points and escaping of control codes in generated comments: PR #535
• Add impure specifier to some stdlib functions that are expected to throw errors: PR #565
• Defining non-existing native FunC functions now throws an understandable compilation error: PR #585
• Bump used @tact-lang/opcode version to 0.0.16 which fixes the issue with DIV instructions: PR #589
• Code generation for recv_external now correctly throws exit code 130 when processing an unexpected message: PR #604
• Allocator bug resulting in cell overflows for some contract data layouts: PR #615
• Structs with more than 15 fields do not cause a FunC compilation error anymore: PR #590
• Typechecking for constant and struct field initializers: PR #621
• Constant evaluation for structures with default and optional fields: PR #621
• Report error for self-referencing and mutually-recursive types: PR #624
• Error reporting for bounced receivers with missing parameter types: PR #626
• Allowed range of FunC function identifiers in grammar.ohm: PR #628

Release contributors

• apasittacc
• Andrei Borzenkov
• byakuren-hijiri
• cemorum
• heli0dus
• Novus Nota
• Jesús Héctor Domínguez Sánchez
• Daniil Sedov
• Vlada Shafranskaia
• Anton Trunov
• Rahul Yadav

Special thanks

For opening numerous issues and making thoughtful suggestions we'd like to thank

• 0kenx
• Evgenii Akentev
• verichenn
• Stanislav Takt

Release 1.4.0

Added

• The bitwise NOT operation (~): PR #337
• Augmented assignment bitwise operators |=, &=, ^=: PR #350
• Traversing maps from contract storage and structs is now allowed: PR #389
• The loadBool method for Slice type: PR #412
• CLI flag --with-decompilation to turn on decompilation of BoC files at the end of the compilation pipeline: PR #417
• Support more Tact expressions in the constant evaluator: conditional expressions, struct instances, struct field accesses, emptyMap(): PR #432 and PR #445
• The fromCell and fromSlice methods for struct and message parsing: PR #418 and PR #454
• The return-statement reachability analysis now takes into account the throw and nativeThrow functions: PR #447

Changed

• Trailing semicolons in struct and message declarations are optional now: PR #395
• Tests are refactored and renamed to convey the sense of what is being tested and to reduce the amount of merge conflicts during development: PR #402
• let-statements can now be used without an explicit type declaration and determine the type automatically if it was not specified: PR #198 and PR #438
• The outdated TextMate-style grammar files for text editors have been removed (the most recent grammar files can be found in the tact-sublime repo): PR #404
• The JSON schema for tact.config.json has been moved to the schemas project folder: PR #404
• Allow underscores as unused variable identifiers: PR #338
• The default compilation mode does not decompile BoC files anymore, to additionally perform decompilation at the end of the pipeline, set the fullWithDecompilation mode in the mode project properties of tact.config.json: PR #417
• Trait lists, parameters and arguments in the Tact grammar were assigned their own names in the grammar for better readability and code deduplication: PR #422
• The semicolon (;) terminating a statement is optional if the statement is the last one in the statement block: PR #434

Fixed

• Return type of skipBits now matches FunC and does not lead to compilation errors: PR #388
• Typechecking of conditional expressions when one branch's type is a subtype of another, i.e. for optionals and maps/null: PR #394
• Typechecking of conditional expressions when the types of their branches can be generalized, i.e. for non-optionals and null can be inferred an optional type: PR #429
• External fallback receivers now work properly: PR #408
• Int as coins as a value type of a map in persistent storage does not throw compilation error anymore: PR #413
• The semantics of the Tact arithmetic operations in the constant evaluator to perform rounding towards negative infinity: PR #432
• Better error messages for the void type: PR #442
• Fixed the native function binding for the stdlib function nativeThrowWhen (it needed to be throw_if instead of throw_when) and also renamed it to nativeThrowIf for consistency with FunC: PR #451

Release contributors

• Aliaksandr Bahdanau
• Daniil Sedov
• Anton Trunov

Special thanks

For opening numerous issues and making thoughtful suggestions we'd like to thank

• 0kenx
• byakuren-hijiri
• Novus Nota
• Stuart Farmer
• Vitor Py

Release 1.3.1

Added

• Tests for recursive functions: PR #359
• API for AST traversal: PR #368
• Spell checking for the whole code base: PR #372

Changed

• GitHub actions updated to use Node.js 20: PR #360
• Refactor AST types to simplify access to third-party tools: PR #325
• Refactor the compiler API used to access AST store: PR #326
• Update JSON Schema to inform about usage in Blueprint: PR #330
• All identifiers in error messages are now quoted for consistency: PR #363
• The Tact grammar has been refactored for better readability: PR #365

Fixed

• The log2 and log math functions were adjusted for consistency in error throwing: PR #342
• Shadowing built-in static functions is now forbidden: PR #351
• Augmented assignment now throws compilation error for non-integer types: PR #356
• Built-in function address() now handles parse errors correctly: PR #357
• The grammar of the unary operators has been fixed, constant and function declarations are prohibited for contracts and at the top level of Tact modules: PR #365
• Typos in ABI generation: PR #372
• __tact_load_address_opt code generation: PR #373
• Empty messages are now correctly converted into cells: PR #380
• All integer and boolean expressions are now being attempted to be evaluated as constants. Additionally, compile-time errors are thrown for errors encountered during the evaluation of actual constants: PR #352
• Chaining mutable extension functions now does not throw compilation errors: PR #384

Release contributors

• 0kenx
• byakuren-hijiri
• Novus Nota
• Vitor Py
• Daniil Sedov
• Anton Trunov

Release 1.3.0

Added

• log2 and log math functions in @stdlib/math: PR #166
• Reserve mode constants in @stdlib/reserve, namely ReserveExact, ReserveAllExcept, ReserveAtMost, ReserveAddOriginalBalance, ReserveInvertSign, ReserveBounceIfActionFail: PR #173
• Support for string escape sequences (\\, \", \n, \r, \t, \v, \b, \f, \u{0} through \u{FFFFFF}, \u0000 through \uFFFF, \x00 through \xFF): PR #192
• JSON Schema for tact.config.json: PR #194
• Struct fields punning, i.e. {foo, bar} is syntactic sugar for { foo: foo, bar: bar }: PR #272
• The ability to use dump function on the values of the Address type: PR #175
• The non-modifying StringBuilder's concat extension function for chained string concatenations: PR #217
• The toString extension function for Address type: PR #224
• The bitwise XOR operation (^): PR #238
• The isEmpty extension function for the Map type: PR #266
• The pow2 power function with base 2: PR #267
• The try and try-catch statements: PR #212
• The del method for the Map type: PR #95
• The -h/--help, -v (short for --version), -p (short for --project), --func (for only outputting FunC code) and --check (for only doing the syntax and type checking) command-line flags: PR #287
• The mode enum in project properties of tact.config.json for specifying compilation mode: full (default), funcOnly (only outputs FunC code and exits), or checkOnly (only does the syntax and type checking, then exits): PR #287
• The foreach loop for the Map type: PR #106

Changed

• The implicit empty init function is now present by default in the contract if not declared: PR #167
• Support trailing commas in all comma-separated lists (struct instantiations, initOf arguments, init() parameters, inherited traits via with, function arguments and parameters): PR #179 and PR #246
• @stdlib/stoppable now imports @stdlib/ownable so the programmer does not have to do it separately: PR #193
• The newAddress function now evaluates to a constant value if possible: PR #237
• The pow power function could only be used at compile-time, but now it is available in the standard library and can be called both at runtime and compile-time: PR #267
• The dump() and dumpStack() functions now print the file path, line number, and column number in addition to the data: PR #271
• Use | instead of + for send mode flags because the bitwise OR operation is idempotent and hence safer: PR #274
• Bumped the versions of @ton/core and ohm-js to the most recent ones: PR #276
• Generated .pkg-files always use POSIX file paths (even on Windows): PR # 300
• The -p/--project flags now allow specifying more than one project name. Additionally, they also require a --config flag to be specified: PR #287
• Command-line interface now allows compiling a single Tact file directly, without specifying a config: PR #287

Fixed

• Escape backticks in error messages for generated TypeScript code: PR #192
• Integer overflows during compile-time constant evaluation are properly propagated as a compilation error: PR #200
• Incorrect "already exists" errors when using the toString and valueOf identifiers: PR #208
• Empty inherited trait lists after with keyword are now disallowed: PR #246
• Allow chaining method calls with !!, for instance, map.asCell()!!.hash() is grammatically correct now: PR #257
• Precedence levels for bitwise operators, equality and comparisons now matches common languages, like JavaScript: PR #265
• Incorrect variable scoping in the repeat, while and until loops: PR #269
• FunC compilation errors when trying to dump() values of the Cell, Slice, Builder and StringBuilder types: PR #271
• Tact's CLI returns a non-zero exit code if compilation fails: PR #278
• Use the most recent version of the FunC standard library stdlib.fc: PR #283
• The WASM version of the FunC compiler has been updated to 0.4.4 and patched to work on larger contracts: PR #297
• The return-statement reachability analysis: PR #302

Release contributors

• byakuren-hijiri
• Max Korsunov
• Novus Nota
• Vitor Py
• Daniil Sedov
• Anton Trunov

Release 1.2.0

Added

• Augmented assignment operators (+=, -=, *=, /= and %=): PR #87
• Binary and octal literals with underscores as numerical separators: PR #99
• Ternary conditional operator (condition ? then : else): PR #97
• The --version command-line flag for the Tact executable: PR #137
• The SendBounceIfActionFail send mode constant to the standard library: PR #122

Changed

• Decimal and hexadecimal literals now allow underscores as numerical separators: PR #99
• The equality and non-equality operators (== and !=) now support slices and strings by comparing the hashes of the left-hand and right-hand sides : PR #105
• Continuous integration now tests the dev tact-template's version with the dev version of Tact: PR #111
• Continuous integration now tests the latest Blueprint's version with the dev version of Tact: PR #152
• Continuous integration now checks there are no ESLint warnings: PR #157

Fixed

• Relative imports from parent directories: PR #125
• The typechecker failed to identify different types when using the == and != operators: PR #127
• ESLint warnings for the whole Tact codebase: PR #157
• The versions of some vulnerable dependencies were bumped in package.json and yarn.lock: PR #158 and PR #160

Release contributors

• Daniil Sedov
• Anton Trunov

Release 1.1.5

Added

• Continuous integration to run Tact tests on Linux, macOS and Windows: PR #96

Changed

• Migration to @ton NPM packages: PR #89

Fixed

• Struct and message identifiers need to be capitalized: PRs #81 and #83
• Fixed the signature of the checkDataSignature function in stdlib/std/crypto.tact: PR #50
• Show location info for the internal compiler error 'Invalid types for binary operation': PR #63

Release 1.1.4

Changed

• Hacked paths to support builds on Windows