annotate demo/more/select.ur @ 1083:2eb585274501
Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional()
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Wed, 23 Dec 2009 12:25:34 -0500 |
| parents |
e46227efcbba |
| children |
|
| rev |
line source |
|
adamc@1023
|
1 fun selectChar choices current =
|
|
adamc@1023
|
2 List.mapX (fn (ch, label) =>
|
|
adamc@1023
|
3 <xml><option value={String.str ch} selected={current = Some ch}>{[label]}</option></xml>) choices
|
