comparison src/cjr_print.sml @ 2226:e10881cd92da

Merge.
author Ziv Scully <ziv@mit.edu>
date Fri, 27 Mar 2015 11:26:06 -0400
parents 9410959d296f ebfaab689570
children a749acc51ae4
comparison
equal deleted inserted replaced
2225:6262dabc08d6 2226:e10881cd92da
3258 ^ cookie ^ "\")), uw_Basis_strcat(ctx, \"/\", "), 3258 ^ cookie ^ "\")), uw_Basis_strcat(ctx, \"/\", "),
3259 acc, 3259 acc,
3260 string "))"])) 3260 string "))"]))
3261 NONE cookies 3261 NONE cookies
3262 3262
3263 val cookieCode = foldl (fn (evar, acc) =>
3264 SOME (case acc of
3265 NONE => string ("uw_unnull(uw_Basis_getenv(ctx, \""
3266 ^ Prim.toCString evar ^ "\"))")
3267 | SOME acc => box [string ("uw_Basis_strcat(ctx, uw_unnull(uw_Basis_getenv(ctx, \""
3268 ^ Prim.toCString evar ^ "\")), uw_Basis_strcat(ctx, \"/\", "),
3269 acc,
3270 string "))"]))
3271 cookieCode (SideCheck.readEnvVars ())
3272
3263 fun makeChecker (name, rules : Settings.rule list) = 3273 fun makeChecker (name, rules : Settings.rule list) =
3264 box [string "static int ", 3274 box [string "static int ",
3265 string name, 3275 string name,
3266 string "(const char *s) {", 3276 string "(const char *s) {",
3267 newline, 3277 newline,