Changeset 4e13e2a for src/ResolvExpr/RenameVars.cc
- Timestamp:
- Sep 17, 2019, 12:56:32 PM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 8e1467d
- Parents:
- a6f26ca
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/RenameVars.cc
ra6f26ca r4e13e2a 83 83 auto it = nameMap.find( type->name ); 84 84 if ( it != nameMap.end() ) { 85 // unconditionally mutate because map will *always* have different name, 85 // unconditionally mutate because map will *always* have different name, 86 86 // if this mutates, will *always* have been mutated by ForallSubstitutor above 87 87 ast::TypeInstType * mut = ast::mutate( type ); … … 96 96 const NodeT * openLevel( const NodeT * type ) { 97 97 if ( type->forall.empty() ) return type; 98 98 99 99 nameMap.beginScope(); 100 100 … … 121 121 void closeLevel( const ast::ParameterizedType * type ) { 122 122 if ( type->forall.empty() ) return; 123 123 124 124 nameMap.endScope(); 125 125 } … … 141 141 } 142 142 }; 143 143 144 144 struct RenameVars_new /*: public ast::WithForallSubstitutor*/ { 145 145 #warning when old RenameVars goes away, replace hack below with global pass inheriting from WithForallSubstitutor
Note: See TracChangeset
for help on using the changeset viewer.