diff tests/test.c @ 765:a28982de5645

Successfully influenced effectful-ness status of FFI func
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 11:27:26 -0400
parents 7f653298dd66
children df09c95085f8
line wrap: on
line diff
--- a/tests/test.c	Thu Apr 30 17:15:14 2009 -0400
+++ b/tests/test.c	Sat May 02 11:27:26 2009 -0400
@@ -1,3 +1,5 @@
+#include <stdio.h>
+
 #include "../include/urweb.h"
 
 typedef uw_Basis_string uw_Test_t;
@@ -13,3 +15,8 @@
 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;
+}