diff demo/more/select.ur @ 1023:e46227efcbba

Bidding interface
author Adam Chlipala <adamc@hcoop.net>
date Sun, 01 Nov 2009 10:20:20 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/more/select.ur	Sun Nov 01 10:20:20 2009 -0500
@@ -0,0 +1,3 @@
+fun selectChar choices current =
+    List.mapX (fn (ch, label) =>
+                  <xml><option value={String.str ch} selected={current = Some ch}>{[label]}</option></xml>) choices