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?)

1 files changed, 20 insertions, 0 deletions

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 <fwd/mod.h>
+#include <stdio.h>
+
+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;
+}