Skip to content

feat(tolk): update compiler to Tolk v1.5 - #1290

Merged
i582 merged 1 commit into
masterfrom
tolk-v1.5
Sep 28, 2026
Merged

i582 merged 1 commit into
masterfrom
tolk-v1.5

Conversation

@tolk-vm

@tolk-vm tolk-vm commented Sep 26, 2026

Copy link
Copy Markdown
Collaborator

Tolk v1.5 is releasing here:

List of changes in Tolk v1.5:

  1. @inline functions with multiple returns
  2. break/continue in loops, finally for TVM
  3. Type aliases as directional subtypes
  4. Reorganized purity concept and dead-code removal
  5. Colorful compilation errors with multiple locations and hints
  6. Several bytecode optimizations
  7. Preparing the kernel for Tolk v2.0

This PR updates tests, snapshots, and Acton stdlib.

Draft: tests do not pass in CI yet: acton branch in ton-blockchain should be deployed with new Tolk sources.

@netlify

netlify Bot commented Sep 26, 2026 •

Copy link
Copy Markdown

✅ Deploy Preview for acton-staging canceled.

Name Link
🔨 Latest commit 15f82ee
🔍 Latest deploy log https://app.netlify.com/projects/acton-staging/deploys/6aba4d9bfb68650008069dc6

@tolk-vm
tolk-vm marked this pull request as draft September 26, 2026 09:52
@github-actions github-actions Bot added documentation Improvements or additions to documentation stdlib Tasks about Acton standard library inspections Tasks for upcoming linter in Acton Acton.toml Tasks related to Acton.toml config IDE Support libraries tolk-engine Tasks about Tolk resolver/type inference in Acton and removed tolk labels Sep 26, 2026

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: ccca6b356e

ℹ️ About Codex in GitHub

Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".

Comment thread src/commands/new/templates/nft/contracts/errors.tolk
@i582
i582 marked this pull request as ready for review September 28, 2026 11:25
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 28, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-09-28T11:29:14.231110Z 15f82ee Draft marked ready
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 15f82ee56e

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

// It contains common functions that are available out of the box, the user doesn't have to import anything.
// More specific functions are required to be imported explicitly, like "@stdlib/gas-payments".
tolk 1.4.2
tolk 1.5

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Default verifier requests to Tolk 1.5

After this compiler upgrade, acton verify without --compiler-version compiles the contract locally with Tolk 1.5 but still sends "compiler_version":"1.4.2" from src/commands/verify/mod.rs:163. Because 1.5 changes generated bytecode (as reflected throughout the updated code-hash snapshots), the verifier will recompile with the wrong compiler and fail to reproduce the submitted code hash; update the default, its test, and the generated command documentation together.

Useful? React with 👍 / 👎.

@i582
i582 merged commit 0ebd880 into master Sep 28, 2026
24 of 25 checks passed
@i582
i582 deleted the tolk-v1.5 branch September 28, 2026 11:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Acton.toml Tasks related to Acton.toml config documentation Improvements or additions to documentation IDE Support inspections Tasks for upcoming linter in Acton libraries stdlib Tasks about Acton standard library tolk-engine Tasks about Tolk resolver/type inference in Acton

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants