Changeset 251ce80 for src/ResolvExpr/SatisfyAssertions.cpp
- Timestamp:
- Jun 1, 2023, 6:29:47 PM (14 months ago)
- Branches:
- ast-experimental, master
- Children:
- 24d6572, ded6c2a6
- Parents:
- 1803d4d
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/SatisfyAssertions.cpp
r1803d4d r251ce80 215 215 findOpenVars( adjType, newOpen, closed, newNeed, have, FirstOpen ); 216 216 if ( allowConversion ) { 217 if ( auto c = commonType( toType, adjType, newEnv, newNeed, have, newOpen, WidenMode {true, true} , sat.symtab) ) {217 if ( auto c = commonType( toType, adjType, newEnv, newNeed, have, newOpen, WidenMode {true, true} ) ) { 218 218 // set up binding slot for recursive assertions 219 219 ast::UniqueId crntResnSlot = 0; … … 229 229 } 230 230 else { 231 if ( unifyExact( toType, adjType, newEnv, newNeed, have, newOpen, WidenMode {true, true} , sat.symtab) ) {231 if ( unifyExact( toType, adjType, newEnv, newNeed, have, newOpen, WidenMode {true, true} ) ) { 232 232 // set up binding slot for recursive assertions 233 233 ast::UniqueId crntResnSlot = 0; … … 392 392 mergeOpenVars( open, i.match.open ); 393 393 394 if ( ! env.combine( i.match.env, open , symtab) ) return false;394 if ( ! env.combine( i.match.env, open ) ) return false; 395 395 396 396 crnt.emplace_back( i );
Note: See TracChangeset
for help on using the changeset viewer.