diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:31:37 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:31:37 -0400 |
commit | 18c72ec4eb9f53935a1a1d7145b919f8a8c8684e (patch) | |
tree | 8916c74bf31d44a9de1144f76b6a44a313520c21 /tests | |
parent | 949fe8f9ce90257cd354c2d19d611cbcc3b569ef (diff) |
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)
Diffstat (limited to 'tests')
-rw-r--r-- | tests/overflow.ur | 8 | ||||
-rw-r--r-- | tests/overflow.urp | 4 | ||||
-rw-r--r-- | tests/overflow.urs | 1 |
3 files changed, 13 insertions, 0 deletions
diff --git a/tests/overflow.ur b/tests/overflow.ur new file mode 100644 index 00000000..09edc5a3 --- /dev/null +++ b/tests/overflow.ur @@ -0,0 +1,8 @@ +fun makeList n = if n = 0 then [] else 1 :: makeList (n - 1) + +fun doit {N = n} = return <xml><body>{[List.length (makeList (readError n))]}</body></xml> + +fun main () = + return <xml><body> + <form> <textbox{#N}/> <submit action={doit}/> </form> + </body></xml> diff --git a/tests/overflow.urp b/tests/overflow.urp new file mode 100644 index 00000000..d0913876 --- /dev/null +++ b/tests/overflow.urp @@ -0,0 +1,4 @@ +rewrite all Overflow/* + +$/list +overflow diff --git a/tests/overflow.urs b/tests/overflow.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/tests/overflow.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |