Changeset 2908f08 for src/ResolvExpr/Unify.cc
- Timestamp:
- Nov 17, 2023, 3:03:51 PM (7 months ago)
- Branches:
- master
- Children:
- f7f997a
- Parents:
- 41606df1
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/Unify.cc
r41606df1 r2908f08 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.