2010/9/6 Adam Chlipala <[email protected]>: > Vladimir Shabanov wrote: >> BTW it can be useful to have function for cancelling (and maybe >> restarting) transaction as a part of error handling. >> > > In Ur/Web, transactions are used for all state, not just the database. I > would want to have a reasonable integration of transaction restart with all > kinds of state, which can include arbitrary protocols thanks to C FFI > libraries. That would complicate the FFI, so I'll leave this out for now. > If a compelling use case comes up, let me know.
Do you mean that things like "set my_source new_value" will also roll back on transaction error? _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
