James/tricu
2
2
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Gracefully ignore no-op redefs
All checks were successful
Test, Build, and Release / test (push) Successful in 1m11s
Details
Test, Build, and Release / build (push) Successful in 1m14s
Details

Browse Source
This commit is contained in:
James Eversole 2025-01-27 16:19:59 -06:00
parent 203bc1898d
commit 3b833ca75b
1 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
src/Eval.hs
View File

@ -10,26 +10,26 @@ import qualified Data.Set as Set
evalSingle :: Env -> TricuAST -> Env evalSingle :: Env -> TricuAST -> Env
evalSingle env term evalSingle env term
| SDef name [] body <- term = | SDef name [] body <- term
if = case Map.lookup name env of
| Map.member name env -> Just existingValue
errorWithoutStackTrace $ | existingValue == evalAST env body -> env
"Error: Identifier '" ++ name ++ "' is already defined." | otherwise -> errorWithoutStackTrace $
| otherwise -> "Unable to rebind immutable identifier: '" ++ name
let res = evalAST env body Nothing ->
in Map.insert "!result" res (Map.insert name res env) let res = evalAST env body
| SApp func arg <- term = in Map.insert "!result" res (Map.insert name res env)
let res = apply (evalAST env func) (evalAST env arg) | SApp func arg <- term
= let res = apply (evalAST env func) (evalAST env arg)
in Map.insert "!result" res env in Map.insert "!result" res env
| SVar name <- term = | SVar name <- term
case Map.lookup name env of = case Map.lookup name env of
Just v -> Just v -> Map.insert "!result" v env
Map.insert "!result" v env
Nothing -> Nothing ->
errorWithoutStackTrace $ "Variable `" ++ name ++ "` not defined\n\ errorWithoutStackTrace $ "Variable `" ++ name ++ "` not defined\n\
\This error should never occur here. Please report this as an issue." \This error should never occur here. Please report this as an issue."
| otherwise = | otherwise
Map.insert "!result" (evalAST env term) env = Map.insert "!result" (evalAST env term) env
evalTricu :: Env -> [TricuAST] -> Env evalTricu :: Env -> [TricuAST] -> Env
evalTricu env x = go env (reorderDefs env x) evalTricu env x = go env (reorderDefs env x)