Mercurial > urweb
annotate tests/dynList.ur @ 2177:00cf8214c2e3
Switching to a more dynamic method of handling database reconnection, restarting transactions
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 17 Oct 2015 11:08:12 -0400 |
parents | 2b2d07946e65 |
children |
rev | line source |
---|---|
adam@2012 | 1 fun main () = |
adam@2012 | 2 b <- source True; |
adam@2012 | 3 let |
adam@2012 | 4 fun textboxList xs = <xml> |
adam@2012 | 5 <table> |
adam@2012 | 6 {List.mapX (fn src => <xml><tr> |
adam@2012 | 7 <td dynClass={return null} dynStyle={b <- signal b; |
adam@2012 | 8 if b then |
adam@2012 | 9 return (STYLE "width: 500px") |
adam@2012 | 10 else |
adam@2012 | 11 return (STYLE "width: 100px")}> |
adam@2012 | 12 <ctextbox source={src}/> |
adam@2012 | 13 </td></tr></xml>) xs} |
adam@2012 | 14 </table> |
adam@2012 | 15 </xml> |
adam@2012 | 16 in |
adam@2012 | 17 s <- source "foo"; |
adam@2012 | 18 return <xml><body> |
adam@2012 | 19 <ccheckbox source={b}/> |
adam@2012 | 20 {textboxList (s :: s :: [])} |
adam@2012 | 21 </body></xml> |
adam@2012 | 22 end |