summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-03-10 12:53:33 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2012-03-10 12:53:33 -0500
commitc910d337667b9e721da43f26c957c4580607229f (patch)
tree80047c88c770f642a6d5e73eb5c44ff3cc0828b6 /src/cjr_print.sml
parentf10d7950cdeffcd387f638adf3bdfa32b1f3773c (diff)
Change <radio> to yield [option string]
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml12
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,