Mercurial > urweb
diff demo/batchFun.ur @ 1778:818d4097e2ed
Lighter-weight encoding of window function use
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 03 Jun 2012 11:29:31 -0400 |
parents | 6bc2a8cb3a67 |
children | e6bc6bbd7a32 |
line wrap: on
line diff
--- a/demo/batchFun.ur Sat Jun 02 16:47:09 2012 -0400 +++ b/demo/batchFun.ur Sun Jun 03 11:29:31 2012 -0400 @@ -46,7 +46,7 @@ fun add r = dml (insert t (@foldR2 [fst] [colMeta] - [fn cols => $(map (fn t => sql_exp [] [] [] disallow_window t.1) cols)] + [fn cols => $(map (fn t => sql_exp [] [] [] 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