Changes in src/ResolvExpr/PolyCost.cc [982f95d:8e18b8e]

File:

• src/ResolvExpr/PolyCost.cc (modified) (2 diffs)

src/ResolvExpr/PolyCost.cc

@@ -17 +17 @@
 #include "SymTab/Indexer.h"   // for Indexer
 #include "SynTree/Type.h"     // for TypeInstType, Type
-#include "TypeEnvironment.h"  // for ClassRef, TypeEnvironment
+#include "TypeEnvironment.h"  // for EqvClass, TypeEnvironment
 
 namespace ResolvExpr {
@@ -39 +39 @@
 
         void PolyCost::previsit(TypeInstType * typeInst) {
-                if ( ClassRef eqvClass = tenv.lookup( typeInst->name ) ) {
-                        if ( Type* boundTy = eqvClass.get_bound().type ) {
-                                if ( TypeInstType * otherTypeInst = dynamic_cast< TypeInstType* >( boundTy ) ) {
+                if ( const EqvClass *eqvClass = tenv.lookup( typeInst->name ) ) {
+                        if ( eqvClass->type ) {
+                                if ( TypeInstType * otherTypeInst = dynamic_cast< TypeInstType* >( eqvClass->type ) ) {
                                         if ( indexer.lookupType( otherTypeInst->name ) ) {
                                                 // bound to opaque type