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

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.
@@ -279 +280 @@
 }
 
+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 ) {
@@ -290 +309 @@
         if ( typeMode ) return;
         auto funcType = dynamic_cast<const ast::FunctionType *>( type );
-        if ( funcType && (!funcType->forall.empty() || !funcType->assertions.empty()) ) {
+        if ( funcType && !funcType->forall.empty() ) {
                 std::list< std::string > assertionNames;
                 int dcount = 0, fcount = 0, vcount = 0, acount = 0;