Ur/Web: include/types.h annotate

Unpolyed a polymorphic function of two arguments

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 11 Sep 2008 10:14:59 -0400
parents	9ad92047a499
children	024478c34f4d

rev	line source
adamc@311	1 typedef long long uw_Basis_int;
adamc@311	2 typedef double uw_Basis_float;
adamc@311	3 typedef char* uw_Basis_string;
adamc@102	4
adamc@311	5 struct __uws_0 {
adamc@102	6 };
adamc@102	7
adamc@311	8 typedef struct __uws_0 uw_unit;
adamc@311	9 typedef uw_unit uw_Basis_unit;
adamc@117	10
adamc@311	11 typedef enum uw_Basis_bool { uw_Basis_False, uw_Basis_True } uw_Basis_bool;
adamc@186	12
adamc@311	13 typedef struct uw_context *uw_context;
adamc@117	14
adamc@311	15 typedef uw_Basis_string uw_Basis_xhtml;
adamc@311	16 typedef uw_Basis_string uw_Basis_page;
adamc@167	17
adamc@167	18
adamc@167	19 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;
adamc@295	20
adamc@295	21
adamc@295	22 #define INTS_MAX 50
adamc@295	23 #define FLOATS_MAX 100

Mercurial > urweb