comparison 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
comparison
equal deleted inserted replaced
764:7f653298dd66 765:a28982de5645
1 #include <stdio.h>
2
1 #include "../include/urweb.h" 3 #include "../include/urweb.h"
2 4
3 typedef uw_Basis_string uw_Test_t; 5 typedef uw_Basis_string uw_Test_t;
4 6
5 uw_Test_t uw_Test_create(uw_context ctx, uw_Basis_string s) { 7 uw_Test_t uw_Test_create(uw_context ctx, uw_Basis_string s) {
11 } 13 }
12 14
13 uw_Test_t uw_Test_frob(uw_context ctx, uw_Test_t s1, uw_Basis_string s2) { 15 uw_Test_t uw_Test_frob(uw_context ctx, uw_Test_t s1, uw_Basis_string s2) {
14 return uw_Basis_strcat(ctx, s1, s2); 16 return uw_Basis_strcat(ctx, s1, s2);
15 } 17 }
18
19 uw_Basis_unit uw_Test_print(uw_context ctx) {
20 printf("Hi there!\n");
21 return uw_unit_v;
22 }