diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2016-03-30 15:39:02 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2016-03-30 15:39:02 -0400 |
| commit | 12783217508fd87c962a2d4871c6d3dbbcf58dee (patch) | |
| tree | 3cb5a9a7f8b7764e32493d6d13efe886b02e398a /tests | |
| parent | 1a9520d6e00c63baca356d7e6aa2acc7424148bb (diff) | |
At runtime, catch when we exceed 'limit inputs'
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/formLimit.ur | 11 | ||||
| -rw-r--r-- | tests/formLimit.urp | 4 | ||||
| -rw-r--r-- | tests/formLimit.urs | 1 |
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 |