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.
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur