Changes in src/SymTab/Mangler.cc [8c49c0e:89e6ffc]

File:

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

src/SymTab/Mangler.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Mangler.cc --
+// Mangler.cc -- 
 //
 // Author           : Richard C. Bilson
@@ -35 +35 @@
                 return mangler.get_mangleName();
         }
-
+        
         Mangler::Mangler( bool mangleOverridable, bool typeMode )
                 : nextVarNum( 0 ), isTopLevel( true ), mangleOverridable( mangleOverridable ), typeMode( typeMode ) {}
-
+                
         Mangler::Mangler( const Mangler &rhs ) : mangleName() {
                 varNums = rhs.varNums;
@@ -115 +115 @@
                         "Ir",   // LongDoubleImaginary
                 };
-
+  
                 printQualifiers( basicType );
                 mangleName << btLetter[ basicType->get_kind() ];
@@ -231 +231 @@
         }
 
+        void Mangler::visit( ZeroType *zeroType ) {
+                mangleName << "Z";
+        }
+
+        void Mangler::visit( OneType *oneType ) {
+                mangleName << "O";
+        }
+
         void Mangler::visit( TypeDecl *decl ) {
                 static const char *typePrefix[] = { "BT", "BD", "BF" };
@@ -245 +253 @@
                 // skip if not including qualifiers
                 if ( typeMode ) return;
-
+                
                 if ( ! type->get_forall().empty() ) {
                         std::list< std::string > assertionNames;
                         int tcount = 0, dcount = 0, fcount = 0;
                         mangleName << "A";
-                        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 ) {
                                 switch ( (*i)->get_kind() ) {
                                   case TypeDecl::Any: