annotate tests/transact.ur @ 1422:07ef5771568d

Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Feb 2011 16:54:01 -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>