averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

RequirementMachine: Better debug output from minimal conformances algorithm

Browse Source
This commit is contained in:
Slava Pestov
2021-12-20 15:38:38 -05:00
parent 48c652981e
commit 8a222b50fd
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/AST/RequirementMachine/MinimalConformances.cpp
View File

@@ -868,6 +868,9 @@ void MinimalConformances::computeMinimalConformances(bool firstPass) {
llvm::dbgs() << " pass: ";
llvm::dbgs() << System.getRule(ruleID).getLHS();
llvm::dbgs() << "\n";
llvm::dbgs() << "-- via valid path: ";
dumpConformancePath(llvm::errs(), path);
llvm::dbgs() << "\n";
}
RedundantConformances.insert(ruleID);
@@ -897,6 +900,7 @@ void MinimalConformances::verifyMinimalConformances() const {
llvm::errs() << "Redundant conformance is not recoverable:\n";
llvm::errs() << rule << "\n\n";
dumpMinimalConformanceEquations(llvm::errs());
dumpMinimalConformances(llvm::errs());
abort();
}
@@ -907,6 +911,7 @@ void MinimalConformances::verifyMinimalConformances() const {
llvm::errs() << "Minimal conformance contains unresolved symbols: ";
llvm::errs() << rule << "\n\n";
dumpMinimalConformanceEquations(llvm::errs());
dumpMinimalConformances(llvm::errs());
abort();
}
}