Changeset 0e73845 for src/SymTab/ManglerCommon.cc

Timestamp:

Aug 19, 2018, 12:09:00 PM (6 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

04c77791

Parents:

38587bc

Message:

Fix name mangling for type variables and forall lists

File:

• src/SymTab/ManglerCommon.cc (modified) (2 diffs)

src/SymTab/ManglerCommon.cc

@@ -16 +16 @@
 #include "Mangler.h"
 #include "SynTree/Type.h"
+#include "SynTree/Declaration.h"
 
 namespace SymTab {
@@ -82 +83 @@
                         const std::string qualifiedTypeEnd = "E";
 
+                        const std::string forall = "Q";
+                        const std::string typeVariables[] = {
+                                "BD", // dtype
+                                "BF", // ftype
+                                "BT", // ttype
+                        };
+                        static_assert(
+                                sizeof(typeVariables)/sizeof(typeVariables[0]) == TypeDecl::NUMBER_OF_KINDS,
+                                "Each type variable kind should have a corresponding mangler prefix"
+                        );
+
                         const std::string struct_t = "S";
                         const std::string union_t = "U";