minor refactor

This commit is contained in:
microproofs
2024-01-18 11:29:04 -05:00
committed by KtorZ
parent 6fa272bd34
commit af90b38bf8

View File

@@ -475,17 +475,13 @@ impl<'a> CodeGenerator<'a> {
let air_value = self.build(value, module_name); let air_value = self.build(value, module_name);
let msg_func = match self.tracing { let msg_func = match self.tracing {
TraceLevel::Silent => None, TraceLevel::Verbose | TraceLevel::Compact if kind.is_expect() => {
TraceLevel::Verbose | TraceLevel::Compact => {
if kind.is_expect() {
let msg = match self.tracing { let msg = match self.tracing {
TraceLevel::Silent => unreachable!("excluded from pattern guards"), TraceLevel::Silent => unreachable!("excluded from pattern guards"),
TraceLevel::Compact => get_line_columns_by_span( TraceLevel::Compact => {
module_name, get_line_columns_by_span(module_name, location, &self.module_src)
location, .to_string()
&self.module_src, }
)
.to_string(),
TraceLevel::Verbose => { TraceLevel::Verbose => {
get_src_code_by_span(module_name, location, &self.module_src) get_src_code_by_span(module_name, location, &self.module_src)
} }
@@ -500,10 +496,8 @@ impl<'a> CodeGenerator<'a> {
); );
Some(self.special_functions.use_function_msg(msg_func_name)) Some(self.special_functions.use_function_msg(msg_func_name))
} else {
None
}
} }
_ => None,
}; };
self.assignment( self.assignment(