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

File:

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

src/SynTree/TypeSubstitution.h

@@ -16 +16 @@
 #pragma once
 
-#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 <map>
+#include <set>
+#include <cassert>
 
-#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...
+#include "SynTree/Mutator.h"
+#include "SynTree/Declaration.h"
+#include "SynTree/Expression.h"
 
 class TypeSubstitution : public Mutator {
@@ -117 +111 @@
                                 } // if
                         } else {
-                                throw SemanticError( "Attempt to provide non-type parameter for type parameter", formal );
+                                throw SemanticError( toString( "Attempt to provide non-type parameter: ", toString( *actualIt ).c_str(), " for type parameter " ), formal );
                         } // if
                 } else {