[Ur] Set / Update values within a structure

Nitin Surana nsurana at usc.edu
Fri Nov 10 16:19:21 EST 2017


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 <adamc at 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 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20171110/51d874b8/attachment.html>


More information about the Ur mailing list