annotate tests/transact.ur @ 2288:98f96a976ede

Finish locking, but it's not yet tested rigorously.
author Ziv Scully <ziv@mit.edu>
date Fri, 13 Nov 2015 11:03:09 -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>