Changeset b0d9ff7 for src/Validate/LinkReferenceToTypes.cpp

Timestamp:

Sep 1, 2022, 1:27:52 PM (23 months ago)

Author:

JiadaL <j82liang@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

12df6fe

Parents:

def751f

Message:

Fix up the QualifiedNameExpr?. It should now work on both old AST and new AST. There are some known bugs to fix so make all-tests will fail.

File:

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

src/Validate/LinkReferenceToTypes.cpp

@@ -46 +46 @@
         void postvisit( ast::UnionDecl const * decl );
         ast::TraitDecl const * postvisit( ast::TraitDecl const * decl );
+        ast::QualifiedNameExpr const * previsit( ast::QualifiedNameExpr const * decl);
 
 private:
@@ -292 +293 @@
 }
 
+ast::QualifiedNameExpr const * LinkTypesCore::previsit( ast::QualifiedNameExpr const * decl ) {
+        // Try to lookup type
+        if ( auto objDecl = decl->type_decl.as<ast::ObjectDecl>() ) {
+                if ( auto inst = objDecl->type.as<ast::TypeInstType>()) {
+                        if ( auto enumDecl = symtab.lookupEnum ( inst->name ) ) {
+                                auto mut = ast::mutate( decl );
+                                mut->type_decl = enumDecl;
+                                auto enumInst = new ast::EnumInstType( enumDecl );
+                                enumInst->name = decl->name;
+                                // Adding result; addCandidate() use result
+                                mut->result = enumInst;
+                                decl = mut;
+                        }
+                }
+        } else if ( auto enumDecl = decl->type_decl.as<ast::EnumDecl>() ) {
+                auto mut = ast::mutate( decl );
+                auto enumInst = new ast::EnumInstType( enumDecl );
+                enumInst->name = decl->name;
+                // Adding result; addCandidate() use result
+                mut->result = enumInst;
+                decl = mut;
+        }
+        // ast::EnumDecl const * decl = symtab.lookupEnum( type->name );
+        // // It's not a semantic error if the enum is not found, just an implicit forward declaration.
+        // if ( decl ) {
+        //      // Just linking in the node.
+        //      auto mut = ast::mutate( type );
+        //      mut->base = const_cast<ast::EnumDecl *>( decl );
+        //      type = mut;
+        // }
+        return decl;
+}
+
 } // namespace