Changes in src/SynTree/TypeSubstitution.h [c93bc28:be9036d]

File:

• src/SynTree/TypeSubstitution.h (modified) (2 diffs)

src/SynTree/TypeSubstitution.h

@@ -16 +16 @@
 #pragma once
 
-#include <map>
-#include <set>
-#include <cassert>
+#include <cassert>                 // for assert
+#include <iosfwd>                  // for ostream
+#include <list>                    // for list<>::iterator, _List_iterator
+#include <map>                     // for _Rb_tree_iterator, map, map<>::val...
+#include <set>                     // for set
+#include <string>                  // for string, operator!=
+#include <utility>                 // for pair
 
-#include "SynTree/Mutator.h"
-#include "SynTree/Declaration.h"
-#include "SynTree/Expression.h"
+#include "Common/SemanticError.h"  // for SemanticError
+#include "SynTree/Declaration.h"   // for TypeDecl, Declaration (ptr only)
+#include "SynTree/Expression.h"    // for Expression (ptr only), NameExpr (p...
+#include "SynTree/Mutator.h"       // for Mutator
+#include "SynTree/Type.h"          // for Type, ArrayType (ptr only), BasicT...
 
 class TypeSubstitution : public Mutator {
@@ -171 +177 @@
 void applySubstitution( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actual, MemberIterator memberBegin, MemberIterator memberEnd, OutputIterator out ) {
         TypeSubstitution sub = TypeSubstitution( formalBegin, formalEnd, actual );
-        for ( std::list< Declaration* >::iterator i = memberBegin; i != memberEnd; ++i ) {
+        for ( auto i = memberBegin; i != memberEnd; ++i ) {
                 sub.apply( *i );
                 *out++ = *i;