diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-01-02 17:08:39 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-01-02 17:08:39 -0500 |
| commit | fe2d1fe8ab56f83796a80bcb370d7420e693ab2a (patch) | |
| tree | fd1b94c909fc8c4b2c176406f157cbe8812f5984 /src/cjr_print.sml | |
| parent | b01b8ee2e96e7fec30380991ba723558db3666f2 (diff) | |
Fix handling of quotes in generating C literals
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 8bb2f64d..851fa02d 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -2388,7 +2388,7 @@ fun p_decl env (dAll as (d, _) : decl) = | DPreparedStatements _ => box [] | DJavaScript s => box [string "static char jslib[] = \"", - string (String.toCString s), + string (Prim.toCString s), string "\";"] | DCookie s => box [string "/*", space, @@ -2863,7 +2863,7 @@ fun p_file env (ds, ps) = prefix ^ s in box [string "if (!strncmp(request, \"", - string (String.toCString s), + string (Prim.toCString s), string "\", ", string (Int.toString (size s)), string ") && (request[", @@ -3090,10 +3090,10 @@ fun p_file env (ds, ps) = box [string "if (!str", case #kind rule of Settings.Exact => box [string "cmp(s, \"", - string (String.toCString (#pattern rule)), + string (Prim.toCString (#pattern rule)), string "\"))"] | Settings.Prefix => box [string "ncmp(s, \"", - string (String.toCString (#pattern rule)), + string (Prim.toCString (#pattern rule)), string "\", ", string (Int.toString (size (#pattern rule))), string "))"], @@ -3402,7 +3402,7 @@ fun p_file env (ds, ps) = "uw_handle", "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", "uw_check_requestHeader", "uw_check_responseHeader", case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics", - "\"" ^ String.toCString (Settings.getTimeFormat ()) ^ "\""], + "\"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\""], string "};", newline] end |