[update todo list
John Meacham <john@repetae.net>**20051021072500] hunk ./docs/todo.otl 6
-	IO actions too strict
-	|  they evaluate their arguments on IO action creating time rather than execution time. this inhibits CPR analysis
hunk ./docs/todo.otl 7
+	full lazyness transformation
+	better strictness analyzer (HORN?)
+	use typeanalysis to prune class methods and instantiate polymorphic functions called monomorphically
+	collectOcc should annotate variables directly rather than returning a map
+	CPR should be performed recursivly on data types
hunk ./docs/todo.otl 14
-		stronger typing
-		|  App and Prim should have types directly in the grin so we need not look
-		|  them up in the environment. ValPrim should too.
-		suspended errors should be constants, since they are never updated
-
+		remove dead arguments completly from functions
+		calculate appropriate size of heap values statically rather than using jhc_sizeof
hunk ./docs/todo.otl 17
-		primitives
-		|  a type should be assosiated with AddrOf
+		preserve mapping of c variables rather than declaring a ton of temporaries