summaryrefslogtreecommitdiff
path: root/tests/test.c
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 11:27:26 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 11:27:26 -0400
commit4b3399b59d17ed32c8c2800267b8c59fd0378f21 (patch)
tree9918a955a048024a07e68cd466c19c0dbf56f867 /tests/test.c
parent2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 (diff)
Successfully influenced effectful-ness status of FFI func
Diffstat (limited to 'tests/test.c')
-rw-r--r--tests/test.c7
1 files changed, 7 insertions, 0 deletions
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 <stdio.h>
+
#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;
+}