[Ur] Set / Update values within a structure

[Adam Chlipala]

On 11/09/2017 10:42 PM, Harshita Kasera wrote:
> What I ultimately want to achieve is to be able to change the callback 
> function /debugMe/ at a later point of time. Is it possible to set or 
> update values within a structure at a later point of time?

No, module (structure) fields can't be modified at runtime in Ur/Web or 
ML.  Therefore, the module system is not the right tool for runtime 
rewriting of callbacks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20171110/a4d9cfbf/attachment.html>