blob: a62dbf23ac05d2978441b62a8403f7c955ed3504 (
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
26
27
28
29
|
fun dn [a] (_ : show a) (x : source a) : xbody = <xml>
<dyn signal={v <- signal x; return (txt v)}/>
</xml>
fun main () : transaction page =
a <- source "";
b <- source True;
c <- source "a@b";
d <- source "";
e <- source "";
f <- source "";
return <xml><body>
<ctextbox source={a}/>
<ccheckbox source={b}/>
<cemail source={c}/>
<curl source={d}/>
<ctel source={e}/>
<csearch source={f}/>
<hr/>
{dn a};
{dn b};
{dn c};
{dn d};
{dn e};
{dn f}
</body></xml>
|
