Finished infer-types pass

1 files changed, 2 insertions, 0 deletions

diff --git a/TODO b/TODO
index 332b127d..e122c35c 100644
--- a/TODO
+++ b/TODO
@@ -3,6 +3,8 @@ TODO
    Figure out how types and widths propogate for all updated primops
    Write infer-types pass
    Remove letrec. Add to expressions: Register(input,en), ReadPort(mem,index,enable), WritePort(mem,index,enable)
+   Add bit-reduce-and etc to primops
+   Write pass to rename identifiers (alpha-transform)
    Update spec
       change concrete syntactical names of structural elements
       change direction names for bundle fields