Mercurial > urweb

comparison tests/dlist.ur @ 604:20c083327364

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add dynamic content under proper parents
author Adam Chlipala <adamc@hcoop.net>
date Sat, 17 Jan 2009 09:47:30 -0500
parents b1064de2b1f9
children
comparison
equal deleted inserted replaced
603:b1064de2b1f9 604:20c083327364
1 datatype dlist = Nil | Cons of string * source dlist 1 datatype dlist = Nil | Cons of string * source dlist
2 2
3 fun delist dl = 3 fun delist dl =
4 case dl of 4 case dl of
5 Nil => <xml>[]</xml> 5 Nil => <xml>[]</xml>
6 | Cons (x, s) => <xml>{[x]} :: {delistSource s}</xml> 6 | Cons (x, s) => <xml>{[x]} :: ({delistSource s})</xml>
7 7
8 and delistSource s = <xml><dyn signal={dl <- signal s; return (delist dl)}/></xml> 8 and delistSource s = <xml><dyn signal={dl <- signal s; return (delist dl)}/></xml>
9 9
10 fun main () : transaction page = 10 fun main () : transaction page =
11 ns <- source Nil; 11 ns <- source Nil;