2010/9/5 Adam Chlipala ad...@impredicative.com:
I've started implementing this. Everything works, save that the semantics
differs between Postgres and MySQL/SQLite. Postgres won't let you continue
using a transaction after one command has failed, whereas MySQL and SQLite
allow many errors
Vladimir Shabanov wrote:
So savepoint will be introduced only where it really needed (dml with
user error handling)? I think that this is the best solution.
Yes, that's what I meant.
BTW it can be useful to have function for cancelling (and maybe
restarting) transaction as a part of
Vladimir Shabanov wrote:
So savepoint will be introduced only where it really needed (dml with
user error handling)? I think that this is the best solution.
Yes, that's what I meant.
BTW it can be useful to have function for cancelling (and maybe
restarting) transaction as a part of
