Mercurial > urweb
comparison tests/crud.ur @ 346:a94a79820d49
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] |