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 <[email protected]> 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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
