Changeset 07d867b for src/AST/Convert.cpp
- Timestamp:
- Aug 10, 2020, 7:45:18 PM (2 years ago)
- Branches:
- arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 22f94a4
- Parents:
- ba662b9
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/Convert.cpp
rba662b9 r07d867b 588 588 assert( tgtResnSlots.empty() ); 589 589 590 if ( srcInferred. mode == ast::Expr::InferUnion::Params ) {590 if ( srcInferred.data.inferParams ) { 591 591 const ast::InferredParams &srcParams = srcInferred.inferParams(); 592 592 for (auto & srcParam : srcParams) { 593 593 auto res = tgtInferParams.emplace(srcParam.first, ParamEntry( 594 594 srcParam.second.decl, 595 get<Declaration>().accept1(srcParam.second.declptr) ->clone(),596 get<Type>().accept1(srcParam.second.actualType) ,597 get<Type>().accept1(srcParam.second.formalType) ,598 get<Expression>().accept1(srcParam.second.expr) 595 get<Declaration>().accept1(srcParam.second.declptr), 596 get<Type>().accept1(srcParam.second.actualType)->clone(), 597 get<Type>().accept1(srcParam.second.formalType)->clone(), 598 get<Expression>().accept1(srcParam.second.expr)->clone() 599 599 )); 600 600 assert(res.second); 601 601 } 602 } else if ( srcInferred.mode == ast::Expr::InferUnion::Slots ) { 602 } 603 if ( srcInferred.data.resnSlots ) { 603 604 const ast::ResnSlots &srcSlots = srcInferred.resnSlots(); 604 605 for (auto srcSlot : srcSlots) { … … 2003 2004 2004 2005 assert( oldInferParams.empty() || oldResnSlots.empty() ); 2005 assert( newInferred.mode == ast::Expr::InferUnion::Empty );2006 // assert( newInferred.mode == ast::Expr::InferUnion::Empty ); 2006 2007 2007 2008 if ( !oldInferParams.empty() ) {
Note: See TracChangeset
for help on using the changeset viewer.