tact
tact copied to clipboard
tact-lang
Tact compiler main repository
Closes #579 - [x] I have updated CHANGELOG.md - [ ] ~~I have documented my contribution in Tact Docs: https://github.com/tact-lang/tact-docs/pull/PR-NUMBER~~ - [x] I have added tests to demonstrate the contribution...
Closes #510 WIP `Tracker` class is basically an edit of the same class from `tact-emulator` but for Sandbox. - [ ] I have updated CHANGELOG.md - [ ] I have...
We could assume the configuration of the project based on some source code files and their import graph, then deduce potential entry points to compile the project. This is mostly...
There are already static constants in Tact that can be declared outside of functions and receivers, but what about the possibility of defining constants within function bodies to enhance code?...
The @ton/core TypeScript library uses `storeBit` and `loadBit` and this sometimes confuses people. They need to remember to use `storeBool` and `loadBool` in Tact in the corresponding places. Related issue:...
`--check` does both typechecking _and_ constant evaluation, but sometimes during debugging you need to know where the error comes from exactly. We should refactor out error messages to make it...
### Problem statement Take a look at the following snippet. ```tact import "@stdlib/deploy"; trait Trait { id: Int; get fun contractData(): Trait { // typechecker thinks it's ok here return...
For instance, `tact --check-expr '-1 / (2
The following Tact module does not compile: ``` trait Trait { id: Int as uint32; } ``` Compilation fails with ``` Trait field cannot have serialization specifier ```
See the closely related issue #314 and also the major tools that use Tact's API: Tact VS Code plugin, Blueprint, misti, tact-check, tact-lsp. We should also put more projects in...