argsnum bugfix

anoma · Dec 14, 2023 · 593d721 · 593d721
1 parent d17c137
commit 593d721
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/runtime/src/juvix/api.h b/runtime/src/juvix/api.h
@@ -112,7 +112,7 @@
         error_exit();      \
     } while (0)
 
-#define JUVIX_ARGS_NUM(var, val) (var = get_closure_largs(val))
+#define JUVIX_ARGS_NUM(var, val) (var = make_smallint(get_closure_largs(val)))
 
 #define JUVIX_ALLOC_INT(var, val) (var = make_smallint(val))
 // ALLOC_CONSTR_BOXED(var, uid, nargs)