comparison caching-tests/test.ur @ 2215:639e62ca2530

Mostly finish effectfulness analysis.
author Ziv Scully <ziv@mit.edu>
date Fri, 31 Oct 2014 09:25:03 -0400
parents 365727ff68f4
children f7113855f3b7
comparison
equal deleted inserted replaced
2214:edd634b889d0 2215:639e62ca2530
10 None => <xml>?</xml> 10 None => <xml>?</xml>
11 | Some row => <xml>{[row.Foo01.Bar]}</xml>} 11 | Some row => <xml>{[row.Foo01.Bar]}</xml>}
12 </body></xml> 12 </body></xml>
13 13
14 fun cache10 () = 14 fun cache10 () =
15 res <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42); 15 res <- queryX (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42)
16 (fn row => <xml>{[row.Foo10.Bar]}</xml>);
16 return <xml><body> 17 return <xml><body>
17 Reading 2. 18 Reading 2.
18 {case res of 19 {res}
19 None => <xml>?</xml>
20 | Some row => <xml>{[row.Foo10.Bar]}</xml>}
21 </body></xml> 20 </body></xml>
22 21
23 fun cache11 () = 22 fun cache11 () =
24 res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 42); 23 res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 42);
25 bla <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42); 24 bla <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42);