[Ur] Javascript alerts

[Adam Chlipala]

That sounds pretty conclusively like a bug in Ur/Web itself somewhere, 
if you aren't using the FFI!  However, I see that your application /is/ 
using the FFI. ;-)

It would be very helpful if you could try to isolate the problem to a 
test case that doesn't use the FFI.

On 08/02/2016 10:43 AM, Saulo Araujo wrote:
> Hi,
>
> I have developed a GUI with a lot of push pin buttons that are 
> associated to boolean sources. When the button is pushed, it sets its 
> source to true. When the button is released, it sets its source to 
> false. The problem I am facing is that after pressing those buttons 
> some times, the JavaScript runtime is showing alerts saying:
>
> cannot read properties _sources of null
> cannot read property c of undefined
>
> Is this a bug in the JavaScript runtime?
>
> I did not have time to try to isolate the code that trigger the alerts 
> yet. In any case, the complete code is available in 
> https://github.com/saulo2/timesheet-ur/blob/master/timesheet.ur
>
> Sincerely,
> Saulo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160802/c296bd6b/attachment.html>