comparison src/c/lacweb.c @ 198:ab86aa858e6c

'Option' datatype encoding
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 19:23:31 -0400
parents 3eb53c957d10
children c938fe391c84
comparison
equal deleted inserted replaced
197:b1b9bcfd8c42 198:ab86aa858e6c
469 lw_Basis_string lw_Basis_unurlifyString(lw_context ctx, char **s) { 469 lw_Basis_string lw_Basis_unurlifyString(lw_context ctx, char **s) {
470 char *new_s = lw_unurlify_advance(*s); 470 char *new_s = lw_unurlify_advance(*s);
471 char *r, *s1, *s2; 471 char *r, *s1, *s2;
472 int len, n; 472 int len, n;
473 473
474 len = strlen(*s); 474 len = strlen(new_s);
475 lw_check_heap(ctx, len + 1); 475 lw_check_heap(ctx, len + 1);
476 476
477 r = ctx->heap_front; 477 r = ctx->heap_front;
478 ctx->heap_front = lw_unurlifyString_to(ctx, ctx->heap_front, *s); 478 ctx->heap_front = lw_unurlifyString_to(ctx, ctx->heap_front, new_s);
479 *s = new_s; 479 *s = new_s;
480 return r; 480 return r;
481 } 481 }
482 482
483 483