Mercurial > urweb
comparison tests/dlist.ur @ 604:20c083327364
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; |