split expression and pattern metrics
This commit is contained in:
parent
c12fac698f
commit
800ab650ac
@ -486,8 +486,10 @@ fn run_inference(
|
||||
percentage(num_pats_partially_unknown, num_pats),
|
||||
num_pat_type_mismatches
|
||||
);
|
||||
report_metric("unknown type", num_exprs_unknown + num_pats_unknown, "#");
|
||||
report_metric("type mismatches", num_expr_type_mismatches + num_pat_type_mismatches, "#");
|
||||
report_metric("unknown type", num_exprs_unknown, "#");
|
||||
report_metric("type mismatches", num_expr_type_mismatches, "#");
|
||||
report_metric("pattern unknown type", num_pats_unknown, "#");
|
||||
report_metric("pattern type mismatches", num_pat_type_mismatches, "#");
|
||||
|
||||
eprintln!("{:<20} {}", "Inference:", inference_sw.elapsed());
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user