fixed overloaded procedures with baked value polymorphism

diff --git a/bin/onyx b/bin/onyx
index b330d5c72f2278e0b622b71d064bd3bce1c7a6e1..dc3d228877a870d61bec4aaf80c3e19225fae247 100755 (executable)
Binary files a/bin/onyx and b/bin/onyx differ

diff --git a/src/onyxutils.c b/src/onyxutils.c
index 64a44ff1ac02736b26ca5fd31c23708886e1d541..a2d2fb45706e28cdfd0e7788fe5fc7f57cae1729 100644 (file)
--- a/src/onyxutils.c
+++ b/src/onyxutils.c
@@ -667,7 +667,10 @@ static void solve_for_polymorphic_param_value(PolySolveResult* resolved, AstPoly
     // HACK: Storing the original value because if this was an AstArgument, we need to flag
     // it as baked if it is determined that the argument is of the correct kind and type.
     AstTyped* orig_value = value;
-    if (value->kind == Ast_Kind_Argument) value = ((AstArgument *) value)->value;
+    if (value->kind == Ast_Kind_Argument) {
+        ((AstArgument *) orig_value)->is_baked = 0;
+        value = ((AstArgument *) value)->value;
+    }
 
     if (param->type_expr == (AstType *) &type_expr_symbol) {
         if (!node_is_type((AstNode *) value)) {
@@ -1024,7 +1027,10 @@ AstTyped* find_matching_overload_by_arguments(bh_arr(AstTyped *) overloads, Argu
             AstTyped** value    = &args.values[i];
 
             if (type_to_match->kind == Type_Kind_VarArgs) type_to_match = type_to_match->VarArgs.ptr_to_data->Pointer.elem;
-            if ((*value)->kind == Ast_Kind_Argument)      value = &((AstArgument *) *value)->value;
+            if ((*value)->kind == Ast_Kind_Argument) {
+                if (((AstArgument *) (*value))->is_baked) continue;
+                value = &((AstArgument *) *value)->value;
+            }
 
             if (!type_check_or_auto_cast(value, type_to_match)) {
                 all_arguments_work = 0;