<div dir="ltr">On the current public mercurial version, I've experienced the same problem.<br><br>To work around it, I created a single source that I never used; this caused the script tags to be included. Note that this was particularly odd given that I had "script" declarations in my .urp file, and they were also not included - maybe I'm not understanding how script declarations are supposed to work, but it surprised me.<br>
<br>I haven't minimized it, but the project is online, and the particular lines / workaround are at:<br><br><a href="http://hub.darcs.net/dbp/dnplayer/browse/dn.ur#142">http://hub.darcs.net/dbp/dnplayer/browse/dn.ur#142</a><br>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Mar 9, 2013 at 2:17 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 03/09/2013 02:13 PM, Istvan Chung wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
If a page is created in which the only indicator that javascript must be<br>
used is the<body onload={...}> tag, then the compiler fails to<br>
recognize that it must insert the<script> tags in the head of the page.<br>
<br>
For example,<br>
<br>
fun main () =<br>
return<xml><br>
<head><br>
<title>Example</title><br>
</head><br>
<br>
<body onload={alert "Client-side code"}><br>
</body><br>
</xml><br>
<br>
does not alert anything because the application's script is not<br>
included.<br>
<br>
</blockquote>
<br></div>
Hm... I made a test case out of just your example 'main' function, and it works fine for me with the latest Ur/Web version from the public Mercurial repository. Is that the Ur/Web version you're using, too?<div class="HOEnZb">
<div class="h5"><br>
<br>
______________________________<u></u>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<u></u>cgi-bin/mailman/listinfo/ur</a><br>
</div></div></blockquote></div><br></div>