diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-04 09:33:35 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-04 09:33:35 -0500 |
| commit | 627c93b9779f632bd8d90e7e2de26a5a9c197f08 (patch) | |
| tree | e40f2a8767966c59e146479de02ec297958fc3c3 /demo/crud.ur | |
| parent | 24483b49c81a6ac1c99cd28ca3505150b5999863 (diff) | |
Nested demo
Diffstat (limited to 'demo/crud.ur')
| -rw-r--r-- | demo/crud.ur | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/demo/crud.ur b/demo/crud.ur index 77fccf16..ee6a95f6 100644 --- a/demo/crud.ur +++ b/demo/crud.ur @@ -100,9 +100,9 @@ functor Make(M : sig sql_exp [] [] [] t.1) cols)] (fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)}) [[nm] ~ rest] => - fn input col acc => acc with nm = @sql_inject col.Inject (col.Parse input)) + fn input col acc => acc ++ {nm = @sql_inject col.Inject (col.Parse input)}) {} [M.cols] inputs M.cols - with #Id = (SQL {id}))); + ++ {Id = (SQL {id})})); ls <- list (); return <xml><body> <p>Inserted with ID {[id]}.</p> @@ -119,8 +119,8 @@ functor Make(M : sig [] [] t.1) cols)] (fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)}) [[nm] ~ rest] => - fn input col acc => acc with nm = - @sql_inject col.Inject (col.Parse input)) + fn input col acc => acc ++ {nm = + @sql_inject col.Inject (col.Parse input)}) {} [M.cols] inputs M.cols) tab (WHERE T.Id = {id})); ls <- list (); |