summaryrefslogtreecommitdiff
path: root/demo/crud.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-06-02 15:35:58 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-06-02 15:35:58 -0400
commitf734c97cc7f02a8ada114be16779991b59e6761e (patch)
tree1e06ff6455bda35dc28fb3f9601270a7f91cdc2e /demo/crud.ur
parentb0d857842e340ff23af2fc398617c9d3cf3a3dcb (diff)
Track whether SQL expressions may use window functions, in preparation for actual window function support
Diffstat (limited to 'demo/crud.ur')
-rw-r--r--demo/crud.ur4
1 files changed, 2 insertions, 2 deletions
diff --git a/demo/crud.ur b/demo/crud.ur
index 4d2753ea..0222e30f 100644
--- a/demo/crud.ur
+++ b/demo/crud.ur
@@ -93,7 +93,7 @@ functor Make(M : sig
id <- nextval seq;
dml (insert tab
(@foldR2 [snd] [colMeta]
- [fn cols => $(map (fn t => sql_exp [] [] [] t.1) cols)]
+ [fn cols => $(map (fn t => sql_exp [] [] [] disallow_window t.1) cols)]
(fn [nm :: Name] [t ::_] [rest ::_] [[nm] ~ rest] =>
fn input col acc => acc ++ {nm = @sql_inject col.Inject (col.Parse input)})
{} M.fl inputs M.cols
@@ -110,7 +110,7 @@ functor Make(M : sig
fun save (inputs : $(map snd M.cols)) =
dml (update [map fst M.cols]
(@foldR2 [snd] [colMeta]
- [fn cols => $(map (fn t => sql_exp [T = [Id = int] ++ map fst M.cols] [] [] t.1) cols)]
+ [fn cols => $(map (fn t => sql_exp [T = [Id = int] ++ map fst M.cols] [] [] disallow_window t.1) cols)]
(fn [nm :: Name] [t ::_] [rest ::_] [[nm] ~ rest] =>
fn input col acc => acc ++ {nm =
@sql_inject col.Inject (col.Parse input)})