Changeset f6582243 for src/Tuples


Ignore:
Timestamp:
Aug 15, 2017, 7:14:24 PM (7 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, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
1ae06fa
Parents:
c93bc28
Message:

Fix member expressions in the InstantiateGeneric? pass so that they correctly refer to the member from the instantiation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Tuples/TupleExpansion.cc

    rc93bc28 rf6582243  
    230230                for ( auto p : group_iterate( tupleType->get_types(), decl->get_parameters() ) ) {
    231231                        Type * t = std::get<0>(p);
    232                         TypeDecl * td = std::get<1>(p);
    233232                        newType->get_parameters().push_back( new TypeExpr( t->clone() ) );
    234                         if ( env ) {
    235                                 // add bindings to the type environment.
    236                                 // xxx - This may not be sufficient, it may be necessary to rename type variables on StructInstType?
    237                                 env->add( td->get_name(), t->clone() );
    238                         }
    239233                }
    240234                delete tupleType;
Note: See TracChangeset for help on using the changeset viewer.