Mercurial > urweb

diff src/cjr_print.sml @ 1692:a1a1d66aebac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change <radio> to yield [option string]
author Adam Chlipala <adam@chlipala.net>
date Sat, 10 Mar 2012 12:53:33 -0500
parents ea292bf9431f
children 27e731a65934
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Mar 03 16:41:20 2012 -0500
+++ b/src/cjr_print.sml	Sat Mar 10 12:53:33 2012 -0500
@@ -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 @@
                                   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,