comparison src/cjr_print.sml @ 1547:553a5cc3a4b5

Fix another list unurlification segfault bug; List.foldlMi
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Aug 2011 13:41:57 -0400
parents 133c71008bef
children 02a50a9d50ea
comparison
equal deleted inserted replaced
1546:133c71008bef 1547:553a5cc3a4b5
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, ((*request)[0] == '/' ? ((*request)[0] = 0, (*request)++) : NULL)) : ((!strncmp(*request, \"Cons\", 4) && ((*request)[4] == 0 ", 864 string "3, ((*request)[0] == '/' ? ((*request)[0] = 0, ++*request) : NULL), 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), ",