note todo.txt

parametri nelle func env entry - done
chiamate ricorsive - done
distinguere var e func nel typecheck ident! - done
creare env entry per ogni variabile parametro delle func. - done
break;continue;return multipli non vanno bene? - vanno bene
if then con control decl --> il tipo esplicito? l'env da aggiornare? - done
testare puntatori - done
aggiungere controllo correttezza indici array ?!?!? - C non lo fa... controllo a run-time
preprocessing puntatori dopo = - done
e togliere dell'& - done
controllare ridefinizione funzioni. non deve esserci overloading! - done
[NamedExpressionAssigned da gestire
	(label nelle chiamate di funz?)		  - removed
	togliere le label nelle chiamate? !?!?!?]
Problema parser default (*p) - done
param variables non devono essere modificate! sono costanti a compile-time -done
testare return funzioni (casi particolari array e puntatori) - done
updateEnv refactor (lavora solo su statement?) (togliere err) - done
SKEL FOR ARRAYINIT! - done
cast for pointers - done
RANGEXP:						-
limitare a soli interi					] - done
controllare che funzioni tutto su cicli for e array..?	-
FOR STATEMENT:						-
in corrispondenza di un indexvardec (for x in 1..10) 	] - done
serve l'entry di x di tipo intero			-
aggiornare posizioni indici - done
nel typechecker viene assegnata la pos sbagliata nel tcheckresult delle variabili? - done
>> le guardie dei for devono essere const!(param) - done
bloccare typeindex unary con +,-,! - done
gestire tac rangeexpressions - done
short-cut/lazy eval on bool flags - done
gestione tac array di puntatori, viceversa e cose complesse - done
array = array ??????? da completare con aggiunta del tac (temp,....) - done
finire gestione []int,[][]int,........... - done
ricontrollare pointers - done
array of pointers ([]_$$) come lvalue - done
pointers of array - done
[]int; lunghezza 1 - done
togliere parole riservate non più usate - done
gestione passaggio parametri? noi abbiamo ref. e val.? - removed
aggiungere test case significativi - done
Testare propagazione errori dopo aver corretto tutte le stringe di errore! - done
togliere tipi usati come segnaposto nel tac - removed
[]--->modificare typearray con supporto a typeexpression - completed
-----------

-------------