Changes in src/ResolvExpr/Resolver.cc [c5283ba:d286cf68]

File:

• src/ResolvExpr/Resolver.cc (modified) (4 diffs)

src/ResolvExpr/Resolver.cc

@@ -583 +583 @@
                                                         // Make sure we don't widen any existing bindings
                                                         resultEnv.forbidWidening();
-
+                                                        
                                                         // Find any unbound type variables
                                                         resultEnv.extractOpenVars( openVars );
@@ -590 +590 @@
                                                         auto param_end = function->parameters.end();
 
-                                                        int n_mutex_param = 0;
+                                                        int n_mutex_arg = 0;
 
                                                         // For every arguments of its set, check if it matches one of the parameter
@@ -600 +600 @@
                                                                         // We ran out of parameters but still have arguments
                                                                         // this function doesn't match
-                                                                        SemanticError( function, toString("candidate function not viable: too many mutex arguments, expected ", n_mutex_param, "\n" ));
+                                                                        SemanticError( function, toString("candidate function not viable: too many mutex arguments, expected ", n_mutex_arg, "\n" ));
                                                                 }
 
-                                                                n_mutex_param++;
+                                                                n_mutex_arg++;
 
                                                                 // Check if the argument matches the parameter type in the current scope
@@ -626 +626 @@
                                                         // Check if parameters are missing
                                                         if( advance_to_mutex( param, param_end ) ) {
-                                                                do {
-                                                                        n_mutex_param++;
-                                                                        param++;
-                                                                } while( advance_to_mutex( param, param_end ) );
-
                                                                 // We ran out of arguments but still have parameters left
                                                                 // this function doesn't match
-                                                                SemanticError( function, toString("candidate function not viable: too few mutex arguments, expected ", n_mutex_param, "\n" ));
+                                                                SemanticError( function, toString("candidate function not viable: too few mutex arguments, expected ", n_mutex_arg, "\n" ));
                                                         }