summaryrefslogtreecommitdiff
path: root/tests/both.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/both.ur
parent92ef621511425ae4ffb2873f4ce9d31ad0f0ed5d (diff)
Better error message for link-handler conflicts
Diffstat (limited to 'tests/both.ur')
-rw-r--r--tests/both.ur9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/both.ur b/tests/both.ur
new file mode 100644
index 00000000..d1c9f40e
--- /dev/null
+++ b/tests/both.ur
@@ -0,0 +1,9 @@
+fun main () : transaction page = return <xml>
+ <body>
+ <form>
+ <textbox{#Text}/><submit action={submit}/>
+ </form>
+ </body>
+</xml>
+
+and submit r = return <xml/>