diff demo/batchFun.ur @ 1775:6bc2a8cb3a67

Track whether SQL expressions may use window functions, in preparation for actual window function support
author Adam Chlipala <adam@chlipala.net>
date Sat, 02 Jun 2012 15:35:58 -0400
parents 68429cfce8db
children 818d4097e2ed
line wrap: on
line diff
--- a/demo/batchFun.ur	Sat Jun 02 10:54:49 2012 -0400
+++ b/demo/batchFun.ur	Sat Jun 02 15:35:58 2012 -0400
@@ -46,7 +46,7 @@
     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