[Ur] Exceptions handling

[Vladimir Shabanov]

2010/9/6 Adam Chlipala <adamc at impredicative.com>:
> 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?