Changeset da7454c for src/AST

Timestamp:

Jun 24, 2019, 2:27:29 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

3623f9d

Parents:

0e464f6 (diff), 67d2b97 (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

Location:

src/AST

Files:

• Fwd.hpp (modified) (2 diffs)
• TypeSubstitution.hpp (modified) (1 diff)

src/AST/Fwd.hpp

@@ -10 +10 @@
 // Created On       : Wed May  8 16:05:00 2019
 // Last Modified By : Andrew Beach
-// Last Modified On : Thr May  9 13:09:00 2019
-// Update Count     : 0
+// Last Modified On : Mon Jun 24 09:48:00 2019
+// Update Count     : 1
 //
 
@@ -129 +129 @@
 class Attribute;
 
+class SymbolTable;
+class TypeEnvironment;
 class TypeSubstitution;
 

src/AST/TypeSubstitution.hpp

@@ -200 +200 @@
 }
 
-/// Instantiate each member of the context given the actual parameters specified, and store the
-/// instantiations for use by the indexer
-template< typename FormalIterator, typename ActualIterator, typename MemberIterator, typename OutputIterator >
-void applySubstitution( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actual, MemberIterator memberBegin, MemberIterator memberEnd, OutputIterator out ) {
-        TypeSubstitution sub = TypeSubstitution( formalBegin, formalEnd, actual );
-        for ( auto i = memberBegin; i != memberEnd; ++i ) {
-                sub.apply( *i );
-                *out++ = *i;
-        } // for
-}
-
 } // namespace ast