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