Changes in src/SymTab/TypeEquality.cc [89e6ffc:30f9072]

File:

• src/SymTab/TypeEquality.cc (modified) (5 diffs)

src/SymTab/TypeEquality.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// TypeEquality.cc -- 
+// TypeEquality.cc --
 //
 // Author           : Rob Schluntz
@@ -13 +13 @@
 // Update Count     : 37
 //
-
-#include <list>
-#include <iterator>
-#include "Validate.h"
-#include "SynTree/Visitor.h"
-#include "SynTree/Type.h"
-#include "SynTree/Statement.h"
-#include "SynTree/TypeSubstitution.h"
-#include "Indexer.h"
 #include "TypeEquality.h"
+
+#include <cassert>                // for assert
+#include <list>                   // for list, list<>::iterator, _List_iterator
+#include <string>                 // for operator==, string, basic_string
+
+#include "SynTree/Constant.h"     // for Constant
+#include "SynTree/Declaration.h"  // for DeclarationWithType
+#include "SynTree/Expression.h"   // for ConstantExpr, Expression
+#include "SynTree/Type.h"         // for Type, ArrayType, FunctionType, Enum...
+#include "SynTree/Visitor.h"      // for Visitor
 
 namespace SymTab {
         class TypeEquality : public Visitor {
   public:
-                TypeEquality( Type * other, bool vlaErr ) : result( true ), other( other ), 
+                TypeEquality( Type * other, bool vlaErr ) : result( true ), other( other ),
                         vlaErr( vlaErr ) {}
                 bool result;
@@ -71 +72 @@
                 handleQualifiers( basicType );
                 if ( BasicType * bt = dynamic_cast< BasicType * >( other ) ) {
-                        result = result && basicType->get_kind() == bt->get_kind(); 
+                        result = result && basicType->get_kind() == bt->get_kind();
                 } else {
                         result = false;
@@ -98 +99 @@
 
                         if ( vlaErr ) {
-                                // useful for comparing typedef types - in this case, we 
+                                // useful for comparing typedef types - in this case, we
                                 // want types to appear distinct if either is a VLA type
                                 if ( arrayType->get_isVarLen() || at->get_isVarLen() ) {
@@ -146 +147 @@
 
                         // parameter types must be equivalent
-                        it1 = funcType->get_parameters().begin(); 
+                        it1 = funcType->get_parameters().begin();
                         it2 = ft->get_parameters().begin();
                         for ( ; it1 != funcType->get_parameters().end(); ++it1, ++it2 ) {