Changeset 0215a76f for src/SymTab/Validate.cc

Timestamp:

Jul 10, 2015, 4:35:25 PM (9 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

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

Children:

9163b9c

Parents:

cff1143

Message:

Copy instance parameters over typedefs

File:

• src/SymTab/Validate.cc (modified) (1 diff)

src/SymTab/Validate.cc

@@ -812 +812 @@
                         Type *ret = def->second.first->get_base()->clone();
                         ret->get_qualifiers() += typeInst->get_qualifiers();
+                        // place instance parameters on the typedef'd type
+                        if ( ! typeInst->get_parameters().empty() ) {
+                                ReferenceToType *rtt = dynamic_cast<ReferenceToType*>(ret);
+                                if ( ! rtt ) {
+                                        throw SemanticError("cannot apply type parameters to base type of " + typeInst->get_name());
+                                }
+                                rtt->get_parameters().clear();
+                                cloneAll(typeInst->get_parameters(), rtt->get_parameters());
+                        }
                         delete typeInst;
                         return ret;