Changes in src/ResolvExpr/Occurs.cc [8e18b8e:982f95d]

File:

• src/ResolvExpr/Occurs.cc (modified) (4 diffs)

src/ResolvExpr/Occurs.cc

@@ -14 +14 @@
 //
 
-#include <set>                // for set, _Rb_tree_const_iterator
 #include <string>             // for string
+#include <unordered_set>      // for unordered_set
 
 #include "Common/PassVisitor.h"
 #include "SynTree/Type.h"     // for TypeInstType, Type
-#include "TypeEnvironment.h"  // for EqvClass, TypeEnvironment
+#include "TypeEnvironment.h"  // for ClassRef, TypeEnvironment
 
 namespace ResolvExpr {
@@ -27 +27 @@
 
                 bool result;
-                std::set< std::string > eqvVars;
+                using VarSet = std::unordered_set< std::string >;
+                VarSet eqvVars;
                 const TypeEnvironment &tenv;
         };
@@ -38 +39 @@
 
         Occurs::Occurs( std::string varName, const TypeEnvironment & env ) : result( false ), tenv( env ) {
-                if ( const EqvClass *eqvClass = tenv.lookup( varName ) ) {
-                        eqvVars = eqvClass->vars;
+                if ( ClassRef eqvClass = tenv.lookup( varName ) ) {
+                        eqvVars = eqvClass.get_vars<VarSet>();
                 } else {
                         eqvVars.insert( varName );
@@ -51 +52 @@
                 if ( eqvVars.find( typeInst->get_name() ) != eqvVars.end() ) {
                         result = true;
-                } else if ( const EqvClass *eqvClass = tenv.lookup( typeInst->get_name() ) ) {
-                        if ( eqvClass->type ) {
+                } else if ( ClassRef eqvClass = tenv.lookup( typeInst->get_name() ) ) {
+                        if ( Type* boundTy = eqvClass.get_bound().type ) {
 ///       std::cerr << typeInst->get_name() << " is bound to";
-///       eqvClass.type->print( std::cerr );
+///       boundTy->print( std::cerr );
 ///       std::cerr << std::endl;
-                                eqvClass->type->accept( *visitor );
+                                boundTy->accept( *visitor );
                         } // if
                 } // if