Mercurial > urweb

view tests/rpcDD.ur @ 1908:ab1a3737b306

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make clean: Clean bin/mlton, src/urweb.mlton.lex, src/urweb.mlton.grm Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 63b0bcacd535
children
line wrap: on
line source
datatype list t = Nil | OtherNil | Cons of t * list t

table t : {A : int}

fun main () : transaction page =
    let
        fun rows () =
            query (SELECT * FROM t)
            (fn r ls => return (Cons (r.T.A, ls)))
            Nil

        fun show ls =
            case ls of
                Nil => <xml/>
              | OtherNil => <xml>That's impossible!</xml>
              | Cons (x, ls') => <xml>{[x]}<br/>{show ls'}</xml>
    in
        s <- source Nil;
        return <xml><body>
          <button value="Get It On!"
                  onclick={ls <- rows ();
                           set s ls}/><br/>
          <br/>
          Current: <dyn signal={ls <- signal s; return (show ls)}/>
        </body></xml>
    end