Skip to content

Commit d8943c3

Browse files
author
Amritpan Kaur
committed
[Constraint] Add indentations to conj/disjunction printing.
This indents added/removed conj/disjunction constraints and AST printed with conjunctions.
1 parent a4320d1 commit d8943c3

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

include/swift/Sema/ConstraintSystem.h

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4447,7 +4447,8 @@ class ConstraintSystem {
44474447
if (isDebugMode() && getPhase() == ConstraintSystemPhase::Solving) {
44484448
auto &log = llvm::errs();
44494449
log.indent(solverState->getCurrentIndent() + 2) << "(added constraint: ";
4450-
constraint->print(log, &getASTContext().SourceMgr);
4450+
constraint->print(log, &getASTContext().SourceMgr,
4451+
solverState->getCurrentIndent() + 4);
44514452
log << ")\n";
44524453
}
44534454

@@ -4465,7 +4466,8 @@ class ConstraintSystem {
44654466
auto &log = llvm::errs();
44664467
log.indent(solverState->getCurrentIndent() + 2)
44674468
<< "(removed constraint: ";
4468-
constraint->print(log, &getASTContext().SourceMgr);
4469+
constraint->print(log, &getASTContext().SourceMgr,
4470+
solverState->getCurrentIndent() + 4);
44694471
log << ")\n";
44704472
}
44714473

0 commit comments

Comments
 (0)