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 | 85ce956f28fd9715d1c943a9f02e5fdde00d2d01 (patch) | |
| tree | 8916c74bf31d44a9de1144f76b6a44a313520c21 /tests/overflow.ur | |
| parent | 236387604322b81260110f93be57762eac3ef20b (diff) | |
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)
Diffstat (limited to 'tests/overflow.ur')
| -rw-r--r-- | tests/overflow.ur | 8 |
1 files changed, 8 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> |