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 e30c369 commit 67afea2Copy full SHA for 67afea2
crates/lean_compiler/src/a_simplify_lang.rs
@@ -814,7 +814,7 @@ fn simplify_lines(
814
} => {
815
let function = functions
816
.get(function_name)
817
- .expect("Function used but not defined: {function_name}");
+ .unwrap_or_else(|| panic!("Function used but not defined: {function_name}"));
818
if return_data.len() != function.n_returned_vars {
819
panic!(
820
"Expected {} returned vars in call to {function_name}",
0 commit comments