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 @@ -478,23 +478,6 @@ StepResult ComponentStep::finalize(bool isSuccess) {
478
478
479
479
void TypeVariableStep::setup () {
480
480
++CS.solverState ->NumTypeVariablesBound ;
481
- if (CS.isDebugMode ()) {
482
- PrintOptions PO;
483
- PO.PrintTypesForDebugging = true ;
484
- auto &log = getDebugLogger ();
485
-
486
- auto initialBindings = Producer.getCurrentBindings ();
487
- log << " Initial bindings: " ;
488
- interleave (
489
- initialBindings.begin (), initialBindings.end (),
490
- [&](const Binding &binding) {
491
- log << TypeVar->getString (PO)
492
- << " := " << binding.BindingType ->getString (PO);
493
- },
494
- [&log] { log << " , " ; });
495
-
496
- log << ' \n ' ;
497
- }
498
481
}
499
482
500
483
bool TypeVariableStep::attempt (const TypeVariableBinding &choice) {
You can’t perform that action at this time.
0 commit comments