Changes in / [1f133dc:713926c]


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/Resolver.cc

    r1f133dc r713926c  
    583583                                                        // Make sure we don't widen any existing bindings
    584584                                                        resultEnv.forbidWidening();
    585 
     585                                                       
    586586                                                        // Find any unbound type variables
    587587                                                        resultEnv.extractOpenVars( openVars );
     
    590590                                                        auto param_end = function->parameters.end();
    591591
    592                                                         int n_mutex_param = 0;
     592                                                        int n_mutex_arg = 0;
    593593
    594594                                                        // For every arguments of its set, check if it matches one of the parameter
     
    600600                                                                        // We ran out of parameters but still have arguments
    601601                                                                        // this function doesn't match
    602                                                                         SemanticError( function, toString("candidate function not viable: too many mutex arguments, expected ", n_mutex_param, "\n" ));
     602                                                                        SemanticError( function, toString("candidate function not viable: too many mutex arguments, expected ", n_mutex_arg, "\n" ));
    603603                                                                }
    604604
    605                                                                 n_mutex_param++;
     605                                                                n_mutex_arg++;
    606606
    607607                                                                // Check if the argument matches the parameter type in the current scope
     
    626626                                                        // Check if parameters are missing
    627627                                                        if( advance_to_mutex( param, param_end ) ) {
    628                                                                 do {
    629                                                                         n_mutex_param++;
    630                                                                         param++;
    631                                                                 } while( advance_to_mutex( param, param_end ) );
    632 
    633628                                                                // We ran out of arguments but still have parameters left
    634629                                                                // this function doesn't match
    635                                                                 SemanticError( function, toString("candidate function not viable: too few mutex arguments, expected ", n_mutex_param, "\n" ));
     630                                                                SemanticError( function, toString("candidate function not viable: too few mutex arguments, expected ", n_mutex_arg, "\n" ));
    636631                                                        }
    637632
Note: See TracChangeset for help on using the changeset viewer.