[Ur] Set / Update values within a structure

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


Here is the associated stackoverflow question :

https://stackoverflow.com/questions/47230123/how-to-associate-a-getter-setter-with-a-sml-structure/47230248#47230248

On Fri, Nov 10, 2017 at 1:19 PM, Nitin Surana <nsurana at usc.edu> wrote:

> 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.impr
>> edicative.com_cgi-2Dbin_mailman_listinfo_ur&d=DwIGaQ&c=clK7k
>> QUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=fRXDP9LYNqdFgci7lxN
>> 2fw&m=X8Ib40TF-qUD7bakiyGU9t4RAhizaUVZMC4hWQyT48Y&s=
>> rYoIQIsMrBs_ryXBiGe6ZvYAeF7m5GICNRlSuX__A7w&e=
>>
>>
>
>
> --
> Regards
> Nitin Surana
> MS Computer Science
> 323-690-6529 <(323)%20690-6529>
>
>


-- 
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/1a0e132e/attachment.html>


More information about the Ur mailing list