[Ur] calling javascript code in <dyn>

Mon Oct 22 14:40:36 EDT 2018

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/20181022/33e33102/attachment.html>