1 2 3 4 5 6 7 8 9 10 11 12
#include <stdio.h> #include "T5594_stub.h" #include "HsFFI.h" int main(int argc, char *argv[]) { hs_init(&argc, &argv); hello(); hs_exit(); return 0; }