Changeset 982f95d for src/ResolvExpr/PolyCost.cc

Timestamp:

Jun 15, 2018, 5:09:29 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

new-env

Children:

97397a26

Parents:

1d7b0a8

Message:

Start of new environment implementation; terribly broken

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