Changeset fa2c005 for src/Validate/LinkReferenceToTypes.cpp

Timestamp:

Jun 8, 2023, 3:19:43 PM (12 months ago)

Author:

JiadaL <j82liang@…>

Branches:

ADT

Parents:

044ae62

Message:

Finish Adt POC

File:

• src/Validate/LinkReferenceToTypes.cpp (modified) (3 diffs)

src/Validate/LinkReferenceToTypes.cpp

@@ -20 +20 @@
 #include "Validate/ForallPointerDecay.hpp"
 #include "Validate/NoIdSymbolTable.hpp"
+#include <assert.h>
 
 namespace Validate {
@@ -35 +36 @@
         ast::UnionInstType const * postvisit( ast::UnionInstType const * type );
         ast::TraitInstType const * postvisit( ast::TraitInstType const * type );
+        ast::AdtInstType const * postvisit( ast::AdtInstType const * type );
         void previsit( ast::QualifiedType const * type );
         void postvisit( ast::QualifiedType const * type );
@@ -107 +109 @@
                 auto mut = ast::mutate( type );
                 forwardStructs[ mut->name ].push_back( mut );
+                type = mut;
+        }
+        return type;
+}
+
+ast::AdtInstType const * LinkTypesCore::postvisit( ast::AdtInstType const * type ) {
+        ast::AdtDecl const * decl = symtab.lookupAdt( type->name );
+        assert( decl != nullptr );
+        if ( decl ) {
+                auto mut = ast::mutate( type );
+                mut->base = const_cast<ast::AdtDecl *>( decl );
                 type = mut;
         }