diff src/c/lacweb.c @ 183:c0ea24dcb86f

Optimizing 'case' in Mono_reduce
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 13:30:27 -0400
parents c7a5c8e0a0e0
children 88d46972de53
line wrap: on
line diff
--- a/src/c/lacweb.c	Sun Aug 03 12:43:20 2008 -0400
+++ b/src/c/lacweb.c	Sun Aug 03 13:30:27 2008 -0400
@@ -192,8 +192,9 @@
 }
 
 void lw_write(lw_context ctx, const char* s) {
-  lw_check(ctx, strlen(s));
+  lw_check(ctx, strlen(s) + 1);
   lw_write_unsafe(ctx, s);
+  *ctx->page_front = 0;
 }
 
 
@@ -510,7 +511,9 @@
   int len = strlen(s1) + strlen(s2) + 1;
   char *s;
 
-  lw_check(ctx, len);
+  printf("s1 = %s\ns2 = %s\n", s1, s2);
+
+  lw_check_heap(ctx, len);
 
   s = ctx->heap_front;
 
@@ -518,5 +521,7 @@
   strcat(s, s2);
   ctx->heap_front += len;
 
+  printf("s = %s\n", s);
+
   return s;
 }