From 4b3399b59d17ed32c8c2800267b8c59fd0378f21 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 May 2009 11:27:26 -0400 Subject: Successfully influenced effectful-ness status of FFI func --- tests/test.c | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'tests/test.c') diff --git a/tests/test.c b/tests/test.c index c40eb966..b4f23670 100644 --- a/tests/test.c +++ b/tests/test.c @@ -1,3 +1,5 @@ +#include + #include "../include/urweb.h" typedef uw_Basis_string uw_Test_t; @@ -13,3 +15,8 @@ uw_Basis_string uw_Test_out(uw_context ctx, uw_Test_t 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); } + +uw_Basis_unit uw_Test_print(uw_context ctx) { + printf("Hi there!\n"); + return uw_unit_v; +} -- cgit v1.2.3