adamc@639: datatype list t = Nil | Cons of t * list t
adamc@639:
adamc@639: table t : {A : int}
adamc@639:
adamc@639: fun main () : transaction page =
adamc@639: let
adamc@639: fun rows () =
adamc@639: query (SELECT * FROM t)
adamc@639: (fn r ls => return (Cons (r.T.A, ls)))
adamc@639: Nil
adamc@639:
adamc@639: fun show ls =
adamc@639: case ls of
adamc@639: Nil =>
adamc@639: | Cons (x, ls') => {[x]} {show ls'}
adamc@639: in
adamc@639: s <- source Nil;
adamc@639: return
adamc@639:
adamc@639:
adamc@639: Current:
adamc@639:
adamc@639: end