diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-03-10 12:53:33 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-03-10 12:53:33 -0500 |
| commit | c910d337667b9e721da43f26c957c4580607229f (patch) | |
| tree | 80047c88c770f642a6d5e73eb5c44ff3cc0828b6 /src/cjr_print.sml | |
| parent | f10d7950cdeffcd387f638adf3bdfa32b1f3773c (diff) | |
Change <radio> to yield [option string]
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 29b0f5d2..d11b8f30 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2008-2011, Adam Chlipala +(* Copyright (c) 2008-2012, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -2868,6 +2868,16 @@ fun p_file env (ds, ps) = string "}}", newline] end + | TOption _ => + box [string "uw_input_", + p_ident x, + space, + string "=", + space, + string "uw_get_input(ctx, ", + string (Int.toString n), + string ");", + newline] | _ => box [string "request = uw_get_", string f, |