From f4dab2b31d11cc6957c1a64a3ffe6261816d96d4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 Jun 2012 15:35:58 -0400 Subject: Track whether SQL expressions may use window functions, in preparation for actual window function support --- demo/batchFun.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/batchFun.ur') diff --git a/demo/batchFun.ur b/demo/batchFun.ur index d69d68af..69a68423 100644 --- a/demo/batchFun.ur +++ b/demo/batchFun.ur @@ -46,7 +46,7 @@ functor Make(M : sig fun add r = dml (insert t (@foldR2 [fst] [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] input col acc => acc ++ {nm = @sql_inject col.Inject input}) {} M.fl (r -- #Id) M.cols -- cgit v1.2.3