summaryrefslogtreecommitdiff
path: root/tests/both2.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 09:03:08 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 09:03:08 -0500
commit200bed939aed2ef51b4dce74cec6f6720fe8f7d7 (patch)
tree9c1550161f62841c83d9b8ccb39a6756305737b8 /tests/both2.ur
parent92ef621511425ae4ffb2873f4ce9d31ad0f0ed5d (diff)
Better error message for link-handler conflicts
Diffstat (limited to 'tests/both2.ur')
-rw-r--r--tests/both2.ur14
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/both2.ur b/tests/both2.ur
new file mode 100644
index 00000000..c3f25cc9
--- /dev/null
+++ b/tests/both2.ur
@@ -0,0 +1,14 @@
+fun main () : transaction page =
+ let
+ fun submit r = return <xml/>
+ in
+ return <xml>
+ <body>
+ <form>
+ <textbox{#Text}/><submit action={submit}/>
+ </form>
+ </body>
+ </xml>
+ end
+
+