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 <[email protected]
<mailto:[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
