pl/bc
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

eval: fixed first state forgetfulness issue

Browse Source
This commit is contained in:
Veit Heller
2017-05-22 18:56:27 -04:00
parent 0fb92f60da
commit 545d2896a1
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/BC/Eval.hs
View File

@@ -135,7 +135,12 @@ funCall state (BFun name args body) provided =
callWith state (a:args) (p:provided) = callWith state (a:args) (p:provided) =
let (evald, nstate) = eval state p let (evald, nstate) = eval state p
in callWith (M.insert a evald nstate) args provided in callWith (M.insert a evald nstate) args provided
-- TODO: fix state forgetfulness
funCall state (BNative body) provided = funCall state (BNative body) provided =
let args = map (fst . (eval state)) provided let (args, nstate) = callWith state provided
in (body args, state) in (body args, state)
-- TODO: make tail recursive with accumulator
where callWith state [] = (state, [])
callWith state (x:xs) =
let (evald, nstate) = eval state x
(retstate, l) = callWith nstate xs
in (retstate, evald:l)