Mercurial > urweb

comparison src/cjr_print.sml @ 190:3eb53c957d10

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checkboxes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Aug 2008 13:09:26 -0400
parents 8e9f97508f0d
children 890a61991263
comparison
equal deleted inserted replaced
189:20bf7487c370 190:3eb53c957d10
891 box (map (fn (x, t) => 891 box (map (fn (x, t) =>
892 let 892 let
893 val n = case SM.find (fnums, x) of 893 val n = case SM.find (fnums, x) of
894 NONE => raise Fail "CjrPrint: Can't find in fnums" 894 NONE => raise Fail "CjrPrint: Can't find in fnums"
895 | SOME n => n 895 | SOME n => n
896
897 val f = case t of
898 (TFfi ("Basis", "bool"), _) => "optional_"
899 | _ => ""
896 in 900 in
897 box [string "request = lw_get_input(ctx, ", 901 box [string "request = lw_get_",
902 string f,
903 string "input(ctx, ",
898 string (Int.toString n), 904 string (Int.toString n),
899 string ");", 905 string ");",
900 newline, 906 newline,
901 string "if (request == NULL) {", 907 string "if (request == NULL) {",
902 newline, 908 newline,