blob: d9c298c820f945ac3b539688a1e29fdba89b057c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
table tab : {Id : int, Val : int} PRIMARY KEY Id
fun check id =
res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]});
return <xml><body>
cache
{case res of
None => <xml>?</xml>
| Some row => <xml>{[row.Tab.Val]}</xml>}
</body></xml>
fun flush id =
dml (UPDATE tab SET Val = Val + 1 WHERE Id = {[id]});
return <xml><body>
Changed {[id]}!
</body></xml>
|