annotate tests/transact.ur @ 1747:9b54fbe1efdb

Adjust error message format to match Emacs defaults
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 May 2012 19:57:54 -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>