view tests/dynList.ur @ 2045:534577e429e1

Added javascript for Basis.strsindex
author Samuel Dukhovni <dukhovni@mit.edu>
date Mon, 28 Jul 2014 20:18:43 -0400
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