Mercurial > urweb

comparison demo/listFun.ur @ 399:2d64457eedb1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
listFun uses length
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 13:41:03 -0400
parents ab3177746c78
children e756d3a47726
comparison
equal deleted inserted replaced
398:ab3177746c78 399:2d64457eedb1
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 Length: {[length ls]}<br/>
16 <br/>
15 17
16 <form> 18 <form>
17 Add element: <textbox{#X}/> <submit action={cons ls}/> 19 Add element: <textbox{#X}/> <submit action={cons ls}/>
18 </form> 20 </form>
19 </body></xml> 21 </body></xml>