From 4eb2a196fa24d52462f3f325d73952fe2d1c12cd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 11 Jan 2011 18:04:52 -0500 Subject: Some more string parsing functions; naughtyDebug --- src/c/urweb.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/c') diff --git a/src/c/urweb.c b/src/c/urweb.c index 0b4054e9..7e62d571 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -1176,7 +1176,7 @@ static void uw_buffer_check_ctx(uw_context ctx, const char *kind, uw_buffer *b, if (new_heap != b->start) { b->start = new_heap; - uw_error(ctx, UNLIMITED_RETRY, "Couldn't allocate new %s contiguously", desc); + uw_error(ctx, UNLIMITED_RETRY, "Couldn't allocate new %s contiguously; increasing size to %llu", desc, (unsigned long long)next); } b->start = new_heap; @@ -3602,6 +3602,11 @@ void uw_check_deadline(uw_context ctx) { size_t uw_database_max = SIZE_MAX; +uw_Basis_int uw_Basis_naughtyDebug(uw_context ctx, uw_Basis_string s) { + fprintf(stderr, "%s\n", s); + return 0; +} + uw_Basis_unit uw_Basis_debug(uw_context ctx, uw_Basis_string s) { if (ctx->log_debug) ctx->log_debug(ctx->logger_data, "%s\n", s); -- cgit v1.2.3