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)