blob: e0dab9273b0e9363d3319a39f61401e4cf6732c6 (
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
table tab : {Id : int, Val : int, Foo : int} PRIMARY KEY Id
fun cache id =
res <- oneOrNoRows (SELECT A.Val FROM (tab AS A JOIN tab AS B ON A.Id = B.Id)
WHERE B.Id = {[id]});
return <xml><body>
cache
{case res of
None => <xml>?</xml>
| Some row => <xml>{[row.A.Val]}</xml>}
</body></xml>
(* fun cacheAlt id = *)
(* res <- oneOrNoRows (SELECT Q.Id *)
(* FROM (SELECT Tab.Id AS Id FROM tab WHERE Tab.Id = {[id]}) *)
(* AS Q); *)
(* return <xml><body> *)
(* cacheAlt *)
(* {case res of *)
(* None => <xml>?</xml> *)
(* | Some row => <xml>{[row.Q.Id]}</xml>} *)
(* </body></xml> *)
(* fun sillyRecursive {Id = id : int, FooBar = fooBar} = *)
(* if fooBar <= 0 *)
(* then 0 *)
(* else 1 + sillyRecursive {Id = id, FooBar = fooBar - 1} *)
(* fun cacheR (r : {Id : int, FooBar : int}) = *)
(* res <- oneOrNoRows (SELECT tab.Val *)
(* FROM tab *)
(* WHERE tab.Id = {[r.Id]}); *)
(* return <xml><body> *)
(* cacheR {[r.FooBar]} *)
(* {case res of *)
(* None => <xml>?</xml> *)
(* | Some row => <xml>{[row.Tab.Val]}</xml>} *)
(* </body></xml> *)
(* fun cache2 id v = *)
(* res <- oneOrNoRows (SELECT tab.Val *)
(* FROM tab *)
(* WHERE tab.Id = {[id]} AND tab.Val = {[v]}); *)
(* return <xml><body> *)
(* Reading {[id]}. *)
(* {case res of *)
(* None => <xml>Nope, that's not it.</xml> *)
(* | Some _ => <xml>Hooray! You guessed it!</xml>} *)
(* </body></xml> *)
(* fun cache2 id1 id2 = *)
(* res1 <- oneOrNoRows (SELECT tab.Val *)
(* FROM tab *)
(* WHERE tab.Id = {[id1]}); *)
(* res2 <- oneOrNoRows (SELECT tab.Val *)
(* FROM tab *)
(* WHERE tab.Id = {[id2]}); *)
(* return <xml><body> *)
(* Reading {[id1]} and {[id2]}. *)
(* {case (res1, res2) of *)
(* (Some _, Some _) => <xml>Both are there.</xml> *)
(* | _ => <xml>One of them is missing.</xml>} *)
(* </body></xml> *)
fun flush id =
dml (UPDATE tab
SET Val = Val * (Id + 2) / Val - 3
WHERE Id = {[id]} OR Id = {[id - 1]} OR Id = {[id + 1]});
return <xml><body>
Changed {[id]}!
</body></xml>
(* fun flash id = *)
(* dml (UPDATE tab *)
(* SET Foo = Val *)
(* WHERE Id = {[id]} OR Id = {[id - 1]} OR Id = {[id + 1]}); *)
(* return <xml><body> *)
(* Maybe changed {[id]}? *)
(* </body></xml> *)
(* fun floosh id = *)
(* dml (UPDATE tab *)
(* SET Id = {[id + 1]} *)
(* WHERE Id = {[id]} OR Id = {[id - 1]} OR Id = {[id + 1]}); *)
(* return <xml><body> *)
(* Shifted {[id]}! *)
(* </body></xml> *)
(* val flush17 = *)
(* dml (UPDATE tab *)
(* SET Val = Val * (Id + 2) / Val - 3 *)
(* WHERE Id = 17); *)
(* return <xml><body> *)
(* Changed specifically 17! *)
(* </body></xml> *)
(* fun flush id = *)
(* res <- oneOrNoRows (SELECT tab.Val *)
(* FROM tab *)
(* WHERE tab.Id = {[id]}); *)
(* (case res of *)
(* None => dml (INSERT INTO tab (Id, Val) *)
(* VALUES ({[id]}, 0)) *)
(* | Some row => dml (UPDATE tab *)
(* SET Val = {[row.Tab.Val + 1]} *)
(* WHERE Id = {[id]} OR Id = {[id + 1]})); *)
(* return <xml><body> *)
(* {case res of *)
(* None => <xml>Initialized {[id]}!</xml> *)
(* | Some row => <xml>Incremented {[id]}!</xml>} *)
(* </body></xml> *)
|
