blob: 13293b83a57421ddb96b3cb254d64d55b3d5ced9 (
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
|
datatype list t = Nil | OtherNil | Cons of t * list t
table t : {A : int}
fun main () : transaction page =
let
fun rows () =
query (SELECT * FROM t)
(fn r ls => return (Cons (r.T.A, ls)))
Nil
fun show ls =
case ls of
Nil => <xml/>
| OtherNil => <xml>That's impossible!</xml>
| Cons (x, ls') => <xml>{[x]}<br/>{show ls'}</xml>
in
s <- source Nil;
return <xml><body>
<button value="Get It On!"
onclick={ls <- rows ();
set s ls}/><br/>
<br/>
Current: <dyn signal={ls <- signal s; return (show ls)}/>
</body></xml>
end
|
