view tests/transactional.c @ 1639:6c00d8af6239

Add a new scoping check for unification variables, to fix a type inference bug
author Adam Chlipala <adam@chlipala.net>
date Sun, 18 Dec 2011 11:29:13 -0500
parents 1cc67fdac4d3
children
line wrap: on
line source
#include <stdio.h>

#include "/usr/local/include/urweb/urweb.h"

static void do_free(void *data, int will_retry) {
  printf("will_retry = %d\n", will_retry);
}

uw_unit uw_Transactional_foo(uw_context ctx) {
  printf("Registering....\n");
  uw_register_transactional(ctx, NULL, NULL, NULL, do_free);
}