Mercurial > urweb
comparison lib/basis.urs @ 302:bc89dfdbc495
Parsing INSERT
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 14:07:10 -0400 |
parents | cde1ec47f3af |
children | 7204fab29486 |
comparison
equal
deleted
inserted
replaced
301:54282db31a9b | 302:bc89dfdbc495 |
---|---|
203 type dml | 203 type dml |
204 val dml : dml -> transaction unit | 204 val dml : dml -> transaction unit |
205 | 205 |
206 val insert : fields ::: {Type} | 206 val insert : fields ::: {Type} |
207 -> sql_table fields | 207 -> sql_table fields |
208 -> $fields | 208 -> $(fold (fn nm (t :: Type) acc => [nm] ~ acc => |
209 [nm = sql_exp [T = fields] [] [] t] ++ acc) [] fields) | |
209 -> dml | 210 -> dml |
210 | 211 |
211 val update : changed ::: {Type} -> unchanged ::: {Type} -> changed ~ unchanged | 212 val update : changed ::: {Type} -> unchanged ::: {Type} -> changed ~ unchanged |
212 -> $changed | 213 -> $changed |
213 -> sql_table (changed ++ unchanged) | 214 -> sql_table (changed ++ unchanged) |