Mercurial > urweb

view tests/rpc2.ur @ 1881:a5b08bdfa450

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New header file scheme to support FFI code in either of C or C++ [based on suggestion by Ron de Bruijn]
author Adam Chlipala <adam@chlipala.net>
date Fri, 11 Oct 2013 17:15:28 -0400
parents c5991cdb0c4b
children
line wrap: on
line source
sequence s
sequence s2

fun dint src = n <- signal src; return <xml>{[n]}</xml>

fun main () : transaction page =
    let
        fun getNext () =
            n <- nextval s;
            n2 <- nextval s2;
            return (n, n2)
    in
        src1 <- source 0;
        src2 <- source 0;
        return <xml><body>
          <button value="Get It On!"
                  onclick={p <- getNext ();
                           case p of
                               (n1, n2) => set src1 n1;
                                           set src2 n2}/>
          <br/>
          Current1: <dyn signal={dint src1}/>
          Current2: <dyn signal={dint src2}/>
        </body></xml>
    end