comparison src/cjr_print.sml @ 1537:e627bab3eda7

Fix list urlification
author Adam Chlipala <adam@chlipala.net>
date Sun, 14 Aug 2011 16:46:36 -0400
parents a71223513c77
children dc4c61363d0a
comparison
equal deleted inserted replaced
1536:cbacd38d4ec2 1537:e627bab3eda7
830 string "((!strncmp(*request, \"Nil\", 3) && ((*request)[3] == 0 ", 830 string "((!strncmp(*request, \"Nil\", 3) && ((*request)[3] == 0 ",
831 string "|| (*request)[3] == '/')) ? (*request", 831 string "|| (*request)[3] == '/')) ? (*request",
832 space, 832 space,
833 string "+=", 833 string "+=",
834 space, 834 space,
835 string "3, (*request == '/' ? *request++ = 0 : 0), NULL) : ((!strncmp(*request, \"Cons\", 4) && ((*request)[4] == 0 ", 835 string "3, ((*request)[0] == '/' ? *request++ = 0 : 0), NULL) : ((!strncmp(*request, \"Cons\", 4) && ((*request)[4] == 0 ",
836 string "|| (*request)[4] == '/')) ? (*request", 836 string "|| (*request)[4] == '/')) ? (*request",
837 space, 837 space,
838 string "+=", 838 string "+=",
839 space, 839 space,
840 string "4, ((*request)[0] == '/' ? ++*request : NULL), ", 840 string "4, ((*request)[0] == '/' ? ++*request : NULL), ",