Work in progress code gen

[cc1516.git] / gen.icl

diff --git a/gen.icl b/gen.icl
index 9145ee5..0fc8bc0 100644 (file)
--- a/gen.icl
+++ b/gen.icl
@@ -64,8 +64,14 @@ gen (AST fds) = case evalRWST prog "" ('Map'.newMap, labelStream) of
 //                    ,Instr "ldc" [Lit 1] "Eerste instructie"
 //                    ,Instr "ldc" [Lit 2] "Tweede instructie"]
 
-//TODO:
-//For now in the generation we assume all vars fit on the stack...
+//Current issues:
+//All VarDecls are added as function, how to deal with assignments?
+//  (And when we deal with assignments, how to deal with assignments to higher order functions?)
+//Dealing with arguments
+//Dealing with types that do not fit on the Stack
+//  Probably completely change LoadPlace to a Type and a position relative to *something*
+//  And where the type determines if this position is a pointer to the heap or an
+//  unboxed value
 
 //helper functions for the gen monad
 genMap :: Gen GenMap