[Ur] Javascript alerts

Adam Chlipala adamc at csail.mit.edu
Mon Aug 8 13:50:08 EDT 2016


I think I've fixed the Ur/Web bug now.  At least, your example now works 
as I'd expect.

Thanks for taking the time to minimize the example.  Despite the short 
fix, the problem was enough work to deduce in the minimized code. :)

On 08/04/2016 08:22 AM, Saulo Araujo wrote:
> Hi Adam,
>
> It took me some time, but after a lot of code removal (FFI, database 
> and logic) I believe I have a small test case that shows the bug. You 
> can get it with the command
>
> git clone -b bug https://github.com/saulo2/timesheet-ur.git
>
> To reproduce the bug, follow the steps below:
>
> 1) click the first button (a list of other buttons will be shown below 
> the first button)
> 2) click the button associated to "Project 1"
> 3) click the first button again (the list of buttons will be hidden)
> 4) click the first button one last time (a JavaScript alert saying 
> "Failed to execute append child on Node..." will be shown)
>
> Also, I found out that if you change line 76 from
>
> <button dynClass={dynClass} onclick={onclick}>
>
> to
>
> <button onclick={onclick}>
>
> the bug does not show up. Therefore, maybe the bug is related to the 
> dynClass JavaScript function.
>
> If is there anything else that I can do to help, please let me know.
>
> Sincerely,
> Saulo



More information about the Ur mailing list