C1 : Implementare Type Checking per espressioni in modulo separato

nagard98 / compiler-frontend

Simil Pascal compiler for University exam in "Languages and Compilers"

0 stars 0 forks source link

Open nagard98 opened 1 year ago

nagard98 commented 1 year ago

A partire dal SDD scritto nella relativa parte B, convertirlo in Haskell per fare il checking:

ovib commented 1 year ago

[x] Definire grafo di compatibilità dei tipi
[ ] aver definito le type systems rules per le espressini (B2)
[ ] refactor del bnfc per includere il tipo di dato ERRORE, più "grande" di tutti gli altri
[ ] creare la funzione sup che dati due tipi restituisce il tipo risultante (che puo essere anche error)
[ ] implementare regole nel type checker [scomporre in task piu piccoli quando sarà piu chiaro come procedere]