[Ur] calling javascript code in <dyn>

Wed Oct 24 08:55:36 EDT 2018

Sorry, just to be clear: to the best of my knowledge, type errors are 
already generated when trying to use 'onload' with tags other than 
<body>!  Is that not the case?

On 10/24/18 12:05 AM, Aistis Raulinaitis wrote:
> 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 
> <mailto: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!
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20181024/9186cd3a/attachment.html>