Report type errors in metrics

This commit is contained in:
Aleksey Kladov 2020-07-26 12:43:53 +02:00
parent 4e21fc3136
commit 524c2e9a7c

View file

@ -276,12 +276,16 @@ pub fn analysis_stats(
num_exprs_unknown, num_exprs_unknown,
if num_exprs > 0 { num_exprs_unknown * 100 / num_exprs } else { 100 } if num_exprs > 0 { num_exprs_unknown * 100 / num_exprs } else { 100 }
); );
report_metric("unknown type", num_exprs_unknown, "#");
eprintln!( eprintln!(
"Expressions of partially unknown type: {} ({}%)", "Expressions of partially unknown type: {} ({}%)",
num_exprs_partially_unknown, num_exprs_partially_unknown,
if num_exprs > 0 { num_exprs_partially_unknown * 100 / num_exprs } else { 100 } if num_exprs > 0 { num_exprs_partially_unknown * 100 / num_exprs } else { 100 }
); );
eprintln!("Type mismatches: {}", num_type_mismatches); eprintln!("Type mismatches: {}", num_type_mismatches);
report_metric("type mismatches", num_type_mismatches, "#");
let inference_time = inference_time.elapsed(); let inference_time = inference_time.elapsed();
let total_memory = ra_prof::memory_usage(); let total_memory = ra_prof::memory_usage();