summaryrefslogtreecommitdiff
path: root/demo/crud.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-04 09:33:35 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-04 09:33:35 -0500
commit627c93b9779f632bd8d90e7e2de26a5a9c197f08 (patch)
treee40f2a8767966c59e146479de02ec297958fc3c3 /demo/crud.ur
parent24483b49c81a6ac1c99cd28ca3505150b5999863 (diff)
Nested demo
Diffstat (limited to 'demo/crud.ur')
-rw-r--r--demo/crud.ur8
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 ();