Crate synoema_eval 

synoema-eval

Tree-walking interpreter for the Synoema programming language.

Implements strict (eager) evaluation following the big-step operational semantics from the Language Reference §5.

Re-exports

pub use value::Value;

pub use value::Env;

pub use eval::Evaluator;

pub use eval::EvalError;

Modules

eval

Tree-walking evaluator for Synoema.

value

Runtime values for the Synoema tree-walking interpreter.

Functions

eval_expr

Quick eval: parse + eval an expression (for REPL), skip typechecking

eval_main

Parse, type-check, evaluate, and return a specific function’s result when called with no arguments (a constant or nullary function).

run

Parse, type-check, and evaluate a Synoema program. Returns the final environment.