Merge pull request #129 from urbit/as/jets

jets: remove unnecessary jet check on Nock 2
This commit is contained in:
Edward Amsden 2023-11-20 10:15:56 -06:00 committed by GitHub
commit b38a5d45af
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -418,26 +418,6 @@ pub fn interpret(context: &mut Context, mut subject: Noun, formula: Noun) -> Res
push_formula(&mut context.stack, vale.formula, false)?;
}
Todo2::ComputeResult => {
if !cfg!(feature = "sham_hints") {
if let Some(jet) = context.warm.find_jet(
&mut context.stack,
&mut vale.subject,
&mut res,
) {
match jet(context, vale.subject) {
Ok(jet_res) => {
res = jet_res;
context.stack.pop::<NockWork>();
continue;
}
Err(JetErr::Punt) => {}
Err(err) => {
break Err(err.into());
}
}
}
};
let stack = &mut context.stack;
if vale.tail {
stack.pop::<NockWork>();