[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