From c0dbfec91dd9781afa867675dd7a1d9cdc034c74 Mon Sep 17 00:00:00 2001 From: Bad Diode Date: Fri, 22 Apr 2022 14:56:37 -0300 Subject: Add some TODOs --- TODO.md | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'TODO.md') 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. -- [~] Add type checking. +- [ ] Start transformation of parse tree into a simple linear IR. - [ ] 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. -- cgit v1.2.1