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
commit13d3b41094079577a858394088ddbf74e56c780d (patch)
tree9c1550161f62841c83d9b8ccb39a6756305737b8 /tests/both2.ur
parente3e85099d748fb60653ed1f8d7ad06831ef490b7 (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
+
+