tact-lang / tact

Tact compiler main repository
https://tact-lang.org
MIT License
280 stars 56 forks source link

Ensure constant evaluator and compiler produce the same results #455

Open anton-trunov opened 1 week ago

anton-trunov commented 1 week ago

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.