Changeset 982f95d for src/ResolvExpr/PolyCost.cc
- Timestamp:
- Jun 15, 2018, 5:09:29 PM (6 years ago)
- Branches:
- new-env
- Children:
- 97397a26
- Parents:
- 1d7b0a8
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/PolyCost.cc
r1d7b0a8 r982f95d 17 17 #include "SymTab/Indexer.h" // for Indexer 18 18 #include "SynTree/Type.h" // for TypeInstType, Type 19 #include "TypeEnvironment.h" // for EqvClass, TypeEnvironment19 #include "TypeEnvironment.h" // for ClassRef, TypeEnvironment 20 20 21 21 namespace ResolvExpr { … … 39 39 40 40 void PolyCost::previsit(TypeInstType * typeInst) { 41 if ( const EqvClass *eqvClass = tenv.lookup( typeInst->name ) ) {42 if ( eqvClass->type ) {43 if ( TypeInstType * otherTypeInst = dynamic_cast< TypeInstType* >( eqvClass->type) ) {41 if ( ClassRef eqvClass = tenv.lookup( typeInst->name ) ) { 42 if ( Type* boundTy = eqvClass.get_bound().type ) { 43 if ( TypeInstType * otherTypeInst = dynamic_cast< TypeInstType* >( boundTy ) ) { 44 44 if ( indexer.lookupType( otherTypeInst->name ) ) { 45 45 // bound to opaque type
Note: See TracChangeset
for help on using the changeset viewer.