annotate tests/test.h @ 1878:df6a040f5389

Make transactional FFI functions effectful by default
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Oct 2013 18:01:30 -0400
parents eac1974924bb
children
rev   line source
adamc@764 1 #include "../include/urweb.h"
adamc@764 2
adamc@764 3 typedef uw_Basis_string uw_Test_t;
adamc@764 4
adamc@764 5 uw_Test_t uw_Test_create(uw_context, uw_Basis_string);
adamc@764 6 uw_Basis_string uw_Test_out(uw_context, uw_Test_t);
adamc@764 7 uw_Test_t uw_Test_frob(uw_context, uw_Test_t, uw_Basis_string);
adamc@765 8
adamc@765 9 uw_Basis_unit uw_Test_print(uw_context);
adamc@766 10 uw_Basis_unit uw_Test_foo(uw_context);
adamc@771 11
adamc@771 12 uw_Basis_unit uw_Test_transactional(uw_context);