[Ur] Indicating failure in uw_register_transactional callbacks

Adam Chlipala adamc at impredicative.com
Tue May 31 09:14:57 EDT 2011


Chris Double wrote:
> In the commit callback that's passed to uw_register_transactional how
> does one indicate failure of the transaction? I can't call uw_error
> since that requires a context and I don't have one.
>    

I've updated the manual with the answer to this question: call 
uw_set_error_message().



More information about the Ur mailing list