Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/tests/crud.ur Sat Oct 04 15:50:28 2008 -0400 +++ b/tests/crud.ur Sat Oct 04 15:54:03 2008 -0400 @@ -80,7 +80,7 @@ <p><a link={delete id}>I was born sure!</a></p> </body></html> -fun main () : transaction page = +fun main () = rows <- queryX (SELECT * FROM tab AS T) (fn (fs : {T : $([Id = int] ++ mapT2T fstTT M.cols)}) => <body> <tr>