Fix an issue in strong typing for call parameters

mertyildiran · mertyildiran · commit 33925fee61a8 · 2021-06-21T08:30:27.000+03:00
diff --git a/compiler/compiler.c b/compiler/compiler.c
@@ -44,8 +44,6 @@ i64_array* compile(ASTRoot* ast_root)
     // Declare functions in all parsed files
     declare_functions(ast_root, program);
 
-    // printFunctionTable();
-
     // Compile functions in all parsed files
     compile_functions(ast_root, program);
 
@@ -3575,7 +3573,7 @@ void strongly_type(Symbol* symbol_x, Symbol* symbol_y, _Function* function, Expr
         }
     }
 
-    if (function != NULL && value_type != V_ANY) {
+    if (function != NULL && value_type != V_ANY && value_type != V_REF) {
         strongly_type_basic_check(E_ILLEGAL_VARIABLE_TYPE_FOR_FUNCTION_PARAMETER, symbol_x->name, function->name, symbol_x->type, value_type);
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -44,8 +44,6 @@ i64_array* compile(ASTRoot* ast_root)`
`44`	`44`	`// Declare functions in all parsed files`
`45`	`45`	`declare_functions(ast_root, program);`
`46`	`46`
`47`		`- // printFunctionTable();`
`48`		`-`
`49`	`47`	`// Compile functions in all parsed files`
`50`	`48`	`compile_functions(ast_root, program);`
`51`	`49`
`@@ -3575,7 +3573,7 @@ void strongly_type(Symbol* symbol_x, Symbol* symbol_y, _Function* function, Expr`
`3575`	`3573`	`}`
`3576`	`3574`	`}`
`3577`	`3575`
`3578`		`- if (function != NULL && value_type != V_ANY) {`
	`3576`	`+ if (function != NULL && value_type != V_ANY && value_type != V_REF) {`
`3579`	`3577`	`strongly_type_basic_check(E_ILLEGAL_VARIABLE_TYPE_FOR_FUNCTION_PARAMETER, symbol_x->name, function->name, symbol_x->type, value_type);`
`3580`	`3578`	`}`
`3581`	`3579`	`}`