Refatoração do Type Checker para gerar AST Anotada #54

lucasTL1 · 2025-07-19T18:09:14Z

O que esta mudança faz?

Este PR refatora completamente os módulos expression_type_checker e statement_type_checker.
O type checker agora consome a AST do parser e produz uma TypedAST, que carrega informações de tipo em cada expressão, garantindo a correção semântica.
Também foram criadas as estruturas de dados para a TypedAST no arquivo ir/typed_ast.rs.
Todos os testes foram atualizados para validar o novo comportamento.

Atende ao objetivo do "Projeto 08", que é evoluir o type checker para que ele não apenas valide, mas transforme a AST.
A TypedAST resultante é uma entrada muito mais segura e robusta para a próxima fase do interpretador.

lucasTL1 added 5 commits July 9, 2025 23:06

Update expression_type_checker.rs

0a9b44d

Update statement_type_checker.rs

4fd1468

Create typed_ast.rs

4ad53c2

Create mod.rs

807d02b

Update main.rs

fe17a7d

lucasTL1 closed this Jul 19, 2025

lucasTL1 reopened this Jul 19, 2025