fix[debug]: render permutations & domains

Consensys · Nov 9, 2023 · 8b0b730 · 8b0b730
1 parent a6eae91
commit 8b0b730
Showing 1 changed file with 20 additions and 3 deletions.
diff --git a/src/exporters/debugger.rs b/src/exporters/debugger.rs
@@ -195,11 +195,19 @@ fn render_constraints(
             match c {
                 Constraint::Vanishes {
                     handle,
-                    domain: _,
+                    domain,
                     expr,
                 } => {
                     let mut tty = Tty::new().with_guides();
-                    println!("\n{} :=", handle.pretty());
+                    println!(
+                        "\n{}{} :=",
+                        handle.pretty(),
+                        if let Some(domain) = domain {
+                            domain.to_string()
+                        } else {
+                            String::new()
+                        }
+                    );
                     pretty_expr(expr, None, &mut tty, show_types);
                     println!("{}", tty.page_feed());
                 }
@@ -223,7 +231,16 @@ fn render_constraints(
                             .join(", "),
                     )
                 }
-                Constraint::Permutation { .. } => (),
+                Constraint::Permutation {
+                    handle, from, to, ..
+                } => {
+                    println!("\n{}", handle.pretty());
+                    println!(
+                        "[{}] perm. [{}]",
+                        to.iter().map(|c| c.pretty()).join(", "),
+                        from.iter().map(|c| c.pretty()).join(", ")
+                    )
+                }
                 Constraint::InRange { handle, exp, max } => {
                     let mut tty = Tty::new().with_guides();
                     pretty_expr(exp, None, &mut tty, false);