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: