diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 13:51:07 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 13:51:07 -0400 |
commit | ee9276cde468bbf4f2ffa0cdad046501059bc4b9 (patch) | |
tree | a6bcef273eb9b4638f01f1aa99fe867de2be7c5e /lib/basis.urs | |
parent | 725ce6746ebcd76fc3a8c7aa3248805493d71fa0 (diff) |
Elaborated 'update'
Diffstat (limited to 'lib/basis.urs')
-rw-r--r-- | lib/basis.urs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index 4cd2f6da..ff5c2163 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -209,8 +209,8 @@ val insert : fields ::: {Type} -> dml val update : changed ::: {Type} -> unchanged ::: {Type} -> changed ~ unchanged - -> sql_table (changed ++ unchanged) -> $changed + -> sql_table (changed ++ unchanged) -> sql_exp [T = changed ++ unchanged] [] [] bool -> dml |