1 files changed, 7 insertions, 3 deletions
diff --git a/TODO.md b/TODO.md
index 86b7e31..0c68e0f 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,12 +1,16 @@
 # Currently open issues
- [~] Fill up symbol tables/environments/types.
+- [ ] Start transformation of parse tree into a simple linear IR.
- [~] Add type checking.
 - [ ] Write a proper spec.
    - [ ] Write proper typing rules.
    - [ ] Write numeric type coercion rules.
- [ ] Add user defined function calls (Only builtin calls currently supported).
+- [ ] Ensure numeric constants fit within the given types.
+- [ ] Change type annotations to allow annotating any expression.
+- [ ] Improve error messages to be more descriptive and practical.
+- [ ] Add references.
 - [ ] Use bump allocators to avoid a large number of `malloc` calls.
 - [ ] Free memory. Not important for now, since it will be cleaned up at exit.
 - [ ] Add structs.
 - [ ] Add arrays and darrays.
+- [ ] Add type inference and generic types.
+- [ ] Create a pretty-printer for consistent code styling.

diff --git a/TODO.md b/TODO.md index 86b7e31..0c68e0f 100644 --- a/TODO.md +++ b/TODO.md
@@ -1,12 +1,16 @@
1	# Currently open issues	1	# Currently open issues
2		2
3	- [~] Fill up symbol tables/environments/types.	3	- [ ] Start transformation of parse tree into a simple linear IR.
4	- [~] Add type checking.
5	- [ ] Write a proper spec.	4	- [ ] Write a proper spec.
6	- [ ] Write proper typing rules.	5	- [ ] Write proper typing rules.
7	- [ ] Write numeric type coercion rules.	6	- [ ] Write numeric type coercion rules.
8	- [ ] Add user defined function calls (Only builtin calls currently supported).	7	- [ ] Ensure numeric constants fit within the given types.
		8	- [ ] Change type annotations to allow annotating any expression.
		9	- [ ] Improve error messages to be more descriptive and practical.
		10	- [ ] Add references.
9	- [ ] Use bump allocators to avoid a large number of `malloc` calls.	11	- [ ] Use bump allocators to avoid a large number of `malloc` calls.
10	- [ ] Free memory. Not important for now, since it will be cleaned up at exit.	12	- [ ] Free memory. Not important for now, since it will be cleaned up at exit.
11	- [ ] Add structs.	13	- [ ] Add structs.
12	- [ ] Add arrays and darrays.	14	- [ ] Add arrays and darrays.
		15	- [ ] Add type inference and generic types.
		16	- [ ] Create a pretty-printer for consistent code styling.