Track local variables, WIP code gen

1 files changed, 6 insertions, 6 deletions

diff --git a/src/Micro/Compiler.hs b/src/Micro/Compiler.hs
index 89ba802..98fdae8 100644
--- a/src/Micro/Compiler.hs
+++ b/src/Micro/Compiler.hs
@@ -153,9 +153,9 @@ compileOne x = do
             Just err -> addError $ Error TypeError err pos
             Nothing -> pure rtyp
         _ -> addError $ Error NonCallable "non callable value in function call" pos
-    (A.Var ident typ val priv pos) -> do
+    (A.Var ident typ val priv local pos) -> do
       st <- get
-      (ev, errs) <- return $ foldlEither addSymUniq (stEnv st, stErr st) [Sym ident typ priv True pos]
+      (ev, errs) <- return $ foldlEither addSymUniq (stEnv st, stErr st) [Sym ident typ priv local pos]
       errs <-
         return $
           if not (definedType typ)
@@ -206,9 +206,9 @@ foldConstant x =
       fid <- foldConstant ident
       fargs <- traverse foldConstant args
       Right $ A.Call fid fargs pos
-    (A.Var ident typ val priv pos) -> do
+    (A.Var ident typ val priv local pos) -> do
       fv <- foldConstant val
-      Right $ A.Var ident typ fv priv pos
+      Right $ A.Var ident typ fv priv local pos
     (A.Return value pos) -> do
       fv <- traverse foldConstant value
       Right $ A.Return fv pos
@@ -231,6 +231,6 @@ compileToAst ast = do
 
 compile :: [A.Expr] -> Either [Error] String
 compile ast = do
-  sym <- evalState (compileAll ast) startState
+  _ <- evalState (compileAll ast) startState
   fast <- left (\e -> [e]) $ traverse foldConstant ast
-  return $ generate version sym fast
+  return $ generate version fast