Changeset f7f997a for src/ResolvExpr/Unify.cc
- Timestamp:
- Nov 17, 2023, 3:23:48 PM (11 months ago)
- Branches:
- master
- Children:
- decd4a6
- Parents:
- 16e0dcb (diff), 2908f08 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/Unify.cc
r16e0dcb rf7f997a 537 537 // assert( open.find( *typeInst ) == open.end() ); 538 538 auto otherInst = dynamic_cast< const ast::TypeInstType * >( type2 ); 539 if ( otherInst && typeInst->name == otherInst->name)539 if ( otherInst && typeInst->name == otherInst->name ) { 540 540 this->result = otherInst; 541 // return otherInst;541 } 542 542 } 543 543 … … 628 628 result = dynamic_cast< const ast::OneType * >( type2 ); 629 629 } 630 631 private:632 template< typename RefType > void handleRefType( RefType *inst, Type *other );633 template< typename RefType > void handleGenericRefType( RefType *inst, Type *other );634 630 }; 635 631
Note: See TracChangeset
for help on using the changeset viewer.