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.c | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 tests/test.c (limited to 'tests/test.c') diff --git a/tests/test.c b/tests/test.c new file mode 100644 index 00000000..c40eb966 --- /dev/null +++ b/tests/test.c @@ -0,0 +1,15 @@ +#include "../include/urweb.h" + +typedef uw_Basis_string uw_Test_t; + +uw_Test_t uw_Test_create(uw_context ctx, uw_Basis_string s) { + return s; +} + +uw_Basis_string uw_Test_out(uw_context ctx, uw_Test_t s) { + return s; +} + +uw_Test_t uw_Test_frob(uw_context ctx, uw_Test_t s1, uw_Basis_string s2) { + return uw_Basis_strcat(ctx, s1, s2); +} -- cgit v1.2.3