From 46cfc6df38e2e44898e725a58a554e4c53be53a9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 10 Mar 2012 12:53:33 -0500
Subject: Change <radio> to yield [option string]

---
 src/cjr_print.sml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'src/cjr_print.sml')

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,
-- 
cgit v1.2.3