Updated TODO list

README.md

@@ -18,9 +18,8 @@ The Makefile uses [OCamlMakefile(https://bitbucket.org/mmottl/ocaml-makefile/).
 Issues & TODO
 -------------
 
-- Generated variables should have leading _ instead of containing a $.
-Typechecking should print multiple errors before quitting.
-- Typechecking now gives an error when integers are not in the 32-bit range, as
-  the reference compiler implements it. However, 64-bit should imo also be
-  supported (using Nativeint instead of Int32).
+- Context analysis and typechecking phases should print multiple errors before
+  quitting.
+- Typechecking now gives an error when integers are not in the 32-bit range. Is
+  this correct?
 - Replace VarDec with Var_dec etc? (to adhere to the coding style)