diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-07 13:09:26 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-07 13:09:26 -0400 |
| commit | 51fd5b1af6b2af7706c0c8604129d99e504a2d36 (patch) | |
| tree | dc6203b3be07a7d45f5f17b9339405eca54deadf /src/cjr_print.sml | |
| parent | befe86e703563f4f9ce8b8b0e36ae19e84b0ca8b (diff) | |
Checkboxes
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 749f56ab..2189a436 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -893,8 +893,14 @@ fun p_file env (ds, ps) = val n = case SM.find (fnums, x) of NONE => raise Fail "CjrPrint: Can't find in fnums" | SOME n => n + + val f = case t of + (TFfi ("Basis", "bool"), _) => "optional_" + | _ => "" in - box [string "request = lw_get_input(ctx, ", + box [string "request = lw_get_", + string f, + string "input(ctx, ", string (Int.toString n), string ");", newline, |