From 5e333ec85ebbae58686d225b7e03fcff9376d979 Mon Sep 17 00:00:00 2001
From: azidar
Date: Tue, 3 Mar 2015 13:29:37 -0800
Subject: Updated TODO and spec

---
 TODO | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'TODO')

diff --git a/TODO b/TODO
index aea5144c..332b127d 100644
--- a/TODO
+++ b/TODO
@@ -2,6 +2,7 @@
 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)
    Update spec
       change concrete syntactical names of structural elements
       change direction names for bundle fields
@@ -23,6 +24,7 @@ TODO
       What is lowered form? What is it for?
 
 
+
 Tests:
    Error if declare anything other than module in circuit
    Error if incorrectly assign stuff, like use = instead of :=
-- 
cgit v1.2.3