search

epatrizio / comp2mzam

Imperative language compiler to the Mini-ZAM
The Unlicense
0 stars 0 forks source link

[Bug] AST typing #13

Closed epatrizio closed 2 years ago

epatrizio commented 2 years ago

See the AST recursive typing at expressions level ... : "deeper" expressions (~ not coming from a statement) do not seem to be decorated with their type.

epatrizio commented 2 years ago

Important refactoring because type_expr function return now, type "and" the current expression node decorated with the type (not only the type)