Inizio Typecheck
Type check dei tipi freccia e delle funzioni passate come parametro, da
testare.
- Cambiata la grammatica per inserire il baseType come unica scelta
delle variabili.
- Aggiunti tutti i messaggi di errore del type check
- Aggiunti tutti i tipi nodo nel nodeType
Files of the previous commit
Testato sommariamente il type check, corretti alcuni bugs:
- DecFunNode è stato aggiunto il controllo del numero dei parametri nel
caso si abbia un tipo freccia.
- HigherOrderFun è stato corretto il cast con il simble entry per
lanciare correttamente il type check del tipo del parametro associato
alla funzione.
- FunNode aggiunto il controllo del DecArroFunNode sul tipo del nodo
passato nella simble entry.

Quando tutto sarà testato si può anche decidere di sopprimere il nodo
DecArrowFunNode in quanto del tutto identico alla classe da cui eredita.
Typecheck funzionante
Segato DecArrowFunNode
Merge branch 'Seconda-Estensione---TypeCheck'