Mercurial > urweb
diff demo/crud.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 |
line wrap: on
line diff
--- a/demo/crud.ur Sat Jun 02 16:47:09 2012 -0400 +++ b/demo/crud.ur Sun Jun 03 11:29:31 2012 -0400 @@ -93,7 +93,7 @@ id <- nextval seq; dml (insert tab (@foldR2 [snd] [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] => fn input col acc => acc ++ {nm = @sql_inject col.Inject (col.Parse input)}) {} M.fl inputs M.cols @@ -110,7 +110,7 @@ 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] [] [] disallow_window t.1) cols)] + [fn cols => $(map (fn t => sql_exp [T = [Id = int] ++ map fst M.cols] [] [] t.1) cols)] (fn [nm :: Name] [t ::_] [rest ::_] [[nm] ~ rest] => fn input col acc => acc ++ {nm = @sql_inject col.Inject (col.Parse input)})