1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
#include <HsFFI.h> extern void __stginit_T3807Export(void); void test_init (void) { static char *argv[] = { "T3807test.so", 0 }; static char **argv_ = argv; static int argc = 1; hs_init (&argc, &argv_); hs_add_root (__stginit_T3807Export); } void test_exit (void) { hs_exit (); }