From 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 30 Apr 2009 17:15:14 -0400 Subject: C FFI compiler options --- tests/test.h | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/test.h (limited to 'tests/test.h') diff --git a/tests/test.h b/tests/test.h new file mode 100644 index 00000000..4cd257f8 --- /dev/null +++ b/tests/test.h @@ -0,0 +1,7 @@ +#include "../include/urweb.h" + +typedef uw_Basis_string uw_Test_t; + +uw_Test_t uw_Test_create(uw_context, uw_Basis_string); +uw_Basis_string uw_Test_out(uw_context, uw_Test_t); +uw_Test_t uw_Test_frob(uw_context, uw_Test_t, uw_Basis_string); -- cgit v1.2.3