Hi Adam Thanks for responding. Is there any alternative to change the callback ? I want to trigger a urweb function defined within `let` block upon a javascript event. Since, the function is within `let` block (because it needs access to certain variables within the parent function), I'm unable to use execF(...) from javascript.
Also, is `ref` not supported in urweb ? Thanks On Fri, Nov 10, 2017 at 4:48 AM, Adam Chlipala <ad...@csail.mit.edu> wrote: > 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 > https://urldefense.proofpoint.com/v2/url?u=http-3A__www. > impredicative.com_cgi-2Dbin_mailman_listinfo_ur&d=DwIGaQ&c= > clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=fRXDP9LYNqdFgci7lxN2fw&m= > X8Ib40TF-qUD7bakiyGU9t4RAhizaUVZMC4hWQyT48Y&s=rYoIQIsMrBs_ > ryXBiGe6ZvYAeF7m5GICNRlSuX__A7w&e= > > -- Regards Nitin Surana MS Computer Science 323-690-6529
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur