diff include/types.h @ 167:2be573fec9a6

Unurlifying a datatype; longjmp-based error signaling mechanism
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 15:25:42 -0400
parents adfa2c7a75da
children 88d46972de53
line wrap: on
line diff
--- a/include/types.h	Tue Jul 29 14:28:44 2008 -0400
+++ b/include/types.h	Tue Jul 29 15:25:42 2008 -0400
@@ -12,3 +12,6 @@
 
 typedef lw_Basis_string lw_Basis_xhtml;
 typedef lw_Basis_string lw_Basis_page;
+
+
+typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;