diff src/cjr_print.sml @ 1322:80bff6449f41

Fix a bug in C list unurlification
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Nov 2010 15:43:24 -0500
parents add5ae41969e
children d596c7002ad8
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Nov 20 10:45:22 2010 -0500
+++ b/src/cjr_print.sml	Sun Nov 21 15:43:24 2010 -0500
@@ -861,7 +861,7 @@
                                   space,
                                   string "+=",
                                   space,
-                                  string "3, NULL) : ((!strncmp(request, \"Cons\", 4) && (request[4] == 0 ",
+                                  string "3, (*request == '/' ? *request++ = 0 : 0), NULL) : ((!strncmp(request, \"Cons\", 4) && (request[4] == 0 ",
                                   string "|| request[4] == '/')) ? (request",
                                   space,
                                   string "+=",
@@ -895,7 +895,7 @@
                                   newline,
                                   string ":",
                                   space,
-                                  string ("(uw_error(ctx, FATAL, \"Error unurlifying list\"), NULL))));"),
+                                  string ("(uw_error(ctx, FATAL, \"Error unurlifying list: %s\", request), NULL))));"),
                                   newline],
                              string "}",
                              newline,