[Ur] Body onload handlers do not cause scripts to be included
Adam Chlipala
adamc at csail.mit.edu
Sat Mar 9 14:17:47 EST 2013
On 03/09/2013 02:13 PM, Istvan Chung wrote:
> If a page is created in which the only indicator that javascript must be
> used is the<body onload={...}> tag, then the compiler fails to
> recognize that it must insert the<script> tags in the head of the page.
>
> For example,
>
> fun main () =
> return<xml>
> <head>
> <title>Example</title>
> </head>
>
> <body onload={alert "Client-side code"}>
> </body>
> </xml>
>
> does not alert anything because the application's script is not
> included.
>
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?
More information about the Ur
mailing list