use super::super::{EvaluatedFunctionExit, evaluate_entry, parameter_locals};
use crate::plan::execution::function::StringFunctionId;
use crate::plan::execution::graph::ParamLocal;
use crate::runtime::ExecutableRuntimePlan;
use crate::runtime::error::{ExecutionResult, HostCallOrigin};
use crate::runtime::graph::RetainedValues;
use crate::runtime::state::RuntimeStateFor;
use ecow::EcoString;
pub(in crate::runtime) fn run_string<Plan: ExecutableRuntimePlan>(
plan: &Plan,
state: &mut RuntimeStateFor<'_, Plan>,
mut function: StringFunctionId,
mut origin: HostCallOrigin,
mut inputs: RetainedValues,
) -> ExecutionResult<EcoString> {
loop {
let exit = evaluate_entry(plan, state, plan.string_function(function), origin, inputs)?;
match exit {
EvaluatedFunctionExit::Return(value) => return Ok(value),
EvaluatedFunctionExit::TailCall {
function: target,
args,
} => {
origin = HostCallOrigin::source(target.site().clone());
function = *target.function();
inputs = args;
}
}
}
}
pub(in crate::runtime) fn string_parameter_locals<Plan: ExecutableRuntimePlan>(
plan: &Plan,
function: StringFunctionId,
) -> Vec<ParamLocal> {
parameter_locals(plan, plan.string_function(function))
}
#[cfg(test)]
mod tests {
use super::string_parameter_locals;
use crate::plan::execution::function::StringFunctionId;
use crate::plan::execution::graph::{ParamLocal, StringLocalId};
use crate::{
HostModule, HostProviderSet, HostedExecution, ModuleSource, PackageSource, Value,
compile_typed_host_program, compile_typed_module, plan_host_program, plan_module, run_main,
};
use ecow::EcoString;
#[test]
fn plain_string_function_protocol_executes_graph_entries() {
let source = r#"
fn identity(value: String) {
value
}
pub fn main() {
identity("one")
}
"#;
let typed =
compile_typed_module("main", "main.gleam", source).expect("source should compile");
let plan = plan_module(typed).expect("source should plan");
let execution = crate::ExecutionPlan::from_module_plan(plan);
assert_eq!(
string_parameter_locals(&execution, StringFunctionId(1)),
[ParamLocal::String(StringLocalId(0))],
);
assert_eq!(
run_main(&execution, &mut Vec::new()),
Ok(Value::String("one".into())),
);
}
#[test]
fn hosted_string_function_protocol_executes_graph_and_host_entries() {
let text = HostModule::new("host_support", "host/text")
.expect("host module should be valid")
.with_function("identity", |value: EcoString| value)
.expect("host function should be valid");
let hosts = HostProviderSet::new([text]).expect("host modules should be unique");
let source = r#"
import host/text
fn identity(value: String) {
value
}
pub fn main() {
identity(text.identity("one"))
}
"#;
let typed = compile_typed_host_program(
"application",
"main",
[PackageSource::new(
"application",
["host_support"],
[ModuleSource::new("main", "main.gleam", source)],
)],
hosts,
)
.expect("host source should compile");
let plan = plan_host_program(typed).expect("host source should plan");
let execution =
HostedExecution::try_from_module_plan(plan).expect("hosted execution should seal");
assert_eq!(
string_parameter_locals(&execution, StringFunctionId(2)),
[ParamLocal::String(StringLocalId(0))],
);
assert_eq!(
string_parameter_locals(&execution, StringFunctionId(1)),
[ParamLocal::String(StringLocalId(0))],
);
assert_eq!(
execution.run_main(&mut (), &mut Vec::new()),
Ok(Value::String("one".into())),
);
}
}