summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2016-03-30 15:39:02 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2016-03-30 15:39:02 -0400
commit12783217508fd87c962a2d4871c6d3dbbcf58dee (patch)
tree3cb5a9a7f8b7764e32493d6d13efe886b02e398a /tests
parent1a9520d6e00c63baca356d7e6aa2acc7424148bb (diff)
At runtime, catch when we exceed 'limit inputs'
Diffstat (limited to 'tests')
-rw-r--r--tests/formLimit.ur11
-rw-r--r--tests/formLimit.urp4
-rw-r--r--tests/formLimit.urs1
3 files changed, 16 insertions, 0 deletions
diff --git a/tests/formLimit.ur b/tests/formLimit.ur
new file mode 100644
index 00000000..d591f736
--- /dev/null
+++ b/tests/formLimit.ur
@@ -0,0 +1,11 @@
+fun handler r = return <xml><body>
+ {[r.A]}, {[r.B]}
+</body></xml>
+
+fun main () = return <xml><body>
+ <form>
+ <textbox{#A}/>
+ <textbox{#B}/>
+ <submit action={handler}/>
+ </form>
+</body></xml>
diff --git a/tests/formLimit.urp b/tests/formLimit.urp
new file mode 100644
index 00000000..3fd7e5c3
--- /dev/null
+++ b/tests/formLimit.urp
@@ -0,0 +1,4 @@
+rewrite all FormLimit/*
+limit inputs 1
+
+formLimit
diff --git a/tests/formLimit.urs b/tests/formLimit.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/formLimit.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page