Nós realizamos uma refatoração completa do Type Checker, utilizando a técnica StateTransformers. Além disso, o código passou a seguir inteiramente o paradigma funcional e foi adicionado suporte a operações tanto com inteiros quanto números reais.
Como foi feita uma refatoração e não foram adicionadas funcionalidades novas, os testes anteriores são suficientes. No entanto, foram adicionados alguns testes unitários novos para verificar expressões e STMTs. Todos os testes estão passando.
Alunos:
Mateus Oliveira 221029150
Alan Magalhães 221037376
Hugo Macedo 221037634
Lucas Cardoso 221017103
Nós realizamos uma refatoração completa do Type Checker, utilizando a técnica StateTransformers. Além disso, o código passou a seguir inteiramente o paradigma funcional e foi adicionado suporte a operações tanto com inteiros quanto números reais.
Como foi feita uma refatoração e não foram adicionadas funcionalidades novas, os testes anteriores são suficientes. No entanto, foram adicionados alguns testes unitários novos para verificar expressões e STMTs. Todos os testes estão passando.
Alunos: Mateus Oliveira 221029150 Alan Magalhães 221037376 Hugo Macedo 221037634 Lucas Cardoso 221017103