Mercurial > urweb
diff tests/crud.ur @ 361:260b680a6a04
lform -> form
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 14 Oct 2008 16:41:48 -0400 |
| parents | c1e96b387115 |
| children | 24a31b35e08f |
line wrap: on
line diff
--- a/tests/crud.ur Tue Oct 14 16:37:43 2008 -0400 +++ b/tests/crud.ur Tue Oct 14 16:41:48 2008 -0400 @@ -54,7 +54,7 @@ fso <- oneOrNoRows (SELECT tab.{{mapT2T fstTT M.cols}} FROM tab WHERE tab.Id = {id}); case fso : (Basis.option {Tab : $(mapT2T fstTT M.cols)}) of None => return <xml><body>Not found!</body></xml> - | Some fs => return <xml><body><lform> + | Some fs => return <xml><body><form> {foldT2R2 [fstTT] [colMeta] [fn cols :: {(Type * Type)} => xml form [] (mapT2T sndTT cols)] (fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)}) [[nm] ~ rest] (v : t.1) (col : colMeta t) @@ -67,7 +67,7 @@ [M.cols] fs.Tab M.cols} <submit action={save id}/> - </lform></body></xml> + </form></body></xml> fun delete (id : int) = () <- dml (DELETE FROM tab WHERE Id = {id}); @@ -117,7 +117,7 @@ <br/> - <lform> + <form> {foldT2R [colMeta] [fn cols :: {(Type * Type)} => xml form [] (mapT2T sndTT cols)] (fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)}) [[nm] ~ rest] (col : colMeta t) (acc : xml form [] (mapT2T sndTT rest)) => <xml> @@ -128,7 +128,7 @@ [M.cols] M.cols} <submit action={create}/> - </lform> + </form> </body></xml> end