Changeset e0e9a0b for src/ResolvExpr/CandidateFinder.cpp

Timestamp:

Jun 27, 2019, 5:16:54 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

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

Children:

7d0881c

Parents:

6be3b7d6

Message:

Somewhat deeper clone for types with forall qualifiers.

• Added WithForallSubstitutor? pass accessory to perform these changes
• modified copy constructors of ParameterizedType? to properly update children

File:

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

src/ResolvExpr/CandidateFinder.cpp

@@ -548 +548 @@
                 genStart = genEnd;
 
-                return genEnd != results.size();
+                return genEnd != results.size();  // were any new results added?
         }
 
@@ -677 +677 @@
                         ast::TypeEnvironment funcEnv{ func->env };
                         makeUnifiableVars( funcType, funcOpen, funcNeed );
-                        // add all type variables as open variables now so that those not used in the parameter 
-                        // list are still considered open
+                        // add all type variables as open variables now so that those not used in the 
+                        // parameter list are still considered open
                         funcEnv.add( funcType->forall );