Changes in src/ResolvExpr/SatisfyAssertions.cpp [da4a570:c6b4432]

File:

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

src/ResolvExpr/SatisfyAssertions.cpp

@@ -46 +46 @@
 #include "SymTab/Mangler.h"
 
-
-
 namespace ResolvExpr {
 
 // in CandidateFinder.cpp; unique ID for assertion satisfaction
-extern UniqueId globalResnSlot;
+extern ast::UniqueId globalResnSlot;
 
 namespace {
@@ -298 +296 @@
                         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 );