[Ur] callbacks from C FFI (again)

Adam Chlipala adamc at csail.mit.edu
Tue Jan 7 12:15:15 EST 2014


On 01/07/2014 10:46 AM, Sergey wrote:
> On 05.01.2014 22:10, Adam Chlipala wrote:
>> For simplicity's sake, what do you think of implementing the 
>> following two functions instead?
>> 1) clone context but don't start a transaction for it (note that this 
>> also opens a database connection, checks the schema, and creates 
>> prepared statements!)
>> 2) given a context and a URI, run the associated Ur/Web code in that 
>> context in a new transaction associated only with this operation
> Fine! I'll draft a patch and publish it.

Great, thanks!



More information about the Ur mailing list