From 92865c5cf94bde77b7250450042e915a48e0025d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 13 Sep 2008 19:49:53 -0400 Subject: queryX --- tests/crud.ur | 21 ++++++--------------- 1 file changed, 6 insertions(+), 15 deletions(-) (limited to 'tests/crud.ur') diff --git a/tests/crud.ur b/tests/crud.ur index 95d2d4b9..7f0fc71c 100644 --- a/tests/crud.ur +++ b/tests/crud.ur @@ -14,10 +14,9 @@ end) = struct open constraints M val tab = M.tab -fun list () = - rows <- query (SELECT * FROM tab AS T) - (fn (fs : {T : $([Id = int] ++ M.cols)}) acc => return - {acc} +fun main () : transaction page = + rows <- queryX (SELECT * FROM tab AS T) + (fn (fs : {T : $([Id = int] ++ M.cols)}) => {txt _ fs.T.Id} {foldTRX2 [idT] [colMeta'] [tr] @@ -28,13 +27,13 @@ fun list () = ) [M.cols] (fs.T -- #Id) M.cols} - ) ; + ); return - List + {cdata M.title} -

List

{cdata M.title}

@@ -42,12 +41,4 @@ fun list () =

ID

-fun main () : transaction page = return - {cdata M.title} - -

{cdata M.title}

- -

List all rows

- - end -- cgit v1.2.3