diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-05-02 11:27:26 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-02 11:27:26 -0400 |
commit | 4b3399b59d17ed32c8c2800267b8c59fd0378f21 (patch) | |
tree | 9918a955a048024a07e68cd466c19c0dbf56f867 /tests/test.c | |
parent | 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 (diff) |
Successfully influenced effectful-ness status of FFI func
Diffstat (limited to 'tests/test.c')
-rw-r--r-- | tests/test.c | 7 |
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; +} |