Changeset 33a7b6d for src/GenPoly/Box.cc
- Timestamp:
- Nov 15, 2016, 5:30:52 PM (8 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- d9fa60a
- Parents:
- 8f9cc50
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/GenPoly/Box.cc
r8f9cc50 r33a7b6d 1288 1288 TyVarMap exprTyVars( (TypeDecl::Kind)-1 ); 1289 1289 makeTyVarMap( function, exprTyVars ); 1290 ReferenceToType *concRetType = dynamic_cast< ReferenceToType* >( appExpr->get_result() ); // xxx - is concRetType a good name? 1290 1291 ReferenceToType *dynRetType = isDynRet( function, exprTyVars ); 1291 1292 1292 1293 if ( dynRetType ) { 1293 ret = addDynRetParam( appExpr, function, dynRetType, arg );1294 ret = addDynRetParam( appExpr, function, concRetType, arg ); // xxx - used to use dynRetType instead of concRetType 1294 1295 } else if ( needsAdapter( function, scopeTyVars ) ) { 1295 1296 // std::cerr << "needs adapter: "; … … 1301 1302 arg = appExpr->get_args().begin(); 1302 1303 1303 passTypeVars( appExpr, dynRetType, arg, exprTyVars );1304 passTypeVars( appExpr, concRetType, arg, exprTyVars ); // xxx - used to use dynRetType instead of concRetType 1304 1305 addInferredParams( appExpr, function, arg, exprTyVars ); 1305 1306 … … 1364 1365 // line below cloned from FixFunction.cc 1365 1366 // xxx - functionObj is never added to a list of declarations... 1367 // alternatively, this function could return a new VariableExpr( functionDecl ) and change the result type of the new expression 1366 1368 ObjectDecl *functionObj = new ObjectDecl( functionDecl->get_name(), functionDecl->get_storageClass(), functionDecl->get_linkage(), 0, 1367 1369 new PointerType( Type::Qualifiers(), functionDecl->get_type()->clone() ), 0 );
Note: See TracChangeset
for help on using the changeset viewer.