diff include/urweb.h @ 292:6e665c7c96f6

Error-parsing ints
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 12:15:46 -0400
parents 0cc956a3216f
children 711aad3869d1
line wrap: on
line diff
--- a/include/urweb.h	Sun Sep 07 11:56:53 2008 -0400
+++ b/include/urweb.h	Sun Sep 07 12:15:46 2008 -0400
@@ -18,7 +18,6 @@
 failure_kind lw_begin(lw_context, char *path);
 
 __attribute__((noreturn)) void lw_error(lw_context, failure_kind, const char *fmt, ...);
-__attribute__((noreturn)) void lw_Basis_error(lw_context, lw_Basis_string);
 char *lw_error_message(lw_context);
 
 void *lw_malloc(lw_context, size_t);
@@ -81,3 +80,5 @@
 lw_Basis_int *lw_Basis_stringToInt(lw_context, lw_Basis_string);
 lw_Basis_float *lw_Basis_stringToFloat(lw_context, lw_Basis_string);
 lw_Basis_bool *lw_Basis_stringToBool(lw_context, lw_Basis_string);
+
+lw_Basis_int lw_Basis_stringToInt_error(lw_context, lw_Basis_string);