Changeset 982f95d for src/ResolvExpr/AdjustExprType.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/AdjustExprType.cc (modified) (2 diffs)

src/ResolvExpr/AdjustExprType.cc

@@ -19 +19 @@
 #include "SynTree/Mutator.h"      // for Mutator
 #include "SynTree/Type.h"         // for PointerType, TypeInstType, Type
-#include "TypeEnvironment.h"      // for EqvClass, TypeEnvironment
+#include "TypeEnvironment.h"      // for ClassRef, TypeEnvironment
 
 namespace ResolvExpr {
@@ -74 +74 @@
 
         Type * AdjustExprType::postmutate( TypeInstType * typeInst ) {
-                if ( const EqvClass* eqvClass = env.lookup( typeInst->get_name() ) ) {
-                        if ( eqvClass->data.kind == TypeDecl::Ftype ) {
+                if ( ClassRef eqvClass = env.lookup( typeInst->get_name() ) ) {
+                        if ( eqvClass.get_bound().data.kind == TypeDecl::Ftype ) {
                                 return new PointerType{ Type::Qualifiers(), typeInst };
                         }