tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

reactor-init.c (260B)

      1 #include <Rts.h>
      2 /* Exactly once, after the WASI reactor's _initialize. */
      3 void tricu_rts_init(void) {
      4   int argc = 6;
      5   char *args[] = {"tricu-reactor", "+RTS", "-M256m", "-K8m", "-T", "-RTS", 0};
      6   char **argv = args;
      7   hs_init_with_rtsopts(&argc, &argv);
      8 }