Changeset 3e5dd913 for src/ResolvExpr/CandidateFinder.cpp

Timestamp:

Dec 16, 2020, 2:43:12 PM (2 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

53449a4

Parents:

13fece5

Message:

reimplement function type and eliminate deep copy

File:

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

src/ResolvExpr/CandidateFinder.cpp

@@ -212 +212 @@
                 // mark type variable and specialization cost of forall clause
                 convCost.incVar( function->forall.size() );
-                for ( const ast::TypeDecl * td : function->forall ) {
-                        convCost.decSpec( td->assertions.size() );
-                }
+                convCost.decSpec( function->assertions.size() );
 
                 return convCost;
@@ -223 +221 @@
                 ast::AssertionSet & need
         ) {
-                for ( const ast::TypeDecl * tyvar : type->forall ) {
-                        unifiableVars[ tyvar->name ] = ast::TypeDecl::Data{ tyvar };
-                        for ( const ast::DeclWithType * assn : tyvar->assertions ) {
-                                need[ assn ].isUsed = true;
-                        }
+                for ( auto & tyvar : type->forall ) {
+                        unifiableVars[ *tyvar ] = ast::TypeDecl::Data{ tyvar->base };
+                }
+                for ( auto & assn : type->assertions ) {
+                        need[ assn ].isUsed = true;
                 }
         }
@@ -953 +951 @@
                                                 auto inst = dynamic_cast< const ast::TypeInstType * >( funcResult )
                                         ) {
-                                                if ( const ast::EqvClass * clz = func->env.lookup( inst->name ) ) {
+                                                if ( const ast::EqvClass * clz = func->env.lookup( *inst ) ) {
                                                         if ( auto function = clz->bound.as< ast::FunctionType >() ) {
                                                                 CandidateRef newFunc{ new Candidate{ *func } };
@@ -1077 +1075 @@
                         assert( toType );
                         toType = resolveTypeof( toType, symtab );
-                        toType = SymTab::validateType( castExpr->location, toType, symtab );
+                        // toType = SymTab::validateType( castExpr->location, toType, symtab );
                         toType = adjustExprType( toType, tenv, symtab );
 
@@ -1162 +1160 @@
 
                                         if(auto insttype = dynamic_cast<const ast::TypeInstType*>(expr)) {
-                                                auto td = cand->env.lookup(insttype->name);
+                                                auto td = cand->env.lookup(*insttype);
                                                 if(!td) { continue; }
                                                 expr = td->bound.get();
@@ -1568 +1566 @@
                                 // calculate target type
                                 const ast::Type * toType = resolveTypeof( initAlt.type, symtab );
-                                toType = SymTab::validateType( initExpr->location, toType, symtab );
+                                // toType = SymTab::validateType( initExpr->location, toType, symtab );
                                 toType = adjustExprType( toType, tenv, symtab );
                                 // The call to find must occur inside this loop, otherwise polymorphic return