Struct StrictNames 

pub struct StrictNames<P>(pub P);

Wraps any EvalPolicy so unbound names fail with precise errors.

The wrapped policy still controls argument strategy, forcing, macro expansion, and expression evaluation. StrictNames changes only unbound symbol and unbound call resolution.

Tuple Fields

0: P

Policy that supplies all behavior except unbound-name resolution.

Trait Implementations

impl<P: EvalPolicy> EvalPolicy for StrictNames<P>

fn name(&self) -> &'static str

A stable, human-readable name for this policy.

fn allow_macro_expansion(&self, phase: Phase) -> bool

Whether macro expansion is permitted in the given Phase.

fn prepare_call_args( &self, cx: &mut Cx, raw: RawArgs, demands: &[Demand], ) -> Result<PreparedArgs>

Prepares raw call arguments into PreparedArgs per the demands.

fn force(&self, cx: &mut Cx, value: Value, demand: Demand) -> Result<Value>

Forces value far enough to satisfy demand.

fn eval_expr(&self, cx: &mut Cx, expr: Expr) -> Result<Value>

Evaluates a bare expression to a value under this policy.

fn resolve_unbound_symbol(&self, _cx: &mut Cx, symbol: Symbol) -> Result<Value>

Resolve a symbol that bound to nothing in value position.

fn resolve_unbound_call( &self, _cx: &mut Cx, operator: Symbol, _args: Vec<Expr>, ) -> Result<Value>

Resolve a call whose operator bound to nothing.