Ignore:
Timestamp:
Sep 17, 2019, 12:56:32 PM (2 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
arm-eh, jacob/cs343-translation, master, new-ast, new-ast-unique-expr
Children:
8e1467d
Parents:
a6f26ca
Message:

Added setting of result in Comma expression.
Added asserts in candidate finder to catch null pointers earlier.
ForAll? substituter now properly uses ShallowCopy?.
Added missing makefile.in

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/RenameVars.cc

    ra6f26ca r4e13e2a  
    8383                        auto it = nameMap.find( type->name );
    8484                        if ( it != nameMap.end() ) {
    85                                 // unconditionally mutate because map will *always* have different name, 
     85                                // unconditionally mutate because map will *always* have different name,
    8686                                // if this mutates, will *always* have been mutated by ForallSubstitutor above
    8787                                ast::TypeInstType * mut = ast::mutate( type );
     
    9696                const NodeT * openLevel( const NodeT * type ) {
    9797                        if ( type->forall.empty() ) return type;
    98                        
     98
    9999                        nameMap.beginScope();
    100100
     
    121121                void closeLevel( const ast::ParameterizedType * type ) {
    122122                        if ( type->forall.empty() ) return;
    123                        
     123
    124124                        nameMap.endScope();
    125125                }
     
    141141                }
    142142        };
    143        
     143
    144144        struct RenameVars_new /*: public ast::WithForallSubstitutor*/ {
    145145                #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.