greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Print timing in debug info

Browse Source
This commit is contained in:
greg 2018-08-16 01:43:42 -07:00
parent 97bee58fbe
commit 0fa844bcf9
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
schala-repl/src/language.rs
View File

@ -70,11 +70,12 @@ impl UnfinishedComputation {
impl FinishedComputation { impl FinishedComputation {
pub fn to_repl(&self) -> String { pub fn to_repl(&self) -> String {
let mut buf = String::new(); let mut buf = String::new();
for (stage, artifact) in self.artifacts.iter() { for ((stage, artifact), duration) in self.artifacts.iter().zip(self.durations.iter()) {
let color = artifact.text_color; let color = artifact.text_color;
let stage = stage.color(color).bold(); let stage = stage.color(color).bold();
let output = artifact.debug_output.color(color); let output = artifact.debug_output.color(color);
write!(&mut buf, "{}: {}\n", stage, output).unwrap(); let timing = (duration.as_secs() as f64) + (duration.subsec_nanos() as f64 * 1e-9);
write!(&mut buf, "{} ({}s): {}\n", stage, timing, output).unwrap();
} }
match self.text_output { match self.text_output {

2
schala-repl/src/lib.rs
View File

@ -452,7 +452,7 @@ impl Repl {
let color = "green"; let color = "green";
format!("*{}", desc.name.color(color)) format!("*{}", desc.name.color(color))
} else { } else {
desc.name desc.name
} }
}) })
.intersperse(format!(" -> ")) .intersperse(format!(" -> "))