Changes in src/ResolvExpr/Occurs.cc [8e18b8e:103b264]

File:

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

src/ResolvExpr/Occurs.cc

@@ -38 +38 @@
 
         Occurs::Occurs( std::string varName, const TypeEnvironment & env ) : result( false ), tenv( env ) {
-                if ( const EqvClass *eqvClass = tenv.lookup( varName ) ) {
-                        eqvVars = eqvClass->vars;
+                EqvClass eqvClass;
+                if ( tenv.lookup( varName, eqvClass ) ) {
+                        eqvVars = eqvClass.vars;
                 } else {
                         eqvVars.insert( varName );
@@ -46 +47 @@
 
         void Occurs::previsit( TypeInstType * typeInst ) {
-                ///   std::cerr << "searching for vars: ";
+                EqvClass eqvClass;
+///   std::cerr << "searching for vars: ";
 ///   std::copy( eqvVars.begin(), eqvVars.end(), std::ostream_iterator< std::string >( std::cerr, " " ) );
 ///   std::cerr << std::endl;
                 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 ( tenv.lookup( typeInst->get_name(), eqvClass ) ) {
+                        if ( eqvClass.type ) {
 ///       std::cerr << typeInst->get_name() << " is bound to";
 ///       eqvClass.type->print( std::cerr );
 ///       std::cerr << std::endl;
-                                eqvClass->type->accept( *visitor );
+                                eqvClass.type->accept( *visitor );
                         } // if
                 } // if