8000 Ensure constant evaluator and compiler produce the same results · Issue #455 · tact-lang/tact · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Ensure constant evaluator and compiler produce the same results #455
New issue
New issue
Open
Idea
Open
Ensure constant evaluator and compiler pr 94C4 oduce the same results#455
Idea
Assignees
jeshecdom
Labels
kind: testingTests (*.spec.ts)scope: codegenCode generation, a.k.a. compiler backend (src/generator)scope: partial-evalThe constant and partial evaluation optimization mechanisms (src/optimizer/constEval.ts)
Milestone
 
v1.8.0
@anton-trunov

Description

@anton-trunov
anton-trunov
opened on Jun 21, 2024

It would be a critical bug if the constant evaluator and the compiler produced different results for an (unevaluated) constant expression. So, we can do both at compile time and report a critical error if both results ever diverge.

@jeshecdom you might want to look into this while working on #435.

Metadata

Metadata

Assignees

Labels

kind: testingTests (*.spec.ts)scope: codegenCode generation, a.k.a. compiler backend (src/generator)scope: partial-evalThe constant and partial evaluation optimization mechanisms (src/optimizer/constEval.ts)

Type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions
    0