annotate tests/dynList.ur @ 2033:ea0ecd5fa9df

Add locking to enforce atomicity of message sends from one transaction
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Jun 2014 14:39:31 -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