annotate 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
rev   line source
adam@1327 1 #include <stdio.h>
adam@1327 2
adam@1327 3 #include "/usr/local/include/urweb/urweb.h"
adam@1327 4
adam@1327 5 static void do_free(void *data, int will_retry) {
adam@1327 6 printf("will_retry = %d\n", will_retry);
adam@1327 7 }
adam@1327 8
adam@1327 9 uw_unit uw_Transactional_foo(uw_context ctx) {
adam@1327 10 printf("Registering....\n");
adam@1327 11 uw_register_transactional(ctx, NULL, NULL, NULL, do_free);
adam@1327 12 }