Function _AR_EXP_ValidateInvocation

src/arithmetic/arithmetic_expression.c:410–434

}

static bool _AR_EXP_ValidateInvocation
(
	AR_FuncDesc *fdesc,
	SIValue *argv,
	uint argc
) {
	SIType actual_type;
	SIType expected_type = T_NULL;

	uint expected_types_count = array_len(fdesc->types);
	for(int i = 0; i < argc; i++) {
		actual_type = SI_TYPE(argv[i]);
		/* For a function that accepts a variable number of arguments.
		* the last specified type in fdesc->types is repeatable. */
		if(i < expected_types_count) {
			expected_type = fdesc->types[i];
		}
		if(!(actual_type & expected_type)) {
			Error_SITypeMismatch(argv[i], expected_type);
			return false;
		}
	}

	return true;
}

/* Evaluating an expression tree constructs an array of SIValues.
 * Free all of these values, in case an intermediate node on the tree caused a heap allocation.