Changes in src/ResolvExpr/RenameVars.cc [8c49c0e:89e6ffc]

File:

• src/ResolvExpr/RenameVars.cc (modified) (3 diffs)

src/ResolvExpr/RenameVars.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// RenameVars.cc --
+// RenameVars.cc -- 
 //
 // Author           : Richard C. Bilson
@@ -110 +110 @@
         }
 
+        void RenameVars::visit( ZeroType *zeroType ) {
+                typeBefore( zeroType );
+                typeAfter( zeroType );
+        }
+
+        void RenameVars::visit( OneType *oneType ) {
+                typeBefore( oneType );
+                typeAfter( oneType );
+        }
+
         void RenameVars::typeBefore( Type *type ) {
                 if ( ! type->get_forall().empty() ) {
@@ -115 +125 @@
                         mapStack.push_front( mapStack.front() );
                         // renames all "forall" type names to `_${level}_${name}'
-                        for ( Type::ForallList::iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
+                        for ( std::list< TypeDecl* >::iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
                                 std::ostringstream output;
                                 output << "_" << level << "_" << (*i)->get_name();