Correctly compute length of the typing rule bar in cli

Nadrieril · Sep 12, 2024 · 61d8f3e · 61d8f3e
1 parent e6b72d5
commit 61d8f3e
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 1 deletion.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -18,6 +18,7 @@ nom-supreme = "0.8.0"
 serde_json = "1.0.125"
 serde = { version = "1.0.208", features = ["derive"] }
 serde_yaml = "0.9.34"
+ansi-width = "0.1.0"
 
 [target.'cfg(not(target_arch = "wasm32"))'.dependencies]
 assert_cmd = "2.0.16"

diff --git a/src/compute_rules.rs b/src/compute_rules.rs
@@ -367,7 +367,11 @@ impl<'a> TypingRule<'a> {
             preconditions_str = preconditions_str.replace("*q", "reset(q)");
         }
 
-        let len = max(preconditions_str.len(), postconditions_str.len());
+        let display_len = ansi_width::ansi_width;
+        let len = max(
+            display_len(&preconditions_str),
+            display_len(&postconditions_str),
+        );
         let bar = "-".repeat(len);
         let mut out = String::new();
         let _ = write!(&mut out, "{preconditions_str}\n");