Mercurial > urweb

view tests/dynList.ur @ 2110:9e9c915f554c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Feb 2015 12:29:14 -0500
parents 2b2d07946e65
children
line wrap: on
line source
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