diff options
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, |