diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-03-27 11:19:15 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-03-27 11:19:15 -0400 |
| commit | bef4dd04f19c2001561e9e889116f5a2f8905bc0 (patch) | |
| tree | da0a10b1007e9dde8100a99db026793b725ad547 /caching-tests | |
| parent | 7a2739b18042953cdfc608a5d9c96237c97cebba (diff) | |
Simplify example.
Diffstat (limited to 'caching-tests')
| -rw-r--r-- | caching-tests/test.ur | 68 | ||||
| -rw-r--r-- | caching-tests/test.urp | 3 | ||||
| -rw-r--r-- | caching-tests/test.urs | 6 |
3 files changed, 11 insertions, 66 deletions
diff --git a/caching-tests/test.ur b/caching-tests/test.ur index 2722bcdc..8035e336 100644 --- a/caching-tests/test.ur +++ b/caching-tests/test.ur @@ -1,59 +1,9 @@ -table foo01 : {Id : int, Bar : string} PRIMARY KEY Id -table foo10 : {Id : int, Bar : string} PRIMARY KEY Id table tab : {Id : int, Val : int} PRIMARY KEY Id -fun cache01 () = - res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 43); - return <xml><body> - Reading 1. - {case res of - None => <xml>?</xml> - | Some row => <xml>{[row.Foo01.Bar]}</xml>} - </body></xml> - -(* fun cache10 () = *) -(* res <- queryX (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42) *) -(* (fn row => <xml>{[row.Foo10.Bar]}</xml>); *) -(* return <xml><body> *) -(* Reading 2. *) -(* {res} *) -(* </body></xml> *) - -(* fun cache11 () = *) -(* 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> *) - -fun flush01 () = - dml (INSERT INTO foo01 (Id, Bar) VALUES (42, "baz01")); - (* dml (UPDATE foo01 SET Bar = "baz01" WHERE Id = 42); *) - return <xml><body> - Flushed 1! - </body></xml> - -(* fun flush10 () = *) -(* dml (UPDATE foo10 SET Bar = "baz10" WHERE Id = 42); *) -(* return <xml><body> *) -(* Flushed 2! *) -(* </body></xml> *) - -(* fun flush11 () = *) -(* 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 cache id = - res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]}); + res <- oneOrNoRows (SELECT tab.Val + FROM tab + WHERE tab.Id = {[id]}); return <xml><body> Reading {[id]}. {case res of @@ -62,12 +12,16 @@ fun cache id = </body></xml> fun flush id = - res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[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]})); + None => dml (INSERT INTO tab (Id, Val) + VALUES ({[id]}, 0)) + | Some row => dml (UPDATE tab + SET Val = {[row.Tab.Val + 1]} + WHERE Id = {[id]})); return <xml><body> - (* Flushed {[id]}! *) {case res of None => <xml>Initialized {[id]}!</xml> | Some row => <xml>Incremented {[id]}!</xml>} diff --git a/caching-tests/test.urp b/caching-tests/test.urp index 7ac469f9..796a6257 100644 --- a/caching-tests/test.urp +++ b/caching-tests/test.urp @@ -1,8 +1,5 @@ database test.db sql test.sql -safeGet Test/flush01 -safeGet Test/flush10 -safeGet Test/flush11 safeGet Test/flush test diff --git a/caching-tests/test.urs b/caching-tests/test.urs index 30bff733..6d4cedf2 100644 --- a/caching-tests/test.urs +++ b/caching-tests/test.urs @@ -1,8 +1,2 @@ -val cache01 : unit -> transaction page -(* val cache10 : unit -> transaction page *) -(* val cache11 : unit -> transaction page *) -val flush01 : unit -> transaction page -(* val flush10 : unit -> transaction page *) -(* val flush11 : unit -> transaction page *) val cache : int -> transaction page val flush : int -> transaction page |