Enable tracing if formality is run via the binary

oli-obk · oli-obk · commit 78b74699f4f9 · 2023-08-07T08:05:00.000Z
diff --git a/Cargo.toml b/Cargo.toml
@@ -22,6 +22,7 @@ formality-rust = { version = "0.1.0", path = "crates/formality-rust" }
 formality-types = { version = "0.1.0", path = "crates/formality-types" }
 formality-check = { version = "0.1.0", path = "crates/formality-check" }
 formality-prove = { version = "0.1.0", path = "crates/formality-prove" }
+formality-core = { version = "0.1.0", path = "crates/formality-core" }
 ui_test = "0.12"
 
 [workspace]
diff --git a/src/main.rs b/src/main.rs
@@ -1,3 +1,3 @@
 fn main() -> anyhow::Result<()> {
-    formality::main()
+    formality_core::with_tracing_logs(|| formality::main())
 }

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`fn main() -> anyhow::Result<()> {`
`2`		`- formality::main()`
	`2`	`+ formality_core::with_tracing_logs(\|\| formality::main())`
`3`	`3`	`}`