Mercurial > urweb

comparison demo/listFun.ur @ 400:e756d3a47726

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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}/>