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 <[email protected]
<mailto:[email protected]>> 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
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
