[Ur] RPC code doesn't use a named function or transaction

Adam Chlipala adamc at csail.mit.edu
Tue Oct 4 09:45:21 EDT 2016


On 10/04/2016 09:43 AM, Saulo Araujo wrote:
> It is possible to call a function stored in a record through rpc?

No, every function call that needs to go through a URL must be to a 
named function defined at the top level of some module.  The module 
structure is used to pick a persistent URL name for the function.



More information about the Ur mailing list