Changeset da4a570 for src/ResolvExpr/SatisfyAssertions.cpp

Timestamp:

Jun 16, 2023, 11:02:05 AM (13 months ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

4c0acb0

Parents:

0d31434

Message:

commented out some debugging code

File:

• src/ResolvExpr/SatisfyAssertions.cpp (modified) (2 diffs)

src/ResolvExpr/SatisfyAssertions.cpp

@@ -70 +70 @@
                   need( std::move( n ) ), open( std::move( o ) ), resnSlot( rs ) {
                         if (!have.empty()) {
-                                std::cerr << c.id->location << ':' << c.id->name << std::endl;
+                                // std::cerr << c.id->location << ':' << c.id->name << std::endl; // I think this was debugging code so I commented it
                         }
                   }
@@ -169 +169 @@
         AssertionResult satisfyAssertion( ast::AssertionList::value_type & assn, SatState & sat, bool skipUnbound = false) {
                 // skip unused assertions
-                static unsigned int cnt = 0;
+                // static unsigned int cnt = 0; // I think this was debugging code so I commented it
                 if ( ! assn.second.isUsed ) return AssertionResult::Success;
 
-                if (assn.first->var->name[1] == '|') std::cerr << ++cnt << std::endl;
+                // if (assn.first->var->name[1] == '|') std::cerr << ++cnt << std::endl; // I think this was debugging code so I commented it
 
                 // find candidates that unify with the desired type