Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

debug

This commit is contained in:
Douglas Creager 2025-10-17 09:54:40 -04:00
parent 5d451979c4
commit 22075d5ed7
1 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
crates/ty_python_semantic/src/types/constraints.rs
View File

@ -674,10 +674,22 @@ impl<'db> Node<'db> {
} }
} }
DisplayNode { let simplified = self.simplify(db);
let d = DisplayNode {
node: self.simplify(db), node: self.simplify(db),
db, db,
} }
.to_string();
eprintln!("====> display");
eprintln!(" ---> original");
eprintln!(" {}", self.display_graph(db, &" "));
eprintln!(" ---> simplified");
eprintln!(" {}", simplified.display_graph(db, &" "));
eprintln!(" ---> rendered");
eprintln!(" {d}");
d
} }
// Keep this around for debugging purposes // Keep this around for debugging purposes
@ -969,6 +981,13 @@ impl<'db> InteriorNode<'db> {
// Having done that, we just have to AND the original BDD with its domain. This will map // Having done that, we just have to AND the original BDD with its domain. This will map
// all invalid inputs to false. // all invalid inputs to false.
eprintln!("====> simplify");
eprintln!(" ---> original");
eprintln!(" {}", Node::Interior(self).display_graph(db, &" "));
eprintln!(" ---> simplified");
eprintln!(" {}", simplified.display_graph(db, &" "));
eprintln!(" ---> domain");
eprintln!(" {}", domain.display_graph(db, &" "));
simplified.and(db, domain) simplified.and(db, domain)
} }
} }