Changeset fc134a48 for src/ResolvExpr/CandidateFinder.cpp

Timestamp:

Jun 2, 2022, 4:12:53 AM (2 years ago)

Author:

JiadaL <j82liang@…>

Branches:

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

Children:

1df492a, 90a8125, e5d9274

Parents:

01f6a06

Message:

Implement the struct enum

File:

• src/ResolvExpr/CandidateFinder.cpp (modified) (2 diffs)

src/ResolvExpr/CandidateFinder.cpp

@@ -899 +899 @@
 
                                                 if (argType.as<ast::PointerType>()) funcFinder.otypeKeys.insert(Mangle::Encoding::pointer);
+                                                else if (const ast::EnumInstType * enumInst = argType.as<ast::EnumInstType>()) {
+                                                        const ast::EnumDecl * enumDecl = enumInst->base;
+                                                        if ( const ast::Type* enumType = enumDecl->base ) {
+                                                                // instance of enum (T) is a instance of type (T) 
+                                                                funcFinder.otypeKeys.insert(Mangle::mangle(enumType, Mangle::NoGenericParams | Mangle::Type));
+                                                        } else {
+                                                                // instance of an untyped enum is techically int
+                                                                funcFinder.otypeKeys.insert(Mangle::mangle(enumDecl, Mangle::NoGenericParams | Mangle::Type));
+                                                        }
+                                                } 
                                                 else funcFinder.otypeKeys.insert(Mangle::mangle(argType, Mangle::NoGenericParams | Mangle::Type));
                                         }
@@ -918 +928 @@
 
                         // find function operators
-                        ast::ptr< ast::Expr > opExpr = new ast::NameExpr{ untypedExpr->location, "?()" };
+                        ast::ptr< ast::Expr > opExpr = new ast::NameExpr{ untypedExpr->location, "?()" }; // ??? why not ?{}
                         CandidateFinder opFinder( context, tenv );
                         // okay if there aren't any function operations