File tree Expand file tree Collapse file tree 1 file changed +0
-17
lines changed Expand file tree Collapse file tree 1 file changed +0
-17
lines changed Original file line number Diff line number Diff line change @@ -486,23 +486,6 @@ StepResult ComponentStep::finalize(bool isSuccess) {
486
486
487
487
void TypeVariableStep::setup () {
488
488
++CS.solverState ->NumTypeVariablesBound ;
489
- if (CS.isDebugMode ()) {
490
- PrintOptions PO;
491
- PO.PrintTypesForDebugging = true ;
492
- auto &log = getDebugLogger ();
493
-
494
- auto initialBindings = Producer.getCurrentBindings ();
495
- log << " Initial bindings: " ;
496
- interleave (
497
- initialBindings.begin (), initialBindings.end (),
498
- [&](const Binding &binding) {
499
- log << TypeVar->getString (PO)
500
- << " := " << binding.BindingType ->getString (PO);
501
- },
502
- [&log] { log << " , " ; });
503
-
504
- log << ' \n ' ;
505
- }
506
489
}
507
490
508
491
bool TypeVariableStep::attempt (const TypeVariableBinding &choice) {
You can’t perform that action at this time.
0 commit comments