Mercurial > urweb

fun main () =
    b <- source True;
    let
        fun textboxList xs = <xml>
          <table>
            {List.mapX (fn src => <xml><tr>
              <td dynClass={return null} dynStyle={b <- signal b;
                                                   if b then
                                                       return (STYLE "width: 500px")
                                                   else
                                                       return (STYLE "width: 100px")}>
                <ctextbox source={src}/>
            </td></tr></xml>) xs}
          </table>
        </xml>
    in
        s <- source "foo";
        return <xml><body>
          <ccheckbox source={b}/>
          {textboxList (s :: s :: [])}
        </body></xml>
    end
author	Adam Chlipala <adam@chlipala.net>
date	Fri, 26 Dec 2014 12:30:22 -0500
parents	2b2d07946e65
children