Mercurial > urweb

comparison tests/crud.ur @ 346:a94a79820d49

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small clean-ups in crud; Compiler.check
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Oct 2008 15:54:03 -0400
parents f55034419a07
children c1e96b387115
comparison
equal deleted inserted replaced
345:b85e6ba56618 346:a94a79820d49
78 <p>Are you sure you want to delete ID #{txt _ id}?</p> 78 <p>Are you sure you want to delete ID #{txt _ id}?</p>
79 79
80 <p><a link={delete id}>I was born sure!</a></p> 80 <p><a link={delete id}>I was born sure!</a></p>
81 </body></html> 81 </body></html>
82 82
83 fun main () : transaction page = 83 fun main () =
84 rows <- queryX (SELECT * FROM tab AS T) 84 rows <- queryX (SELECT * FROM tab AS T)
85 (fn (fs : {T : $([Id = int] ++ mapT2T fstTT M.cols)}) => <body> 85 (fn (fs : {T : $([Id = int] ++ mapT2T fstTT M.cols)}) => <body>
86 <tr> 86 <tr>
87 <td>{txt _ fs.T.Id}</td> 87 <td>{txt _ fs.T.Id}</td>
88 {foldT2RX2 [fstTT] [colMeta] [tr] 88 {foldT2RX2 [fstTT] [colMeta] [tr]