We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a0a9644 commit e66024dCopy full SHA for e66024d
crates/lean_compiler/src/a_simplify_lang.rs
@@ -809,7 +809,7 @@ fn simplify_lines(
809
} => {
810
let function = functions
811
.get(function_name)
812
- .expect("Function used but not defined: {function_name}");
+ .unwrap_or_else(|| panic!("Function used but not defined: {function_name}"));
813
if return_data.len() != function.n_returned_vars {
814
panic!(
815
"Expected {} returned vars in call to {function_name}",
0 commit comments