Modificata la grammatica.
Aggiunta la parte per l'inserimento dei tipi parametrici nella
symbleTable.
Aggiunti vari altri tipi per la gestione dei tipi generici.
Grammatica pre tipi-generici.
ToPrint() dei tipi generici e controllo dell'albero. Tutto sembra al
posto giusto.
Completato parzialmente Typecheck
Eliminati i nodi inutili e sistemate altre cose marginali
Implementati Generici - Todo liste e testing
Grammatica ordinata, aggiunta la possibilità di passare generici ad altre funzioni annidate.
Modificata la grammatica.
Segate le liste, si fanno coincidere con il tipo base, per quelle generiche si usa il generic type normale.
Aggiunto un if nel FunNode Che evita di rieffettuare il typecheck a runtime se è già stato fatto.
Questo causava un LOOP quando all'interno del linguaggio si avevano funzioni ricorsive.
Eliminato campo inutile dal ParamNode
Modificato il DecFunNode per il corretto rilevamento dei generici nei tipi
Modificato un riferimento nella grammatica per il corretto inserimento dei generici
Testing: le liste sono da usare con questo pattern [ :: [ :: [ :: empty]]] per fare un esempio
altrimenti potrebbe dare errore il controllo sull'empty. Fare altri test.
Controllare il test 5.
Test per il progetto
Commit delle classi autogenerate da ANTLR