- Timestamp:
- Nov 1, 2022, 2:39:04 PM (2 years ago)
- Branches:
- ADT, ast-experimental, master
- Children:
- 03c56f6
- Parents:
- b3212de
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/GenPoly/GenPoly.cc
rb3212de r75f6a5f 120 120 const ast::Type * replaceTypeInst(const ast::Type * type, const ast::TypeSubstitution * env) { 121 121 if (!env) return type; 122 if ( auto typeInst = dynamic_cast<const ast::TypeInstType*> (type)) {122 if ( auto typeInst = dynamic_cast<const ast::TypeInstType*>(type) ) { 123 123 auto newType = env->lookup(typeInst); 124 124 if (newType) return newType; … … 229 229 auto var = typeVars.find( *inst ); 230 230 if ( var != typeVars.end() && var->second.isComplete ) { 231 231 return inst; 232 232 } 233 233 } else if ( auto inst = dynamic_cast<ast::StructInstType const *>( type ) ) {
Note: See TracChangeset
for help on using the changeset viewer.