diff options
| author | Aleksey Kladov <[email protected]> | 2020-07-26 11:43:53 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-07-26 11:43:53 +0100 |
| commit | 524c2e9a7c2ce1270141bc1150346d72975facc7 (patch) | |
| tree | b1b0217431debda56409d018a24a86b139d29312 | |
| parent | 4e21fc3136f18ad12a409db5ffe1307d9c431103 (diff) | |
Report type errors in metrics
| -rw-r--r-- | crates/rust-analyzer/src/cli/analysis_stats.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/crates/rust-analyzer/src/cli/analysis_stats.rs b/crates/rust-analyzer/src/cli/analysis_stats.rs index 10327ebb9..ccc058682 100644 --- a/crates/rust-analyzer/src/cli/analysis_stats.rs +++ b/crates/rust-analyzer/src/cli/analysis_stats.rs | |||
| @@ -276,12 +276,16 @@ pub fn analysis_stats( | |||
| 276 | num_exprs_unknown, | 276 | num_exprs_unknown, |
| 277 | if num_exprs > 0 { num_exprs_unknown * 100 / num_exprs } else { 100 } | 277 | if num_exprs > 0 { num_exprs_unknown * 100 / num_exprs } else { 100 } |
| 278 | ); | 278 | ); |
| 279 | report_metric("unknown type", num_exprs_unknown, "#"); | ||
| 280 | |||
| 279 | eprintln!( | 281 | eprintln!( |
| 280 | "Expressions of partially unknown type: {} ({}%)", | 282 | "Expressions of partially unknown type: {} ({}%)", |
| 281 | num_exprs_partially_unknown, | 283 | num_exprs_partially_unknown, |
| 282 | if num_exprs > 0 { num_exprs_partially_unknown * 100 / num_exprs } else { 100 } | 284 | if num_exprs > 0 { num_exprs_partially_unknown * 100 / num_exprs } else { 100 } |
| 283 | ); | 285 | ); |
| 286 | |||
| 284 | eprintln!("Type mismatches: {}", num_type_mismatches); | 287 | eprintln!("Type mismatches: {}", num_type_mismatches); |
| 288 | report_metric("type mismatches", num_type_mismatches, "#"); | ||
| 285 | 289 | ||
| 286 | let inference_time = inference_time.elapsed(); | 290 | let inference_time = inference_time.elapsed(); |
| 287 | let total_memory = ra_prof::memory_usage(); | 291 | let total_memory = ra_prof::memory_usage(); |
