blob: 3d2c7105304c4eb1d3c4e2bbeb0f7ad1fb104eaf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
datatype dlist = Nil | Cons of string * source dlist
fun delist dl =
case dl of
Nil => <xml>[]</xml>
| Cons (x, s) => <xml>{[x]} <ctextbox/> :: {delistSource s}</xml>
and delistSource s = <xml><dyn signal={dl <- signal s; return (delist dl)}/></xml>
fun main () : transaction page =
tail0 <- source Nil;
tail <- source tail0;
tb <- source "";
return <xml><body>
{delist (Cons ("ROOT", tail0))}
<br/>
<ctextbox source={tb}/>
<button value="Add" onclick={hd <- get tb;
tl <- source Nil;
old <- get tail;
set old (Cons (hd, tl));
set tail tl}/>
<button value="Reset" onclick={set tail0 Nil; set tail tail0}/>
</body></xml>
|
