blob: c84a6d6cd4ffd31b37c857e6b9d8eb71a22a53b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
fun test (i: list int) : transaction unit =
a <- return (Some "abc");
c <- (case a of
None => return "1"
| Some b =>
debug "not happening :(";
return "2"
);
(case i of
[] => return ()
| first :: _ => debug c)
fun main (): transaction page =
return <xml>
<body>
<button onclick={fn _ => rpc (test [])}>click</button>
</body>
</xml>
|
