Mercurial > urweb
annotate tests/transact.ur @ 2123:1218daa14279
Document new infix operators
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 05 Mar 2015 14:58:34 -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> |