Changes in src/SymTab/Mangler.cpp [c92bdcc:119889f]

File:

• src/SymTab/Mangler.cpp (modified) (3 diffs)

src/SymTab/Mangler.cpp

@@ -58 +58 @@
         void postvisit( const ast::OneType * oneType );
         void postvisit( const ast::QualifiedType * qualType );
-        void postvisit( const ast::EnumAttrType * posType );
 
         /// The result is the current constructed mangled name.
@@ -280 +279 @@
 }
 
-void Mangler::postvisit( const ast::EnumAttrType * enumAttr ) {
-        postvisit( enumAttr->instance );
-        // mangleName += "_pos";
-        switch ( enumAttr->attr )
-        {
-                case ast::EnumAttribute::Label:
-                        mangleName += "_label_";
-                        break;
-                case ast::EnumAttribute::Posn:
-                        mangleName += "_posn_";
-                        break;
-                case ast::EnumAttribute::Value:
-                        mangleName += "_value_";
-                        break;
-        }
-
-}
-
 // For debugging:
 __attribute__((unused)) void printVarMap( const std::map< std::string, std::pair< int, int > > &varMap, std::ostream &os ) {
@@ -309 +290 @@
         if ( typeMode ) return;
         auto funcType = dynamic_cast<const ast::FunctionType *>( type );
-        if ( funcType && !funcType->forall.empty() ) {
+        if ( funcType && (!funcType->forall.empty() || !funcType->assertions.empty()) ) {
                 std::list< std::string > assertionNames;
                 int dcount = 0, fcount = 0, vcount = 0, acount = 0;