comparison 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
comparison
equal deleted inserted replaced
1321:4172863d049d 1322:80bff6449f41
859 string "((!strncmp(request, \"Nil\", 3) && (request[3] == 0 ", 859 string "((!strncmp(request, \"Nil\", 3) && (request[3] == 0 ",
860 string "|| request[3] == '/')) ? (request", 860 string "|| request[3] == '/')) ? (request",
861 space, 861 space,
862 string "+=", 862 string "+=",
863 space, 863 space,
864 string "3, NULL) : ((!strncmp(request, \"Cons\", 4) && (request[4] == 0 ", 864 string "3, (*request == '/' ? *request++ = 0 : 0), NULL) : ((!strncmp(request, \"Cons\", 4) && (request[4] == 0 ",
865 string "|| request[4] == '/')) ? (request", 865 string "|| request[4] == '/')) ? (request",
866 space, 866 space,
867 string "+=", 867 string "+=",
868 space, 868 space,
869 string "4, (request[0] == '/' ? ++request : NULL), ", 869 string "4, (request[0] == '/' ? ++request : NULL), ",
893 string "})", 893 string "})",
894 string ")", 894 string ")",
895 newline, 895 newline,
896 string ":", 896 string ":",
897 space, 897 space,
898 string ("(uw_error(ctx, FATAL, \"Error unurlifying list\"), NULL))));"), 898 string ("(uw_error(ctx, FATAL, \"Error unurlifying list: %s\", request), NULL))));"),
899 newline], 899 newline],
900 string "}", 900 string "}",
901 newline, 901 newline,
902 newline, 902 newline,
903 903