annotate tests/transact.ur @ 1423:bd6c90f5a428

Fix some cookie-related bugs in MonoReduce
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Feb 2011 08:46:46 -0500
parents 1cc67fdac4d3
children
rev   line source
adam@1327 1 fun listHell n =
adam@1327 2 if n <= 0 then
adam@1327 3 []
adam@1327 4 else
adam@1327 5 n :: List.append (listHell (n-1)) (listHell (n-1))
adam@1327 6
adam@1327 7 fun doit r =
adam@1327 8 Transactional.foo;
adam@1327 9 return <xml>{[listHell (readError r.N)]}</xml>
adam@1327 10
adam@1327 11 fun main () = return <xml><body>
adam@1327 12 <form> <textbox{#N}/> <submit action={doit}/> </form>
adam@1327 13 </body></xml>