feat: impl eval for Program<DeBruijn>
This commit is contained in:
parent
207f9e5ab0
commit
339e638705
|
@ -412,3 +412,17 @@ impl Program<NamedDeBruijn> {
|
||||||
(term, machine.ex_budget, machine.logs)
|
(term, machine.ex_budget, machine.logs)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl Program<DeBruijn> {
|
||||||
|
pub fn eval(
|
||||||
|
&self,
|
||||||
|
) -> (
|
||||||
|
Result<Term<NamedDeBruijn>, crate::machine::Error>,
|
||||||
|
ExBudget,
|
||||||
|
Vec<String>,
|
||||||
|
) {
|
||||||
|
let program: Program<NamedDeBruijn> = self.clone().into();
|
||||||
|
|
||||||
|
program.eval()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
Loading…
Reference in New Issue