[Ur] Set / Update values within a structure

[Adam Chlipala]

You can register a callback that, when called, reads another callback 
out of a [source] and calls it.  Is that sufficient?

On 11/10/2017 04:19 PM, Nitin Surana 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 
> <mailto: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.
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20171110/5727417a/attachment.html>