[Ur] calling javascript code in <dyn>

Wed Oct 24 00:05:38 EDT 2018

Adam,

Yes, I've noticed ignored `onload` on tags other than `body`.

It would be good to have a type error or allowing it more broadly.

Aistis

On Mon, Oct 22, 2018 at 11:41 AM Adam Chlipala <adamc at csail.mit.edu> wrote:

> Belated follow-up on this remark: now that I look at the types from the
> standard library, I see that 'onload' is statically disallowed for <div>
> and indeed most other tags.  Is that what you meant?  It could be
> reasonable to add 'onload' more widely, but currently including it for most
> tags should not have 'no effect'.  Instead, it should trigger type error
> messages!
>
> On 7/5/18 2:05 PM, Adam Chlipala wrote:
>
> On 07/05/2018 01:43 PM, Fabrice Leal wrote:
>
> I found out too late for my own good that onload only works for <body>,
> placing it in a <div> as no effect
>
>
> Oh, I didn't realize that some event attribute was systematically
> ignored.  That might qualify as a bug!
>
> _______________________________________________
> 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/20181023/1f28e1ac/attachment.html>