Changeset da4a570 for src/ResolvExpr
- Timestamp:
- Jun 16, 2023, 11:02:05 AM (15 months ago)
- Branches:
- master
- Children:
- 4c0acb0
- Parents:
- 0d31434
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/SatisfyAssertions.cpp
r0d31434 rda4a570 70 70 need( std::move( n ) ), open( std::move( o ) ), resnSlot( rs ) { 71 71 if (!have.empty()) { 72 std::cerr << c.id->location << ':' << c.id->name << std::endl;72 // std::cerr << c.id->location << ':' << c.id->name << std::endl; // I think this was debugging code so I commented it 73 73 } 74 74 } … … 169 169 AssertionResult satisfyAssertion( ast::AssertionList::value_type & assn, SatState & sat, bool skipUnbound = false) { 170 170 // skip unused assertions 171 static unsigned int cnt = 0;171 // static unsigned int cnt = 0; // I think this was debugging code so I commented it 172 172 if ( ! assn.second.isUsed ) return AssertionResult::Success; 173 173 174 if (assn.first->var->name[1] == '|') std::cerr << ++cnt << std::endl;174 // if (assn.first->var->name[1] == '|') std::cerr << ++cnt << std::endl; // I think this was debugging code so I commented it 175 175 176 176 // find candidates that unify with the desired type
Note: See TracChangeset
for help on using the changeset viewer.