From 33b9e6f5cff73e0a5ef9c0405e06275f954c3b4b Mon Sep 17 00:00:00 2001 From: Mark Rousskov Date: Tue, 24 Mar 2020 16:24:47 -0400 Subject: [PATCH] Add richer printing --- src/tools/unicode-table-generator/src/main.rs | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/tools/unicode-table-generator/src/main.rs b/src/tools/unicode-table-generator/src/main.rs index af23c166871..04c72116e5f 100644 --- a/src/tools/unicode-table-generator/src/main.rs +++ b/src/tools/unicode-table-generator/src/main.rs @@ -171,7 +171,15 @@ fn main() { emit_codepoints(&mut emitter, &ranges); modules.push((property.to_lowercase().to_string(), emitter.file)); - println!("{:15}: {} bytes, {} codepoints", property, emitter.bytes_used, datapoints,); + println!( + "{:15}: {} bytes, {} codepoints in {} ranges ({} - {})", + property, + emitter.bytes_used, + datapoints, + ranges.len(), + ranges.first().unwrap().start, + ranges.last().unwrap().end + ); total_bytes += emitter.bytes_used; } -- 2.44.0