annotate tests/transact.ur @ 2153:39bd1d4007a9

Apply syntax sugar for 'class' attribute to <form> as well
author Adam Chlipala <adam@chlipala.net>
date Mon, 08 Jun 2015 11:11:46 -0400
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>