<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">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?<br>
</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">On 10/24/18 12:05 AM, Aistis
Raulinaitis wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAKzB5bX-L8d86hSDEC7OEMVmMPSUD7M+DF2wHrj533a9rXkq6g@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div>Adam, <br>
</div>
<div><br>
</div>
<div>Yes, I've noticed ignored `onload` on tags other than
`body`. <br>
</div>
<div><br>
</div>
<div>It would be good to have a type error or allowing it more
broadly.</div>
<div><br>
</div>
<div>Aistis<br>
</div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr">On Mon, Oct 22, 2018 at 11:41 AM Adam Chlipala
<<a href="mailto:adamc@csail.mit.edu"
moz-do-not-send="true">adamc@csail.mit.edu</a>> wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
<div class="m_-56428009462031281moz-cite-prefix">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!<br>
</div>
<div class="m_-56428009462031281moz-cite-prefix"><br>
</div>
<div class="m_-56428009462031281moz-cite-prefix">On 7/5/18
2:05 PM, Adam Chlipala wrote:<br>
</div>
<blockquote type="cite"> On 07/05/2018 01:43 PM, Fabrice
Leal wrote:<br>
<blockquote type="cite">
<div dir="ltr"><span style="color:rgb(0,0,0);white-space:pre-wrap">I found out too late for my own good that onload only works for <body>, placing it in a <div> as no effect</span></div>
</blockquote>
<br>
Oh, I didn't realize that some event attribute was
systematically ignored. That might qualify as a bug!</blockquote>
</div>
</blockquote>
</div>
</blockquote>
<br>
</body>
</html>