Changeset c7806122 for src/AST/ForallSubstitutor.hpp

Timestamp:

Sep 25, 2020, 6:15:27 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

bd47f35

Parents:

91fb850 (diff), 33f3cfb (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/AST/ForallSubstitutor.hpp (modified) (2 diffs)

src/AST/ForallSubstitutor.hpp

@@ -33 +33 @@
         }
 
+        template<typename node_t > 
+        std::vector<ptr<node_t>> operator() (const std::vector<ptr<node_t>> & o) {
+                std::vector<ptr<node_t>> n;
+                n.reserve(o.size());
+                for (const node_t * d : o) { n.emplace_back(d->accept(*visitor)); }
+                return n;
+        }
+        
+        /*
+
         /// Substitute parameter/return type
         std::vector< ptr< DeclWithType > > operator() ( const std::vector< ptr< DeclWithType > > & o ) {
@@ -48 +58 @@
                 return n;
         }
+
+        */
 };