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

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;
@@ -72 +71 @@
                 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;
@@ -99 +98 @@
 
                         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() ) {
@@ -147 +146 @@
 
                         // 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 ) {