[Ur] Javascript alerts

[Saulo Araujo]

Hi Adam,

I removed all traces of FFI from the project (the directive lessSafeFfi in
the urp file and the declaration and the invocation of the foreign function
blur in the ur file), but the problem continues. Later I am gonna try to
make a simpler test case.

Sincerely
Saulo

On Tue, Aug 2, 2016 at 4:53 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:

> 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
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160802/e4aea02b/attachment.html>