Changeset fa761c2 for src/ResolvExpr

Timestamp:

Nov 1, 2023, 10:40:54 AM (8 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

be3f163

Parents:

6e7ed0aa

Message:

Changed some new uses of UniqueId? to the ast version. Changed where some debugging variables are stored.

Location:

src/ResolvExpr

Files:

• CandidateFinder.cpp (modified) (2 diffs)
• SatisfyAssertions.cpp (modified) (2 diffs)

src/ResolvExpr/CandidateFinder.cpp

@@ -57 +57 @@
 
 /// Unique identifier for matching expression resolutions to their requesting expression
-UniqueId globalResnSlot = 0;
+ast::UniqueId globalResnSlot = 0;
 
 namespace {
@@ -686 +686 @@
         void Finder::inferParameters( CandidateRef & newCand, CandidateList & out ) {
                 // Set need bindings for any unbound assertions
-                UniqueId crntResnSlot = 0; // matching ID for this expression's assertions
+                ast::UniqueId crntResnSlot = 0; // matching ID for this expression's assertions
                 for ( auto & assn : newCand->need ) {
                         // skip already-matched assertions

src/ResolvExpr/SatisfyAssertions.cpp

@@ -51 +51 @@
 
 // in CandidateFinder.cpp; unique ID for assertion satisfaction
-extern UniqueId globalResnSlot;
+extern ast::UniqueId globalResnSlot;
 
 namespace {
@@ -298 +298 @@
                         if ( !expr->inferred.hasSlots() ) return expr;
                         // if ( expr->inferred.mode != ast::Expr::InferUnion::Slots ) return expr;
-                        std::vector<UniqueId> missingSlots;
+                        std::vector<ast::UniqueId> missingSlots;
                         // find inferred parameters for resolution slots
                         ast::InferredParams * newInferred = new ast::InferredParams();
-                        for ( UniqueId slot : expr->inferred.resnSlots() ) {
+                        for ( ast::UniqueId slot : expr->inferred.resnSlots() ) {
                                 // fail if no matching assertions found
                                 auto it = inferred.find( slot );