blob: ea5c911667a043db6f8023159a3e1dbfdbf6b55e (
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
|
table t : {Id : int}
cookie c : int
fun setter r =
setCookie c (readError r.Id);
return <xml>Done</xml>
fun writer () =
ido <- getCookie c;
case ido of
None => error <xml>No cookie</xml>
| Some id => dml (INSERT INTO t (Id) VALUES ({[id]}));
return <xml>Done</xml>
fun main () = return <xml><body>
<form>
<textbox{#Id}/> <submit value="Get cookie" action={setter}/>
</form>
<form>
<submit value="Write to database" action={writer}/>
</form>
</body></xml>
|
