feat: add debug print for CALL_EXTERN opcode

src/compiler/analyzer/an_call.c

@@ -131,7 +131,8 @@ fzl_an_res_t analyze_call(fzl_analyzer_t *analyzer, fzl_node_t *call_node)
     return (fzl_an_res_t){.error = true};
   }
 
-  if (sym.node->type != FZL_NODETYPE_FUNCTION)
+  if (sym.node->type != FZL_NODETYPE_FUNCTION &&
+      sym.node->type != FZL_NODETYPE_EXTERN_FN)
   {
     snprintf(an_problem, sizeof(an_problem), "'%s' is not callable",
              callee_name);
@@ -147,21 +148,23 @@ fzl_an_res_t analyze_call(fzl_analyzer_t *analyzer, fzl_node_t *call_node)
   }
 
   size_t offset     = is_method ? 1 : 0;
-  if ((sym.node->fn.args_count - offset) != call_node->call.args_count)
+  size_t args_count = sym.node->type == FZL_NODETYPE_EXTERN_FN
+                          ? sym.node->ext_fn.args_count
+                          : sym.node->fn.args_count;
+  if ((args_count - offset) != call_node->call.args_count)
   {
     if (is_method)
     {
       snprintf(an_problem, sizeof(an_problem),
                "method '%s.%s' is expecting %zu argument(s), got %zu",
-               tmp_classname, tmp_fnname, sym.node->fn.args_count,
+               tmp_classname, tmp_fnname, args_count,
                call_node->call.args_count - offset);
     }
     else
     {
       snprintf(an_problem, sizeof(an_problem),
                "function '%s' is expecting %zu argument(s), got %zu",
-               callee_name, sym.node->fn.args_count,
+               callee_name, args_count, call_node->call.args_count - offset);
-               call_node->call.args_count - offset);
     }
     an_push_error(analyzer, call_node->token, an_problem);
 
@@ -174,9 +177,12 @@ fzl_an_res_t analyze_call(fzl_analyzer_t *analyzer, fzl_node_t *call_node)
     return (fzl_an_res_t){.error = true};
   }
 
+  fzl_node_t **args = sym.node->type == FZL_NODETYPE_EXTERN_FN
+                          ? sym.node->ext_fn.args
+                          : sym.node->fn.args;
   for (size_t i = offset; i < sym.node->fn.args_count; i++)
   {
-    fzl_node_t *arg     = sym.node->fn.args[i];
+    fzl_node_t *arg     = args[i];
     bool found          = false;
     fzl_type_t req_type = an_toktotype(analyzer, arg->var.type, &found);
     char *req_classname = NULL;
@@ -237,14 +243,28 @@ fzl_an_res_t analyze_call(fzl_analyzer_t *analyzer, fzl_node_t *call_node)
   }
 
   bool type_found = false;
-  fzl_type_t type = an_toktotype(analyzer, sym.node->fn.type, &type_found);
+  fzl_token_t *ret_tok = NULL;
+  void        *ret_name = NULL;
+
+  if (sym.node->type == FZL_NODETYPE_EXTERN_FN)
+  {
+    ret_tok = sym.node->ext_fn.type;
+    ret_name = sym.node->ext_fn.name;
+  }
+  else
+  {
+    ret_tok = sym.node->fn.type;
+    ret_name = sym.node->fn.name;
+  }
+
+  fzl_type_t type = an_toktotype(analyzer, ret_tok, &type_found);
   char *classname = sym.classname;
 
   if (!type_found)
   {
     snprintf(an_problem, sizeof(an_problem), "symbol '%s' not found",
-             (char *)sym.node->fn.type->value);
+             (char *)ret_name);
-    an_push_error(analyzer, sym.node->fn.type, an_problem);
+    an_push_error(analyzer, ret_tok, an_problem);
     return (fzl_an_res_t){.error = true};
   }
 

src/vm/fzl_vm_debug.c

@@ -1,6 +1,7 @@
 #include <common/fzl_opcodes.h>
 #include <common/fzl_value.h>
 #include <stdbool.h>
+#include <stddef.h>
 #include <stdint.h>
 #include <stdio.h>
 #include <vm/fzl_vm.h>
@@ -22,6 +23,14 @@ void fzl_vm_print_ops(fzl_vm_t *vm)
 
     switch (vm->reader->ops[i])
     {
+      case FZL_OPCODE_CALL_EXTERN:
+      {
+        size_t fn_n = vm->reader->ops[++i];
+        printf("CALL_EXTERN FN=#%zu (%s)\n", fn_n,
+               vm->reader->extern_fns[fn_n].used_name);
+        break;
+      }
+
       case FZL_OPCODE_STORE_LOCAL:
       {
         size_t depth = vm->reader->ops[++i];

tests/programs/negr_missing_lib.fzs

@@ -0,0 +1,10 @@
+extern "jopalib"
+{
+  type JopaLibType handle;
+
+  fn jopalib(int a, str b) JopaLibType;
+}
+
+JopaLibType a = jopalib(42, "jopa");
+printline(a);
+

tests/programs/pos_math_lib.fzs

@@ -0,0 +1,8 @@
+extern "math" {
+  fn double_num(int num) int;
+}
+
+int initial = 42;
+int result = double_num(initial);
+printline($"initial value: {initial}, result of external function: {result}");
+

tests/programs/pos_renamed_lib.fzs

@@ -0,0 +1,8 @@
+extern "math" {
+  fn dnum(int num) int = "double_num";
+}
+
+int initial = 42;
+int result = dnum(initial);
+printline($"initial value: {initial}, result of external function: {result}");
+