diff options
-rw-r--r-- | Notes/todo.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Notes/todo.txt b/Notes/todo.txt index c0695ad5..daee5d0b 100644 --- a/Notes/todo.txt +++ b/Notes/todo.txt @@ -1,7 +1,8 @@ TODO: -- Drops in MIR - MIR print +- Drops in MIR - MIR Validation pass -- Fix parser against rustc tests and tifflin - Save HIR+MIR into crate metadata - Method and type monomorphisation +- Test compile against a no_std program +- MIR Optimisations |