diff tests/headDyn.ur @ 1729:6817ddd6cf1f

Avoid generating empty <script> tags
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Apr 2012 09:52:16 -0400
parents 95d3b4f26f59
children
line wrap: on
line diff
--- a/tests/headDyn.ur	Fri Apr 27 09:43:09 2012 -0400
+++ b/tests/headDyn.ur	Fri Apr 27 09:52:16 2012 -0400
@@ -8,3 +8,13 @@
         <dyn signal={signal x}/>
       </body>
     </xml>
+
+fun main2 () : transaction page =
+    return <xml>
+      <head>
+        <title>Test</title>
+      </head>
+      <body>
+        <button onclick={alert "Hi"}/>
+      </body>
+    </xml>