Mercurial > urweb
annotate caching-tests/bench.ur @ 2307:6ae9a2784a45
Return to working version mode
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 20 Dec 2015 14:39:50 -0500 |
| parents | 8be54d7bd06e |
| children |
| rev | line source |
|---|---|
| ziv@2290 | 1 table tab : {Id : int, Val : int} PRIMARY KEY Id |
| ziv@2290 | 2 |
| ziv@2290 | 3 fun check id = |
| ziv@2290 | 4 res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]}); |
| ziv@2290 | 5 return <xml><body> |
| ziv@2293 | 6 Value at {[id]} is |
| ziv@2290 | 7 {case res of |
| ziv@2293 | 8 None => <xml>unknown</xml> |
| ziv@2293 | 9 | Some row => <xml>{[row.Tab.Val]}</xml>}. |
| ziv@2290 | 10 </body></xml> |
| ziv@2290 | 11 |
| ziv@2290 | 12 fun flush id = |
| ziv@2290 | 13 dml (UPDATE tab SET Val = Val + 1 WHERE Id = {[id]}); |
| ziv@2290 | 14 return <xml><body> |
| ziv@2293 | 15 Incremented value at {[id]} (if it exists). |
| ziv@2290 | 16 </body></xml> |