diff tests/nestedInput.ur @ 2090:9a1547596712

Fix XML syntax for closing <input> tags
author Adam Chlipala <adam@chlipala.net>
date Thu, 18 Dec 2014 07:48:37 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/nestedInput.ur	Thu Dec 18 07:48:37 2014 -0500
@@ -0,0 +1,10 @@
+fun main () : transaction page =
+    let
+        fun handler _ = return <xml/>
+    in
+        return <xml><body>
+          <form>
+            <submit action={handler}>Uh oh!</submit>
+          </form>
+        </body></xml>
+    end