diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-06-03 11:29:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-06-03 11:29:31 -0400 |
| commit | 797db05343b520b16ea4f8eeab5fea6255d3284d (patch) | |
| tree | deacf0a9ebedccbc3e22fdb143c51d3dcc153a5b /demo/batchFun.ur | |
| parent | 858481a426ea3873440c3bed30eb563f8cf3480e (diff) | |
Lighter-weight encoding of window function use
Diffstat (limited to 'demo/batchFun.ur')
| -rw-r--r-- | demo/batchFun.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/batchFun.ur b/demo/batchFun.ur index 69a68423..d69d68af 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 [] [] [] 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 |