From 0e0c41af58a0f4ec5a39ce77822de71e5523fcba Mon Sep 17 00:00:00 2001 From: Kimplul Date: Wed, 7 May 2025 21:22:38 +0300 Subject: implement enough type analysis for vector example + Big commit, scary + Some details still a bit up in the air, mainly about move checking structure member access ('register' types are freely copied I guess, same as in rust? How about user types?) --- mod/util.c | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 mod/util.c (limited to 'mod/util.c') diff --git a/mod/util.c b/mod/util.c new file mode 100644 index 0000000..c967349 --- /dev/null +++ b/mod/util.c @@ -0,0 +1,20 @@ +#include +#include + +long fwdpanic(fwd_extern_args_t args) +{ + assert(args.argc == 1); + char *str = FWD_ARG_T(args, 0, char *); + fprintf(stderr, "%s", str); + exit(1); + return 0; +} + +int fwdopen(fwd_state_t *state) +{ + /** @todo passing around strings might be common enough to warrant its + * own type? */ + FWD_REGISTER(state, fwdpanic, + FWD_VOID, FWD_PTR); + return 0; +} -- cgit v1.2.3