Changeset d8938622 for src/AST/Expr.cpp
- Timestamp:
- May 22, 2019, 3:38:47 PM (4 years ago)
- Branches:
- arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 6380f78
- Parents:
- 37eef7a
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/Expr.cpp
r37eef7a rd8938622 20 20 #include <vector> 21 21 22 #include "GenericSubstitution.hpp" 22 23 #include "Stmt.hpp" 23 24 #include "Type.hpp" 25 #include "TypeSubstitution.hpp" 24 26 #include "Common/utility.h" 25 27 #include "Common/SemanticError.h" … … 157 159 assert( aggregate->result ); 158 160 159 assert(!"unimplemented; need TypeSubstitution, genericSubstitution"); 161 // take ownership of member type 162 Type * res = result.set_and_mutate( mem->get_type() ); 163 // substitute aggregate generic parameters into member type 164 genericSubsitution( aggregate->result ).apply( res ); 165 // ensure lvalue and appropriate restrictions from aggregate type 166 res->set_lvalue( true ); 167 res->qualifiers |= aggregate->result->qualifiers; 168 // ensure changes propegated back into result 169 result = res; 160 170 } 161 171
Note: See TracChangeset
for help on using the changeset viewer.