Skip to content

Commit

Permalink
fix a checking bug
Browse files Browse the repository at this point in the history
  • Loading branch information
kaikalii committed Nov 27, 2024
1 parent 7d5650f commit c51ae0f
Showing 1 changed file with 9 additions and 5 deletions.
14 changes: 9 additions & 5 deletions src/check.rs
Original file line number Diff line number Diff line change
Expand Up @@ -521,16 +521,20 @@ impl VirtualEnv {
self.handle_args_outputs(f.args, f.outputs + 1);
}
prim if prim.modifier_args().is_some() => {
return Err(SigCheckError::from(format!(
"{} was not checked. This is a bug in the interpreter",
prim.format()
)))
if let Some(sig) = prim.sig() {
self.handle_sig(sig);
} else {
return Err(SigCheckError::from(format!(
"{} was not checked. This is a bug in the interpreter",
prim.format()
)));
}
}
prim => {
return Err(SigCheckError::from(format!(
"{} was checked as a modifier. This is a bug in the interpreter",
prim.format()
)))
)));
}
},
Node::ImplMod(prim, args, _) => match prim {
Expand Down

0 comments on commit c51ae0f

Please sign in to comment.