blob: a99a387b927a43a1cff96a9222555c0f9b9e5e91 (
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
table foo01 : {Id : int, Bar : string} PRIMARY KEY Id
table foo10 : {Id : int, Bar : string} PRIMARY KEY Id
fun flush01 () : transaction page =
dml (UPDATE foo01 SET Bar = "baz01" WHERE Id = 42);
return <xml><body>
Flushed 1!
</body></xml>
fun flush10 () : transaction page =
dml (UPDATE foo10 SET Bar = "baz10" WHERE Id = 42);
return <xml><body>
Flushed 2!
</body></xml>
fun flush11 () : transaction page =
dml (UPDATE foo01 SET Bar = "baz11" WHERE Id = 42);
dml (UPDATE foo10 SET Bar = "baz11" WHERE Id = 42);
return <xml><body>
Flushed 1 and 2!
</body></xml>
fun cache01 () : transaction page =
res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 42);
return <xml><body>
Reading 1.
{case res of
None => <xml></xml>
| Some row => <xml>{[row.Foo01.Bar]}</xml>}
</body></xml>
fun cache10 () : transaction page =
res <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42);
return <xml><body>
Reading 2.
{case res of
None => <xml></xml>
| Some row => <xml>{[row.Foo10.Bar]}</xml>}
</body></xml>
fun cache11 () : transaction page =
res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 42);
bla <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42);
return <xml><body>
Reading 1 and 2.
{case res of
None => <xml></xml>
| Some row => <xml>{[row.Foo01.Bar]}</xml>}
{case bla of
None => <xml></xml>
| Some row => <xml>{[row.Foo10.Bar]}</xml>}
</body></xml>
|
