Changeset 982f95d for src/ResolvExpr/AdjustExprType.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/AdjustExprType.cc
r1d7b0a8 r982f95d 19 19 #include "SynTree/Mutator.h" // for Mutator 20 20 #include "SynTree/Type.h" // for PointerType, TypeInstType, Type 21 #include "TypeEnvironment.h" // for EqvClass, TypeEnvironment21 #include "TypeEnvironment.h" // for ClassRef, TypeEnvironment 22 22 23 23 namespace ResolvExpr { … … 74 74 75 75 Type * AdjustExprType::postmutate( TypeInstType * typeInst ) { 76 if ( const EqvClass*eqvClass = env.lookup( typeInst->get_name() ) ) {77 if ( eqvClass ->data.kind == TypeDecl::Ftype ) {76 if ( ClassRef eqvClass = env.lookup( typeInst->get_name() ) ) { 77 if ( eqvClass.get_bound().data.kind == TypeDecl::Ftype ) { 78 78 return new PointerType{ Type::Qualifiers(), typeInst }; 79 79 }
Note: See TracChangeset
for help on using the changeset viewer.