Changeset fc1a3e2 for src/ResolvExpr/Unify.cc
- Timestamp:
- Apr 19, 2024, 2:36:52 PM (4 months ago)
- Branches:
- master
- Children:
- ba97ebf
- Parents:
- b9b6efb
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/Unify.cc
rb9b6efb rfc1a3e2 307 307 // type unification calls expression unification (mutual recursion) 308 308 if ( ! unify(array->dimension, array2->dimension, 309 309 tenv, need, have, open, widen) ) return; 310 310 } 311 311 … … 455 455 // check that the other type is compatible and named the same 456 456 auto otherInst = dynamic_cast< const XInstType * >( other ); 457 if (otherInst && inst->name == otherInst->name) 457 if (otherInst && inst->name == otherInst->name) 458 458 this->result = otherInst; 459 459 return otherInst; … … 542 542 // Lazy approach for now 543 543 if ( auto otherPos = dynamic_cast< const ast::EnumAttrType *>(type2) ) { 544 545 546 547 } 544 if ( enumAttr->match(otherPos) ) { 545 result = otherPos; 546 } 547 } 548 548 } 549 549
Note: See TracChangeset
for help on using the changeset viewer.