Lines
66 %
Functions
33.33 %
Branches
100 %
//! Quasiquote / unquote / unquote-splicing expansion.
//!
//! `expand_quasiquote` walks an expression in quasiquote context,
//! resolving each `,form` (Unquote) against the symbol table and
//! splicing each `,@form` (UnquoteSplicing) into its parent list.
//! The result wraps the fully resolved tree in a single outer
//! `Quote` so downstream callers see a constant-foldable value.
use crate::ast::Expr;
use crate::error::{Error, Result};
use crate::runtime::SymbolTable;
use super::eval::resolve_arg;
use super::format::format_expr;
/// `,name` substitutes the name's bound value verbatim — for a macro parameter
/// its argument FORM — without chasing that form through the caller's bindings
/// (which would bake e.g. a let-bound closure's local into the expansion).
fn unquoted_value(symbols: &mut SymbolTable, inner: &Expr) -> Result<Expr> {
if let Expr::Symbol(name) = inner
&& let Some(value) = symbols.lookup(name).and_then(|sym| sym.value().cloned())
{
return Ok(value);
}
resolve_arg(symbols, inner)
pub(in crate::compiler) fn expand_quasiquote(
symbols: &mut SymbolTable,
expr: &Expr,
) -> Result<Expr> {
fn splice_elements(resolved: Expr) -> Result<Vec<Expr>> {
match resolved {
Expr::Nil => Ok(Vec::new()),
Expr::List(elems) => Ok(elems),
Expr::Quote(inner) => match *inner {
other => Err(Error::Compile(format!(
"unquote-splicing requires a list, got {}",
format_expr(&other)
))),
},
fn quasiquote_data(symbols: &mut SymbolTable, expr: &Expr) -> Result<Expr> {
match expr {
Expr::Unquote(inner) => unquoted_value(symbols, inner),
Expr::UnquoteSplicing(_) => Err(Error::Compile(
"unquote-splicing outside of list in quasiquote".to_string(),
)),
Expr::List(elems) => {
let mut resolved: Vec<Expr> = Vec::new();
for elem in elems {
match elem {
Expr::UnquoteSplicing(inner) => {
let spliced = unquoted_value(symbols, inner)?;
resolved.extend(splice_elements(spliced)?);
_ => resolved.push(quasiquote_data(symbols, elem)?),
Ok(Expr::List(resolved))
Expr::Cons(car, cdr) => {
let car = quasiquote_data(symbols, car)?;
let cdr = quasiquote_data(symbols, cdr)?;
Ok(Expr::cons(car, cdr))
_ => Ok(expr.clone()),
Ok(Expr::Quote(Box::new(quasiquote_data(symbols, expr)?)))