Mercurial > urweb
comparison demo/listFun.ur @ 400:e756d3a47726
Fix a nasty driver bug, involving memory restarts and marked-up request strings
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 13:54:48 -0400 |
parents | 2d64457eedb1 |
children | 7ef4b2911b09 |
comparison
equal
deleted
inserted
replaced
399:2d64457eedb1 | 400:e756d3a47726 |
---|---|
10 Nil => <xml>[]</xml> | 10 Nil => <xml>[]</xml> |
11 | Cons (x, ls') => <xml>{[M.toString x]} :: {toXml ls'}</xml> | 11 | Cons (x, ls') => <xml>{[M.toString x]} :: {toXml ls'}</xml> |
12 | 12 |
13 fun console (ls : list M.t) = return <xml><body> | 13 fun console (ls : list M.t) = return <xml><body> |
14 Current list: {toXml ls}<br/> | 14 Current list: {toXml ls}<br/> |
15 Reversed list: {toXml (rev ls)}<br/> | |
15 Length: {[length ls]}<br/> | 16 Length: {[length ls]}<br/> |
16 <br/> | 17 <br/> |
17 | 18 |
18 <form> | 19 <form> |
19 Add element: <textbox{#X}/> <submit action={cons ls}/> | 20 Add element: <textbox{#X}/> <submit action={cons ls}/> |