Limit lambdas to only use local variables

Dynamic allocation (and hence closures) is not supported.

1 files changed, 4 insertions, 2 deletions

diff --git a/src/Compiler.hs b/src/Compiler.hs
index f9c0eed..0d90143 100644
--- a/src/Compiler.hs
+++ b/src/Compiler.hs
@@ -86,7 +86,7 @@ compile x = do
       l <- compile a
       r <- compile b
       return $ l -- TODO: placeholder
-    (A.Func ident params ret body priv pos) -> do
+    (A.Func ident params ret body priv anon pos) -> do
       -- current env
       (ev, errs) <- get
       -- updated with the function
@@ -94,8 +94,10 @@ compile x = do
         return $ case addSymUniq ev (ident, ftype, pos) of
           Left err -> (ev, err : errs)
           Right ev -> (ev, errs)
+      -- lambdas can only access local variables (closures aren't supported)
+      fev <- return $ if anon then emptyEnv else ev
       -- with parameters
-      (nev, errs) <- return $ foldlEither addSymUniq (addEnv ev, errs) params
+      (nev, errs) <- return $ foldlEither addSymUniq (addEnv fev, errs) params
       -- helper for return
       nev <- return $ addSym nev ("$fn$", ftype, pos)
       put (nev, errs)