2022-08-29 17:07:58 +02:00
|
|
|
//! This module encapsulates some logic for upvalue handling, which is
|
|
|
|
//! relevant to both thunks (delayed computations for lazy-evaluation)
|
|
|
|
//! as well as closures (lambdas that capture variables from the
|
|
|
|
//! surrounding scope).
|
2022-10-13 22:41:30 +02:00
|
|
|
//!
|
|
|
|
//! The upvalues of a scope are whatever data are needed at runtime
|
|
|
|
//! in order to resolve each free variable in the scope to a value.
|
|
|
|
//! "Upvalue" is a term taken from Lua.
|
2022-08-29 17:07:58 +02:00
|
|
|
|
2022-10-16 01:10:10 +02:00
|
|
|
use std::ops::Index;
|
2022-08-29 17:07:58 +02:00
|
|
|
|
|
|
|
use crate::{opcode::UpvalueIdx, Value};
|
|
|
|
|
2022-10-13 22:41:30 +02:00
|
|
|
/// Structure for carrying upvalues of an UpvalueCarrier. The
|
|
|
|
/// implementation of this struct encapsulates the logic for
|
|
|
|
/// capturing and accessing upvalues.
|
|
|
|
///
|
|
|
|
/// Nix's `with` cannot be used to shadow an enclosing binding --
|
|
|
|
/// like Rust's `use xyz::*` construct, but unlike Javascript's
|
|
|
|
/// `with (xyz)`. This means that Nix has two kinds of identifiers,
|
|
|
|
/// which can be distinguished at compile time:
|
|
|
|
///
|
|
|
|
/// - Static identifiers, which are bound in some enclosing scope by
|
|
|
|
/// `let`, `name:` or `{name}:`
|
|
|
|
/// - Dynamic identifiers, which are not bound in any enclosing
|
|
|
|
/// scope
|
2022-11-01 01:13:38 +01:00
|
|
|
#[derive(Clone, Debug)]
|
2022-09-06 21:08:25 +02:00
|
|
|
pub struct Upvalues {
|
2022-10-13 22:41:30 +02:00
|
|
|
/// The upvalues of static identifiers. Each static identifier
|
|
|
|
/// is assigned an integer identifier at compile time, which is
|
|
|
|
/// an index into this Vec.
|
|
|
|
static_upvalues: Vec<Value>,
|
|
|
|
|
|
|
|
/// The upvalues of dynamic identifiers, if any exist. This
|
|
|
|
/// consists of the value passed to each enclosing `with val;`,
|
|
|
|
/// from outermost to innermost.
|
2022-09-06 22:13:48 +02:00
|
|
|
with_stack: Option<Vec<Value>>,
|
2022-09-06 21:08:25 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Upvalues {
|
|
|
|
pub fn with_capacity(count: usize) -> Self {
|
|
|
|
Upvalues {
|
2022-10-13 22:41:30 +02:00
|
|
|
static_upvalues: Vec::with_capacity(count),
|
2022-09-06 22:13:48 +02:00
|
|
|
with_stack: None,
|
2022-09-06 21:08:25 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Push an upvalue at the end of the upvalue list.
|
|
|
|
pub fn push(&mut self, value: Value) {
|
2022-10-13 22:41:30 +02:00
|
|
|
self.static_upvalues.push(value);
|
2022-09-06 21:08:25 +02:00
|
|
|
}
|
2022-09-06 22:13:48 +02:00
|
|
|
|
|
|
|
/// Set the captured with stack.
|
|
|
|
pub fn set_with_stack(&mut self, with_stack: Vec<Value>) {
|
|
|
|
self.with_stack = Some(with_stack);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn with_stack(&self) -> Option<&Vec<Value>> {
|
|
|
|
self.with_stack.as_ref()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn with_stack_len(&self) -> usize {
|
|
|
|
match &self.with_stack {
|
|
|
|
None => 0,
|
|
|
|
Some(stack) => stack.len(),
|
|
|
|
}
|
|
|
|
}
|
2022-10-16 01:10:10 +02:00
|
|
|
|
|
|
|
/// Resolve deferred upvalues from the provided stack slice,
|
|
|
|
/// mutating them in the internal upvalue slots.
|
|
|
|
pub fn resolve_deferred_upvalues(&mut self, stack: &[Value]) {
|
|
|
|
for upvalue in self.static_upvalues.iter_mut() {
|
|
|
|
if let Value::DeferredUpvalue(update_from_idx) = upvalue {
|
|
|
|
*upvalue = stack[update_from_idx.0].clone();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2022-09-06 21:08:25 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Index<UpvalueIdx> for Upvalues {
|
|
|
|
type Output = Value;
|
|
|
|
|
|
|
|
fn index(&self, index: UpvalueIdx) -> &Self::Output {
|
2022-10-13 22:41:30 +02:00
|
|
|
&self.static_upvalues[index.0]
|
2022-09-06 21:08:25 +02:00
|
|
|
}
|
|
|
|
}
|