comparison include/types.h @ 764:7f653298dd66

C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents fa2019a63ea4
children eac1974924bb
comparison
equal deleted inserted replaced
763:af41ec2f302a 764:7f653298dd66
1 #ifndef URWEB_TYPES_H
2 #define URWEB_TYPES_H
3
1 #include <time.h> 4 #include <time.h>
2 5
3 typedef long long uw_Basis_int; 6 typedef long long uw_Basis_int;
4 typedef double uw_Basis_float; 7 typedef double uw_Basis_float;
5 typedef char* uw_Basis_string; 8 typedef char* uw_Basis_string;
40 43
41 #define INTS_MAX 50 44 #define INTS_MAX 50
42 #define FLOATS_MAX 100 45 #define FLOATS_MAX 100
43 #define TIMES_MAX 100 46 #define TIMES_MAX 100
44 47
48 #endif