carp-lang/Carp
1
1
Fork 0
mirror of https://github.com/carp-lang/Carp.git synced 2024-09-17 16:38:14 +03:00
Code Issues Projects Releases Wiki Activity

eval: fix resolve semantics for successive evaluation (#1116)

Browse Source
This commit is contained in:
Veit Heller 2021-01-11 13:22:05 +01:00 committed by GitHub
parent 926eb08b03
commit 2db218353c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Eval.hs
View File

@ -282,7 +282,7 @@ eval ctx xobj@(XObj o info ty) preference resolver =
\case
err@(Left _) -> pure err
Right ctx' -> do
(newCtx, res) <- eval ctx' x preference ResolveLocal
(newCtx, res) <- eval ctx' x preference resolver
case res of
Right okX -> do
let binder = Binder emptyMeta (XObj (Lst [XObj LetDef Nothing Nothing, XObj (Sym (SymPath [] n) Symbol) Nothing Nothing, okX]) Nothing (xobjTy okX))
@ -383,10 +383,10 @@ eval ctx xobj@(XObj o info ty) preference resolver =
pure (popFrame newCtx', res)
x -> pure (newCtx, x)
x@(XObj (Sym _ _) i _) : args -> do
(newCtx, f) <- eval ctx x preference ResolveLocal
(newCtx, f) <- eval ctx x preference resolver
case f of
Right fun -> do
(newCtx', res) <- eval (pushFrame ctx xobj) (XObj (Lst (fun : args)) i ty) preference ResolveLocal
(newCtx', res) <- eval (pushFrame ctx xobj) (XObj (Lst (fun : args)) i ty) preference resolver
pure (popFrame newCtx', res)
Left err -> pure (newCtx, Left err)
XObj With _ _ : xobj'@(XObj (Sym path _) _ _) : forms ->
@ -401,7 +401,7 @@ eval ctx xobj@(XObj o info ty) preference resolver =
successiveEval' (ctx', acc) x =
case acc of
err@(Left _) -> pure (ctx', err)
Right _ -> eval ctx' x preference ResolveLocal
Right _ -> eval ctx' x preference resolver
[XObj While _ _, cond, body] ->
specialCommandWhile ctx cond body
[XObj Address _ _, value] ->
@ -445,7 +445,7 @@ eval ctx xobj@(XObj o info ty) preference resolver =
case acc of
Left _ -> pure (ctx', acc)
Right l -> do
(newCtx, evald) <- eval ctx' x preference ResolveLocal
(newCtx, evald) <- eval ctx' x preference resolver
pure $ case evald of
Right res -> (newCtx, Right (l ++ [res]))
Left err -> (newCtx, Left err)