summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-13 19:49:53 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-13 19:49:53 -0400
commit92865c5cf94bde77b7250450042e915a48e0025d (patch)
tree356d6e919b861559a016a13aeedc5a32fac63dd3 /tests
parenta5a647f670f8e2fa7749e29aee39e2511afb2a21 (diff)
queryX
Diffstat (limited to 'tests')
-rw-r--r--tests/crud.ur21
1 files changed, 6 insertions, 15 deletions
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 <body>
- {acc}
+fun main () : transaction page =
+ rows <- queryX (SELECT * FROM tab AS T)
+ (fn (fs : {T : $([Id = int] ++ M.cols)}) => <body>
<tr>
<td>{txt _ fs.T.Id}</td>
{foldTRX2 [idT] [colMeta'] [tr]
@@ -28,13 +27,13 @@ fun list () =
</tr>)
[M.cols] (fs.T -- #Id) M.cols}
</tr>
- </body>) <body></body>;
+ </body>);
return <html><head>
- <title>List</title>
+ <title>{cdata M.title}</title>
</head><body>
- <h1>List</h1>
+ <h1>{cdata M.title}</h1>
<table border={1}>
<tr> <th>ID</th> </tr>
@@ -42,12 +41,4 @@ fun list () =
</table>
</body></html>
-fun main () : transaction page = return <html><head>
- <title>{cdata M.title}</title>
- </head><body>
- <h1>{cdata M.title}</h1>
-
- <li> <a link={list ()}>List all rows</a></li>
-</body></html>
-
end